view.hpp File Reference
Go to the source code of this file.
Classes | |
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... | |
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
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. | |
template<class ViewA , class ViewB > | |
bool | Gecode::operator== (const ConstView< ViewA > &, const ConstView< ViewB > &) |
Test whether two views are the same. | |
template<class Var , class View > | |
bool | Gecode::operator== (const ConstView< View > &, const VarImpView< Var > &) |
Test whether two views are the same. | |
template<class ViewA , class ViewB > | |
bool | Gecode::operator== (const ConstView< ViewA > &, const DerivedView< ViewB > &) |
Test whether two views are the same. | |
template<class Var , class View > | |
bool | Gecode::operator== (const VarImpView< Var > &, const ConstView< View > &) |
Test whether two views are the same. | |
template<class Var , class View > | |
bool | Gecode::operator== (const VarImpView< Var > &, const DerivedView< View > &) |
Test whether two views are the same. | |
template<class ViewX , class ViewY > | |
bool | Gecode::operator== (const DerivedView< ViewX > &, const ConstView< ViewY > &) |
Test whether two views are the same. | |
template<class View , class Var > | |
bool | Gecode::operator== (const DerivedView< View > &, const VarImpView< Var > &) |
Test whether two views are the same. | |
template<class ViewX , class ViewY > | |
bool | Gecode::operator== (const DerivedView< ViewX > &, const DerivedView< ViewY > &) |
Test whether two views are not the same. | |
template<class VarX , class VarY > | |
bool | Gecode::operator== (const VarImpView< VarX > &x, const VarImpView< VarY > &y) |
Test whether two views are the same. | |
template<class ViewA , class ViewB > | |
bool | Gecode::operator!= (const ConstView< ViewA > &, const ConstView< ViewB > &) |
Test whether two views are not the same. | |
template<class Var , class View > | |
bool | Gecode::operator!= (const ConstView< View > &, const VarImpView< Var > &) |
Test whether two views are not the same. | |
template<class ViewA , class ViewB > | |
bool | Gecode::operator!= (const ConstView< ViewA > &, const DerivedView< ViewB > &) |
Test whether two views are not the same. | |
template<class Var , class View > | |
bool | Gecode::operator!= (const VarImpView< Var > &, const ConstView< View > &) |
Test whether two views are not the same. | |
template<class Var , class View > | |
bool | Gecode::operator!= (const VarImpView< Var > &, const DerivedView< View > &) |
Test whether two views are not the same. | |
template<class ViewX , class ViewY > | |
bool | Gecode::operator!= (const DerivedView< ViewX > &, const ConstView< ViewY > &) |
Test whether two views are the same. | |
template<class View , class Var > | |
bool | Gecode::operator!= (const DerivedView< View > &, const VarImpView< Var > &) |
Test whether two views are not the same. | |
template<class ViewX , class ViewY > | |
bool | Gecode::operator!= (const DerivedView< ViewX > &, const DerivedView< ViewY > &) |
Test whether two views are not the same. | |
template<class VarX , class VarY > | |
bool | Gecode::operator!= (const VarImpView< VarX > &x, const VarImpView< VarY > &y) |
Test whether two views are not the same. |