view.hpp File Reference
(Revision: 10046)
Go to the source code of this file.
Classes | |
class | Gecode::ConstViewBase |
Base-class for constant views. More... | |
class | Gecode::VarViewBase< VarImp > |
Base-class for variable views. More... | |
class | Gecode::DerivedViewBase< View > |
Base-class for derived views. More... | |
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace. | |
Functions | |
bool | Gecode::shared (const ConstViewBase &, const ConstViewBase &) |
Test whether views share same variable. | |
template<class VarImp > | |
bool | Gecode::shared (const VarViewBase< VarImp > &, const ConstViewBase &) |
Test whether views share same variable. | |
template<class ViewA > | |
bool | Gecode::shared (const DerivedViewBase< ViewA > &, const ConstViewBase &) |
Test whether views share same variable. | |
template<class VarImp > | |
bool | Gecode::shared (const ConstViewBase &, const VarViewBase< VarImp > &) |
Test whether views share same variable. | |
template<class ViewA > | |
bool | Gecode::shared (const ConstViewBase &, const DerivedViewBase< ViewA > &) |
Test whether views share same variable. | |
template<class VarImpA , class VarImpB > | |
bool | Gecode::shared (const VarViewBase< VarImpA > &, const VarViewBase< VarImpB > &) |
Test whether views share same variable. | |
template<class VarImpA , class ViewB > | |
bool | Gecode::shared (const VarViewBase< VarImpA > &, const DerivedViewBase< ViewB > &) |
Test whether views share same variable. | |
template<class ViewA , class VarImpB > | |
bool | Gecode::shared (const DerivedViewBase< ViewA > &, const VarViewBase< VarImpB > &) |
Test whether views share same variable. | |
template<class ViewA , class ViewB > | |
bool | Gecode::shared (const DerivedViewBase< ViewA > &, const DerivedViewBase< ViewB > &) |
Test whether views share same variable. | |
bool | Gecode::same (const ConstViewBase &, const ConstViewBase &) |
Test whether two views are the same. | |
template<class VarImp > | |
bool | Gecode::same (const VarViewBase< VarImp > &, const ConstViewBase &) |
Test whether two views are the same. | |
template<class ViewA > | |
bool | Gecode::same (const ConstViewBase &, const DerivedViewBase< ViewA > &) |
Test whether two views are the same. | |
template<class VarImpA , class ViewB > | |
bool | Gecode::same (const VarViewBase< VarImpA > &, const DerivedViewBase< ViewB > &) |
Test whether two views are the same. | |
template<class ViewA , class VarImpB > | |
bool | Gecode::same (const DerivedViewBase< ViewA > &, const VarViewBase< VarImpB > &) |
Test whether two views are the same. | |
template<class ViewA , class ViewB > | |
bool | Gecode::same (const DerivedViewBase< ViewA > &, const DerivedViewBase< ViewB > &) |
Test whether two views are the same. | |
template<class VarImp > | |
bool | Gecode::same (const VarViewBase< VarImp > &x, const VarViewBase< VarImp > &y) |
template<class ViewA , class ViewB > | |
bool | Gecode::before (const ViewA &x, const ViewB &y) |
template<class View > | |
bool | Gecode::shared (const DerivedViewBase< View > &, const ConstViewBase &) |
template<class View > | |
bool | Gecode::shared (const ConstViewBase &, const DerivedViewBase< View > &) |