Gecode::Var< VarImp > Class Template Reference
[Programming views for variables]
Base-class for variables. More...
#include <var.hpp>
Protected Member Functions | |
Var (void) | |
Default constructor. | |
Var (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, Var< VarImp > &y) |
Update this variable to be a clone of variable y. | |
Variable comparison | |
| |
bool | same (const Var< VarImp > &y) const |
Test whether variable is the same as y. | |
bool | before (const Var< VarImp > &y) const |
Test whether variable comes before y (arbitrary order). |
Detailed Description
template<class VarImp>
class Gecode::Var< VarImp >
Base-class for variables.
Definition at line 45 of file var.hpp.
Constructor & Destructor Documentation
template<class VarImp >
Gecode::Var< VarImp >::Var | ( | void | ) | [inline, protected] |
template<class VarImp>
Gecode::Var< VarImp >::Var | ( | VarImp * | y | ) | [inline, protected] |
Member Function Documentation
template<class VarImp >
VarImp * Gecode::Var< VarImp >::varimp | ( | void | ) | const [inline] |
template<class VarImp >
unsigned int Gecode::Var< VarImp >::degree | ( | void | ) | const [inline] |
template<class VarImp >
double Gecode::Var< VarImp >::afc | ( | void | ) | const [inline] |
template<class VarImp >
bool Gecode::Var< VarImp >::assigned | ( | void | ) | const [inline] |
template<class VarImp>
void Gecode::Var< VarImp >::update | ( | Space & | home, | |
bool | share, | |||
Var< VarImp > & | y | |||
) | [inline] |
template<class VarImp>
bool Gecode::Var< VarImp >::same | ( | const Var< VarImp > & | y | ) | const [inline] |
template<class VarImp>
bool Gecode::Var< VarImp >::before | ( | const Var< VarImp > & | y | ) | const [inline] |
Member Data Documentation
template<class VarImp>
VarImp* Gecode::Var< VarImp >::x [protected] |
The documentation for this class was generated from the following file:
- gecode/kernel/var.hpp (Revision: 11134)