Go to the documentation of this file.
36 namespace Int {
namespace Linear {
52 int min(
void)
const {
return 0; }
55 int max(
void)
const {
return 0; }
57 int med(
void)
const {
return 0; }
59 int val(
void)
const {
return 0; }
62 unsigned int size(
void)
const {
return 1; }
64 unsigned int width(
void)
const {
return 1; }
73 bool range(
void)
const {
return true; }
79 bool in(
int n)
const { (void)
n;
return false; }
81 bool in(
long long int n)
const { (void)
n;
return false; }
88 (void) home; (void)
n;
93 (void) home; (void)
n;
98 (void) home; (void)
n;
103 (void) home; (void)
n;
108 (void) home; (void)
n;
113 (void) home; (void)
n;
118 (void) home; (void)
n;
123 (void) home; (void)
n;
128 (void) home; (void)
n;
133 (void) home; (void)
n;
138 (void) home; (void)
n;
143 (void) home; (void)
n;
153 template<
class Char,
class Traits>
154 std::basic_ostream<Char,Traits>&
183 int size(
void)
const {
return 0; }
209 (void)
p; (void) pc; (void) process;
213 (void) home; (void)
p; (void) pc;
217 (void) home; (void)
p; (void) pc;
225 (void) home; (void)
a;
237 static void*
operator new(size_t);
238 static void operator delete(
void*,size_t);
NoView(void)
Default constructor.
unsigned int size(void) const
Return size (cardinality) of domain.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to variable.
bool range(void) const
Test whether domain is a range.
void cancel(Space &home, Propagator &p, PropCond pc)
Cancel subscription of propagator p with propagation condition pc to all views.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
No view serves as filler for empty view arrays.
const Gecode::ModEvent ME_INT_NONE
Domain operation has not changed domain.
ModEvent nq(Space &home, long long int n)
Restrict domain values to be different from n.
void move_lst(int i)
Move assigned view from position size()-1 to position i (truncate array by one)
int max(void) const
Return maximum of domain.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
void move_fst(int i)
Move view from position 0 to position i (shift elements to the left)
ModEvent gq(Space &home, long long int n)
Restrict domain values to be greater or equal than n.
Base-class for constant views.
Gecode toplevel namespace
Base-class for propagators.
ModEvent gr(Space &home, long long int n)
Restrict domain values to be greater than n.
struct Gecode::@602::NNF::@65::@67 a
For atomic nodes.
void update(Space &home, ViewArray< View > &a)
Update array to be a clone of array a.
ModEvent le(Space &home, long long int n)
Restrict domain values to be less than n.
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
ViewArray(Space &home, int m)
Allocate array with m variables.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const IdxViewArray< View > &x)
ModEvent lq(Space &home, long long int n)
Restrict domain values to be less or equal than n.
ModEvent eq(Space &home, long long int n)
Restrict domain values to be equal to n.
void size(int n)
Decrease size of array (number of elements)
const ViewArray< View > & operator=(const ViewArray< View > &a)
Initialize from view array a (share elements)
int ModEvent
Type for modification events.
ViewArray(void)
Default constructor (array of size 0)
int PropCond
Type for propagation conditions.
ViewArray(Space &, const ViewArray< Int::Linear::NoView > &)
Initialize.
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
View array for no view (empty)
void reschedule(Space &home, Propagator &p, PropCond pc)
Schedule propagator p.
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
int size(void) const
Return size of array (number of elements)
ViewArray(const ViewArray< Int::Linear::NoView > &)
Initialize.
bool in(int n) const
Test whether n is contained in domain.
int min(void) const
Return minimum of domain.
bool assigned(void) const
Test whether view is assigned.
int val(void) const
Return assigned value (only if assigned)
int n
Number of negative literals for node type.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
Gecode::IntArgs i({1, 2, 3, 4})
int p
Number of positive literals for node type.
bool in(long long int n) const
Test whether n is contained in domain.
View & operator[](int i)
Return view at position i.
int med(void) const
Return median of domain (greatest element not greater than the median)