Generated on Thu Jan 20 2022 00:00:00 for Gecode by doxygen 1.9.1
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...
 

Functions

template<class ViewA , class ViewB >
bool Gecode::shared (const ConstView< ViewA > &, const ConstView< ViewB > &)
 Test whether views share same variable. More...
 
template<class Var , class View >
bool Gecode::shared (const VarImpView< Var > &, const ConstView< View > &)
 Test whether views share same variable. More...
 
template<class ViewA , class ViewB >
bool Gecode::shared (const DerivedView< ViewA > &, const ConstView< ViewB > &)
 Test whether views share same variable. More...
 
template<class View , class Var >
bool Gecode::shared (const ConstView< View > &, const VarImpView< Var > &)
 Test whether views share same variable. More...
 
template<class ViewA , class ViewB >
bool Gecode::shared (const ConstView< ViewA > &, const DerivedView< ViewB > &)
 Test whether views share same variable. More...
 
template<class VarA , class VarB >
bool Gecode::shared (const VarImpView< VarA > &, const VarImpView< VarB > &)
 Test whether views share same variable. More...
 
template<class Var , class View >
bool Gecode::shared (const VarImpView< Var > &, const DerivedView< View > &)
 Test whether views share same variable. More...
 
template<class View , class Var >
bool Gecode::shared (const DerivedView< View > &, const VarImpView< Var > &)
 Test whether views share same variable. More...
 
template<class ViewA , class ViewB >
bool Gecode::shared (const DerivedView< ViewA > &, const DerivedView< ViewB > &)
 Test whether views share same variable. More...
 
template<class ViewA , class ViewB >
bool Gecode::operator== (const ConstView< ViewA > &, const ConstView< ViewB > &)
 Test whether two views are the same. More...
 
template<class Var , class View >
bool Gecode::operator== (const ConstView< View > &, const VarImpView< Var > &)
 Test whether two views are the same. More...
 
template<class ViewA , class ViewB >
bool Gecode::operator== (const ConstView< ViewA > &, const DerivedView< ViewB > &)
 Test whether two views are the same. More...
 
template<class Var , class View >
bool Gecode::operator== (const VarImpView< Var > &, const ConstView< View > &)
 Test whether two views are the same. More...
 
template<class Var , class View >
bool Gecode::operator== (const VarImpView< Var > &, const DerivedView< View > &)
 Test whether two views are the same. More...
 
template<class ViewX , class ViewY >
bool Gecode::operator== (const DerivedView< ViewX > &, const ConstView< ViewY > &)
 Test whether two views are the same. More...
 
template<class View , class Var >
bool Gecode::operator== (const DerivedView< View > &, const VarImpView< Var > &)
 Test whether two views are the same. More...
 
template<class ViewX , class ViewY >
bool Gecode::operator== (const DerivedView< ViewX > &, const DerivedView< ViewY > &)
 Test whether two views are not the same. More...
 
template<class VarX , class VarY >
bool Gecode::operator== (const VarImpView< VarX > &x, const VarImpView< VarY > &y)
 Test whether two views are the same. More...
 
template<class ViewA , class ViewB >
bool Gecode::operator!= (const ConstView< ViewA > &, const ConstView< ViewB > &)
 Test whether two views are not the same. More...
 
template<class Var , class View >
bool Gecode::operator!= (const ConstView< View > &, const VarImpView< Var > &)
 Test whether two views are not the same. More...
 
template<class ViewA , class ViewB >
bool Gecode::operator!= (const ConstView< ViewA > &, const DerivedView< ViewB > &)
 Test whether two views are not the same. More...
 
template<class Var , class View >
bool Gecode::operator!= (const VarImpView< Var > &, const ConstView< View > &)
 Test whether two views are not the same. More...
 
template<class Var , class View >
bool Gecode::operator!= (const VarImpView< Var > &, const DerivedView< View > &)
 Test whether two views are not the same. More...
 
template<class ViewX , class ViewY >
bool Gecode::operator!= (const DerivedView< ViewX > &, const ConstView< ViewY > &)
 Test whether two views are the same. More...
 
template<class View , class Var >
bool Gecode::operator!= (const DerivedView< View > &, const VarImpView< Var > &)
 Test whether two views are not the same. More...
 
template<class ViewX , class ViewY >
bool Gecode::operator!= (const DerivedView< ViewX > &, const DerivedView< ViewY > &)
 Test whether two views are not the same. More...
 
template<class VarX , class VarY >
bool Gecode::operator!= (const VarImpView< VarX > &x, const VarImpView< VarY > &y)
 Test whether two views are not the same. More...
 

Function Documentation

◆ operator==() [1/9]

template<class ViewA , class ViewB >
bool Gecode::operator== ( const ConstView< ViewA > &  ,
const ConstView< ViewB > &   
)
inline

Test whether two views are the same.

Definition at line 699 of file view.hpp.

◆ operator==() [2/9]

template<class Var , class View >
bool Gecode::operator== ( const ConstView< View > &  ,
const VarImpView< Var > &   
)
inline

Test whether two views are the same.

Definition at line 705 of file view.hpp.

◆ operator==() [3/9]

template<class ViewA , class ViewB >
bool Gecode::operator== ( const ConstView< ViewA > &  ,
const DerivedView< ViewB > &   
)
inline

Test whether two views are the same.

Definition at line 711 of file view.hpp.

◆ operator==() [4/9]

template<class Var , class View >
bool Gecode::operator== ( const VarImpView< Var > &  ,
const ConstView< View > &   
)
inline

Test whether two views are the same.

Definition at line 717 of file view.hpp.

◆ operator==() [5/9]

template<class Var , class View >
bool Gecode::operator== ( const VarImpView< Var > &  ,
const DerivedView< View > &   
)
inline

Test whether two views are the same.

Definition at line 723 of file view.hpp.

◆ operator==() [6/9]

template<class ViewX , class ViewY >
bool Gecode::operator== ( const DerivedView< ViewX > &  ,
const ConstView< ViewY > &   
)
inline

Test whether two views are the same.

Definition at line 729 of file view.hpp.

◆ operator==() [7/9]

template<class View , class Var >
bool Gecode::operator== ( const DerivedView< View > &  ,
const VarImpView< Var > &   
)
inline

Test whether two views are the same.

Definition at line 735 of file view.hpp.

◆ operator==() [8/9]

template<class ViewX , class ViewY >
bool Gecode::operator== ( const DerivedView< ViewX > &  ,
const DerivedView< ViewY > &   
)
inline

Test whether two views are not the same.

Definition at line 741 of file view.hpp.

◆ operator==() [9/9]

template<class VarX , class VarY >
bool Gecode::operator== ( const VarImpView< VarX > &  x,
const VarImpView< VarY > &  y 
)
inline

Test whether two views are the same.

Definition at line 747 of file view.hpp.

◆ operator!=() [1/9]

template<class ViewA , class ViewB >
bool Gecode::operator!= ( const ConstView< ViewA > &  ,
const ConstView< ViewB > &   
)
inline

Test whether two views are not the same.

Definition at line 754 of file view.hpp.

◆ operator!=() [2/9]

template<class Var , class View >
bool Gecode::operator!= ( const ConstView< View > &  ,
const VarImpView< Var > &   
)
inline

Test whether two views are not the same.

Definition at line 760 of file view.hpp.

◆ operator!=() [3/9]

template<class ViewA , class ViewB >
bool Gecode::operator!= ( const ConstView< ViewA > &  ,
const DerivedView< ViewB > &   
)
inline

Test whether two views are not the same.

Definition at line 766 of file view.hpp.

◆ operator!=() [4/9]

template<class Var , class View >
bool Gecode::operator!= ( const VarImpView< Var > &  ,
const ConstView< View > &   
)
inline

Test whether two views are not the same.

Definition at line 772 of file view.hpp.

◆ operator!=() [5/9]

template<class Var , class View >
bool Gecode::operator!= ( const VarImpView< Var > &  ,
const DerivedView< View > &   
)
inline

Test whether two views are not the same.

Definition at line 778 of file view.hpp.

◆ operator!=() [6/9]

template<class ViewX , class ViewY >
bool Gecode::operator!= ( const DerivedView< ViewX > &  ,
const ConstView< ViewY > &   
)
inline

Test whether two views are the same.

Definition at line 784 of file view.hpp.

◆ operator!=() [7/9]

template<class View , class Var >
bool Gecode::operator!= ( const DerivedView< View > &  ,
const VarImpView< Var > &   
)
inline

Test whether two views are not the same.

Definition at line 790 of file view.hpp.

◆ operator!=() [8/9]

template<class ViewX , class ViewY >
bool Gecode::operator!= ( const DerivedView< ViewX > &  ,
const DerivedView< ViewY > &   
)
inline

Test whether two views are not the same.

Definition at line 796 of file view.hpp.

◆ operator!=() [9/9]

template<class VarX , class VarY >
bool Gecode::operator!= ( const VarImpView< VarX > &  x,
const VarImpView< VarY > &  y 
)
inline

Test whether two views are not the same.

Definition at line 802 of file view.hpp.