Classes |
class | Gecode::Var< VarImp > |
| Base-class for variables. More...
|
class | Gecode::ConstView< View > |
| Base-class for constant views. More...
|
class | Gecode::VarImpView< VarImp > |
| 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 VarImp , class View > |
bool | Gecode::shared (const VarImpView< VarImp > &, 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 VarImp > |
bool | Gecode::shared (const ConstView< View > &, const VarImpView< VarImp > &) |
| 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 VarImpA , class VarImpB > |
bool | Gecode::shared (const VarImpView< VarImpA > &, const VarImpView< VarImpB > &) |
| Test whether views share same variable.
|
template<class VarImpA , class ViewB > |
bool | Gecode::shared (const VarImpView< VarImpA > &, const DerivedView< ViewB > &) |
| Test whether views share same variable.
|
template<class ViewA , class VarImpB > |
bool | Gecode::shared (const DerivedView< ViewA > &, const VarImpView< VarImpB > &) |
| 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.
|