40 namespace Int {
namespace Linear {
56 int min(
void)
const {
return 0; }
59 int max(
void)
const {
return 0; }
61 int med(
void)
const {
return 0; }
63 int val(
void)
const {
return 0; }
66 unsigned int size(
void)
const {
return 1; }
68 unsigned int width(
void)
const {
return 1; }
77 bool range(
void)
const {
return true; }
83 bool in(
int n)
const { (void)
n;
return false; }
85 bool in(
long long int n)
const { (void)
n;
return false; }
92 (void) home; (void)
n;
97 (void) home; (void)
n;
102 (void) home; (void)
n;
107 (void) home; (void)
n;
112 (void) home; (void)
n;
117 (void) home; (void)
n;
122 (void) home; (void)
n;
127 (void) home; (void)
n;
132 (void) home; (void)
n;
137 (void) home; (void)
n;
142 (void) home; (void)
n;
147 (void) home; (void)
n;
157 template<
class Char,
class Traits>
158 std::basic_ostream<Char,Traits>&
187 int size(
void)
const {
return 0; }
213 (void)
p; (void) pc; (void) process;
217 (void) home; (void)
p; (void) pc;
221 (void) home; (void)
p; (void) pc;
235 (void) share; (void)
a;
247 static void*
operator new(size_t);
248 static void operator delete(
void*,size_t);
int max(void) const
Return maximum of domain.
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
bool range(void) const
Test whether domain is a range.
ModEvent eq(Space &home, long long int n)
Restrict domain values to be equal to n.
ViewArray(const ViewArray< Int::Linear::NoView > &)
Initialize.
ModEvent gq(Space &home, long long int n)
Restrict domain values to be greater or equal than n.
No view serves as filler for empty view arrays.
bool in(int n) const
Test whether n is contained in domain.
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
int ModEvent
Type for modification events.
Base-class for propagators.
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to variable.
bool in(long long int n) const
Test whether n is contained in domain.
View & operator[](int i)
Return view at position i.
NoView(void)
Default constructor.
Base-class for constant views.
const ViewArray< View > & operator=(const ViewArray< View > &a)
Initialize from view array a (share elements)
ModEvent le(Space &home, long long int n)
Restrict domain values to be less than n.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
ViewArray(Space &, const ViewArray< Int::Linear::NoView > &)
Initialize.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
int p
Number of positive literals for node type.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
Gecode::IntArgs i(4, 1, 2, 3, 4)
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
int n
Number of negative literals for node type.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
int PropCond
Type for propagation conditions.
ModEvent lq(Space &home, long long int n)
Restrict domain values to be less or equal than n.
View array for no view (empty)
void reschedule(Space &home, Propagator &p, PropCond pc)
Schedule propagator p.
bool assigned(void) const
Test whether view is assigned.
int min(void) const
Return minimum of domain.
ModEvent gr(Space &home, long long int n)
Restrict domain values to be greater than n.
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const IdxViewArray< View > &x)
ModEvent nq(Space &home, long long int n)
Restrict domain values to be different from n.
unsigned int size(void) const
Return size (cardinality) of domain.
ViewArray(Space &home, int m)
Allocate array with m variables.
void update(Space &, bool share, ViewArray< Int::Linear::NoView > &a)
Update array to be a clone of array a.
int med(void) const
Return median of domain (greatest element not greater than the median)
void move_fst(int i)
Move view from position 0 to position i (shift elements to the left)
Gecode toplevel namespace
void cancel(Space &home, Propagator &p, PropCond pc)
Cancel subscription of propagator p with propagation condition pc to all views.
void move_lst(int i)
Move assigned view from position size()-1 to position i (truncate array by one)
int size(void) const
Return size of array (number of elements)
const Gecode::ModEvent ME_INT_NONE
Domain operation has not changed domain.
void size(int n)
Decrease size of array (number of elements)
ViewArray(void)
Default constructor (array of size 0)
int val(void) const
Return assigned value (only if assigned)