|
| typedef ScaleView< int, unsigned int > | Gecode::Int::IntScaleView |
| | Integer-precision integer scale view.
|
| typedef ScaleView< long long int, unsigned long long int > | Gecode::Int::LLongScaleView |
| | Long long-precision integer scale view.
|
| bool | operator== (const MinusView &x, const MinusView &y) |
| | Test whether views x and y are the same.
|
| bool | operator!= (const MinusView &x, const MinusView &y) |
| | Test whether views x and y are not the same.
|
| template<class Char, class Traits> |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OffsetView &x) |
| | Print integer offset view.
|
| bool | operator== (const OffsetView &x, const OffsetView &y) |
| | Test whether views x and y are the same.
|
| bool | operator!= (const OffsetView &x, const OffsetView &y) |
| | Test whether views x and y are not the same.
|
| template<class Char, class Traits> |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const IntScaleView &x) |
| | Print integer-precision integer scale view.
|
| template<class Char, class Traits> |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const LLongScaleView &x) |
| | Print long long-precision integer scale view.
|
| template<class Val, class UnsVal> |
| bool | operator== (const ScaleView< Val, UnsVal > &x, const ScaleView< Val, UnsVal > &y) |
| | Test whether views x and y are the same.
|
| template<class Val, class UnsVal> |
| bool | operator!= (const ScaleView< Val, UnsVal > &x, const ScaleView< Val, UnsVal > &y) |
| | Test whether views x and y are not the same.
|
| template<class Char, class Traits> |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ConstIntView &x) |
| | Print integer constant integer view.
|
| bool | operator== (const ConstIntView &x, const ConstIntView &y) |
| | Test whether views x and y are the same.
|
| bool | operator!= (const ConstIntView &x, const ConstIntView &y) |
| | Test whether views x and y are not the same.
|
| bool | operator== (const ZeroIntView &x, const ZeroIntView &y) |
| | Test whether views x and y are the same.
|
| bool | operator!= (const ZeroIntView &x, const ZeroIntView &y) |
| | Test whether views x and y are the same.
|
| template<class Char, class Traits, class View> |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const CachedView< View > &x) |
| | Print integer cached view.
|
| template<class View> |
| bool | operator== (const CachedView< View > &x, const CachedView< View > &y) |
| | Test whether views x and y are the same.
|
| template<class View> |
| bool | operator!= (const CachedView< View > &x, const CachedView< View > &y) |
| | Test whether views x and y are not the same.
|
| template<class Char, class Traits> |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const BoolView &x) |
| | Print Boolean view.
|
| bool | operator== (const NegBoolView &x, const NegBoolView &y) |
| | Test whether views x and y are the same.
|
| bool | operator!= (const NegBoolView &x, const NegBoolView &y) |
| | Test whether views x and y are not the same.
|
| template<class Char, class Traits> |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const NegBoolView &x) |
| | Print negated Boolean view.
|
Integer propagators and branchers compute with integer views. Integer views provide views on integer variable implementations, integer constants, and also allow to scale, translate, and negate variables. Additionally, a special Boolean view is provided that offers convenient and efficient operations for Boolean (0/1) views.
