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;
231 (void) share; (void)
a;
243 static void*
operator new(size_t);
244 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.
bool in(long long int n) const
Test whether n is contained in domain.
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.
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.
void subscribe(Space &home, Propagator &p, PropCond pc, bool process=true)
Subscribe propagator p with propagation condition pc to variable.
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)
const Int::Linear::NoView operator [](int i) const
Return view at position i.
bool assigned(void) const
Test whether view is assigned.
int min(void) const
Return minimum of domain.
struct Gecode::@511::NNF::@54::@56 a
For atomic nodes.
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)
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)
View & operator [](int i)
Return view at position i.
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.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const TaskArray< Task > &t)
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)