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>&
155 operator <<(std::basic_ostream<Char,Traits>& os,
const NoView&) {
return os; }
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);
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
struct Gecode::@602::NNF::@65::@67 a
For atomic nodes.
Base-class for constant views.
No view serves as filler for empty view arrays.
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
int med(void) const
Return median of domain (greatest element not greater than the median)
ModEvent le(Space &home, long long int n)
Restrict domain values to be less than n.
ModEvent lq(Space &home, long long int n)
Restrict domain values to be less or equal than n.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
NoView(void)
Default constructor.
int max(void) const
Return maximum of domain.
int min(void) const
Return minimum of domain.
unsigned int size(void) const
Return size (cardinality) of domain.
int val(void) const
Return assigned value (only if assigned)
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
ModEvent eq(Space &home, long long int n)
Restrict domain values to be equal to n.
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
bool range(void) const
Test whether domain is a range.
ModEvent gq(Space &home, long long int n)
Restrict domain values to be greater or equal than n.
bool assigned(void) const
Test whether view is assigned.
bool in(long long int n) const
Test whether n is contained in domain.
ModEvent nq(Space &home, long long int n)
Restrict domain values to be different from n.
ModEvent gr(Space &home, long long int n)
Restrict domain values to be greater than n.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
bool in(int n) const
Test whether n is contained in domain.
Base-class for propagators.
View array for no view (empty)
void size(int n)
Decrease size of array (number of elements)
ViewArray(const ViewArray< Int::Linear::NoView > &)
Initialize.
ViewArray(Space &, const ViewArray< Int::Linear::NoView > &)
Initialize.
void cancel(Space &home, Propagator &p, PropCond pc)
Cancel subscription of propagator p with propagation condition pc to all views.
ViewArray(Space &home, int m)
Allocate array with m variables.
void move_lst(int i)
Move assigned view from position size()-1 to position i (truncate array by one)
void reschedule(Space &home, Propagator &p, PropCond pc)
Schedule propagator p.
void update(Space &home, ViewArray< View > &a)
Update array to be a clone of array a.
View & operator[](int i)
Return view at position i.
const ViewArray< View > & operator=(const ViewArray< View > &a)
Initialize from view array a (share elements)
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to variable.
ViewArray(void)
Default constructor (array of size 0)
void move_fst(int i)
Move view from position 0 to position i (shift elements to the left)
int size(void) const
Return size of array (number of elements)
int PropCond
Type for propagation conditions.
int ModEvent
Type for modification events.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const IdxViewArray< View > &x)
const Gecode::ModEvent ME_INT_NONE
Domain operation has not changed domain.
Gecode::IntArgs i({1, 2, 3, 4})