Go to the documentation of this file.
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);
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.
Gecode::IntArgs i(4, 1, 2, 3, 4)
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.
ModEvent le(Space &home, long long int n)
Restrict domain values to be less than n.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
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.
void update(Space &, bool share, ViewArray< Int::Linear::NoView > &a)
Update array to be a clone of array a.
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)
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)