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