Classes |
| class | Gecode::Var |
| | Base class for variables. More...
|
| class | Gecode::VarImpVar< VarImp > |
| | Variables as interfaces to variable implementations. More...
|
| class | Gecode::ConstView< View > |
| | Base-class for constant views. More...
|
| class | Gecode::VarImpView< Var > |
| | Base-class for variable implementation views. More...
|
| class | Gecode::DerivedView< View > |
| | Base-class for derived views. More...
|
Functions |
| template<class ViewA , class ViewB > |
| bool | Gecode::shared (const ConstView< ViewA > &, const ConstView< ViewB > &) |
| | Test whether views share same variable.
|
| template<class Var , class View > |
| bool | Gecode::shared (const VarImpView< Var > &, const ConstView< View > &) |
| | Test whether views share same variable.
|
| template<class ViewA , class ViewB > |
| bool | Gecode::shared (const DerivedView< ViewA > &, const ConstView< ViewB > &) |
| | Test whether views share same variable.
|
| template<class View , class Var > |
| bool | Gecode::shared (const ConstView< View > &, const VarImpView< Var > &) |
| | Test whether views share same variable.
|
| template<class ViewA , class ViewB > |
| bool | Gecode::shared (const ConstView< ViewA > &, const DerivedView< ViewB > &) |
| | Test whether views share same variable.
|
| template<class VarA , class VarB > |
| bool | Gecode::shared (const VarImpView< VarA > &, const VarImpView< VarB > &) |
| | Test whether views share same variable.
|
| template<class Var , class View > |
| bool | Gecode::shared (const VarImpView< Var > &, const DerivedView< View > &) |
| | Test whether views share same variable.
|
| template<class View , class Var > |
| bool | Gecode::shared (const DerivedView< View > &, const VarImpView< Var > &) |
| | Test whether views share same variable.
|
| template<class ViewA , class ViewB > |
| bool | Gecode::shared (const DerivedView< ViewA > &, const DerivedView< ViewB > &) |
| | Test whether views share same variable.
|