46 template<
class VarImp>
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>
void update(Space &home, VarImpVar< VarImp > &y)
Update this variable to be a clone of variable y.
bool assigned(void) const
Test whether view is assigned.
unsigned int degree(void) const
Return degree (number of subscribed propagators and advisors)
VarImp * varimp(void) const
Return variable implementation of variable.
VarImp * x
Pointer to variable implementation.
double afc(void) const
Return accumulated failure count.
VarImpVar(void)
Default constructor.
VarImp VarImpType
The variable implementation type corresponding to the variable.
Base-class for variable implementations.
Base class for variables.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y