46 template<
class VarImp>
60 VarImp* varimp(
void)
const;
63 unsigned int degree(
void)
const;
65 double afc(
void)
const;
86 template<
class VarImp>
90 template<
class VarImp>
94 template<
class VarImp>
99 template<
class VarImp>
104 template<
class VarImp>
109 template<
class VarImp>
112 return x->assigned();
114 template<
class VarImp>
Base-class for variable implementations.
Variables as interfaces to variable implementations.
VarImpVar(void)
Default constructor.
VarImp VarImpType
The variable implementation type corresponding to the variable.
VarImp * x
Pointer to variable implementation.
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.
Post propagator for SetVar x
Gecode toplevel namespace
void update(IntSet &y, Space &home, IntSet &py)