50 template<
class VarImp>
64 VarImp* varimp(
void)
const;
67 unsigned int degree(
void)
const;
69 double afc(
void)
const;
98 template<
class VarImp>
102 template<
class VarImp>
106 template<
class VarImp>
111 template<
class VarImp>
116 template<
class VarImp>
121 template<
class VarImp>
124 return x->assigned();
126 template<
class VarImp>
129 x = y.
x->copy(home,share);
131 template<
class VarImp>
134 return varimp() == y.
varimp();
136 template<
class VarImp>
139 return varimp() < y.
varimp();
Base-class for variable implementations.
Variables as interfaces to variable implementations.
VarImpVar(void)
Default constructor.
VarImp * varimp(void) const
Return variable implementation of variable.
VarImp VarImpType
The variable implementation type corresponding to the variable.
bool same(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether two views are the same.
VarImp * x
Pointer to variable implementation.
bool before(const ViewA &x, const ViewB &y)
bool before(const Item &i, const Item &j)
Test whether one item is before another.
Post propagator for SetVar SetOpType SetVar y
Base class for variables.
Node * x
Pointer to corresponding Boolean expression node.
bool assigned(View x, int v)
Whether x is assigned to value v.
bool same(const Item &i, const Item &j)
Whether two items are the same.
Post propagator for SetVar x
Gecode toplevel namespace