Programming views for variables
[Programming variables]
Collaboration diagram for Programming views for variables:
![]() |
Classes | |
class | Gecode::ConstantViewBase |
Base-class for constant views. More... | |
class | Gecode::VariableViewBase< Var > |
Base-class for variable views. More... | |
class | Gecode::ViewVarTraits< View > |
Traits class for views and variable implementations. More... | |
class | Gecode::DerivedViewBase< View > |
Base-class for derived views. More... | |
class | Gecode::ViewTuple< View, n > |
Tuple of views. More... | |
Functions | |
bool | Gecode::shared (const ConstantViewBase &, const ConstantViewBase &) |
Test whether views share same variable. | |
template<class Var> | |
bool | Gecode::shared (const VariableViewBase< Var > &, const ConstantViewBase &) |
Test whether views share same variable. | |
template<class ViewA> | |
bool | Gecode::shared (const DerivedViewBase< ViewA > &, const ConstantViewBase &) |
Test whether views share same variable. | |
template<class Var> | |
bool | Gecode::shared (const ConstantViewBase &, const VariableViewBase< Var > &) |
Test whether views share same variable. | |
template<class ViewA> | |
bool | Gecode::shared (const ConstantViewBase &, const DerivedViewBase< ViewA > &) |
Test whether views share same variable. | |
template<class VarA, class VarB> | |
bool | Gecode::shared (const VariableViewBase< VarA > &, const VariableViewBase< VarB > &) |
Test whether views share same variable. | |
template<class VarA, class ViewB> | |
bool | Gecode::shared (const VariableViewBase< VarA > &, const DerivedViewBase< ViewB > &) |
Test whether views share same variable. | |
template<class ViewA, class VarB> | |
bool | Gecode::shared (const DerivedViewBase< ViewA > &, const VariableViewBase< VarB > &) |
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 ConstantViewBase & | , | |
const ConstantViewBase & | ||||
) | [inline] |
template<class Var>
bool Gecode::shared | ( | const VariableViewBase< Var > & | , | |
const ConstantViewBase & | ||||
) | [inline] |
template<class ViewA>
bool Gecode::shared | ( | const DerivedViewBase< ViewA > & | , | |
const ConstantViewBase & | ||||
) |
Test whether views share same variable.
template<class Var>
bool Gecode::shared | ( | const ConstantViewBase & | , | |
const VariableViewBase< Var > & | ||||
) | [inline] |
template<class ViewA>
bool Gecode::shared | ( | const ConstantViewBase & | , | |
const DerivedViewBase< ViewA > & | ||||
) |
Test whether views share same variable.
template<class VarA, class VarB>
bool Gecode::shared | ( | const VariableViewBase< VarA > & | , | |
const VariableViewBase< VarB > & | ||||
) | [inline] |
template<class VarA, class ViewB>
bool Gecode::shared | ( | const VariableViewBase< VarA > & | , | |
const DerivedViewBase< ViewB > & | ||||
) | [inline] |
template<class ViewA, class VarB>
bool Gecode::shared | ( | const DerivedViewBase< ViewA > & | , | |
const VariableViewBase< VarB > & | ||||
) | [inline] |
template<class ViewA, class ViewB>
bool Gecode::shared | ( | const DerivedViewBase< ViewA > & | , | |
const DerivedViewBase< ViewB > & | ||||
) | [inline] |