Variables as interfaces to variable implementations. More...
#include <var.hpp>
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. | |
Domain tests | |
bool | assigned (void) const |
Test whether view is assigned. | |
Cloning | |
void | update (Space &home, VarImpVar< VarImp > &y) |
Update this variable to be a clone of variable y. | |
Variables as interfaces to variable implementations.
VarImp Gecode::VarImpVar< VarImp >::VarImpType |
|
inlineprotected |
|
inlineprotected |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |