Programming views for variables
[Programming variables]
Classes | |
class | Gecode::ViewVarImpTraits< View > |
Traits class for views and variable implementations. More... | |
class | Gecode::VarBase< VarImp > |
Base-class for variables. More... | |
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... | |
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. |
Function Documentation
bool Gecode::shared | ( | const ConstViewBase & | , | |
const ConstViewBase & | ||||
) | [inline] |
template<class VarImp>
bool Gecode::shared | ( | const VarViewBase< VarImp > & | , | |
const ConstViewBase & | ||||
) | [inline] |
template<class ViewA>
bool Gecode::shared | ( | const DerivedViewBase< ViewA > & | , | |
const ConstViewBase & | ||||
) | [inline] |
Test whether views share same variable.
template<class VarImp>
bool Gecode::shared | ( | const ConstViewBase & | , | |
const VarViewBase< VarImp > & | ||||
) | [inline] |
template<class ViewA>
bool Gecode::shared | ( | const ConstViewBase & | , | |
const DerivedViewBase< ViewA > & | ||||
) | [inline] |
Test whether views share same variable.
template<class VarImpA, class VarImpB>
bool Gecode::shared | ( | const VarViewBase< VarImpA > & | x, | |
const VarViewBase< VarImpB > & | y | |||
) | [inline] |
template<class VarImpA, class ViewB>
bool Gecode::shared | ( | const VarViewBase< VarImpA > & | x, | |
const DerivedViewBase< ViewB > & | y | |||
) | [inline] |
template<class ViewA, class VarImpB>
bool Gecode::shared | ( | const DerivedViewBase< ViewA > & | x, | |
const VarViewBase< VarImpB > & | y | |||
) | [inline] |
template<class ViewA, class ViewB>
bool Gecode::shared | ( | const DerivedViewBase< ViewA > & | x, | |
const DerivedViewBase< ViewB > & | y | |||
) | [inline] |