Generated on Tue Jul 27 2010 21:59:21 for Gecode by doxygen 1.7.1

view.hpp File Reference

(Revision: 11118)

Go to the source code of this file.

Classes

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...

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 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.
template<class ViewA , class ViewB >
bool Gecode::same (const ConstView< ViewA > &, const ConstView< ViewB > &)
 Test whether two views are the same.
template<class VarImp , class View >
bool Gecode::same (const VarImpView< VarImp > &, const ConstView< View > &)
 Test whether two views are the same.
template<class ViewA , class ViewB >
bool Gecode::same (const ConstView< ViewA > &, const DerivedView< ViewB > &)
 Test whether two views are the same.
template<class VarImpA , class ViewB >
bool Gecode::same (const VarImpView< VarImpA > &, const DerivedView< ViewB > &)
 Test whether two views are the same.
template<class ViewA , class VarImpB >
bool Gecode::same (const DerivedView< ViewA > &, const VarImpView< VarImpB > &)
 Test whether two views are the same.
template<class VarImp >
bool Gecode::same (const VarImpView< VarImp > &x, const VarImpView< VarImp > &y)
 Test whether two views are the same.
template<class ViewA , class ViewB >
bool Gecode::same (const DerivedView< ViewA > &x, const DerivedView< ViewB > &y)
 Test whether two views are the same.
template<class ViewA , class ViewB >
bool Gecode::before (const ViewA &x, const ViewB &y)