Public Types |
typedef VarImp | VarImpType |
| The variable implementation type corresponding to the variable.
|
Protected Member Functions |
| VarImpVar (void) |
| Default constructor.
|
| VarImpVar (VarImp *y) |
| Initialize with variable implementation y.
|
Protected Attributes |
VarImp * | x |
| Pointer to variable implementation.
|
Generic variable information |
VarImp * | varimp (void) const |
| Return variable implementation of variable.
|
unsigned int | degree (void) const |
| Return degree (number of subscribed propagators and advisors)
|
double | afc (void) const |
| Return accumulated failure count (plus degree)
|
Domain tests |
bool | assigned (void) const |
| Test whether view is assigned.
|
Cloning |
void | update (Space &home, bool share, VarImpVar< VarImp > &y) |
| Update this variable to be a clone of variable y.
|
Variable comparison |
bool | same (const VarImpVar< VarImp > &y) const |
| Test whether variable is the same as y.
|
bool | before (const VarImpVar< VarImp > &y) const |
| Test whether variable comes before y (arbitrary order)
|
template<class VarImp>
class Gecode::VarImpVar< VarImp >
Variables as interfaces to variable implementations.
Definition at line 51 of file var.hpp.