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 |