Generated on Thu Apr 11 13:59:26 2019 for Gecode by doxygen 1.6.3

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.