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.
