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