
Classes | |
| class | Gecode::Int::ViewRanges< BoolView > |
| Range iterator for Boolean variable views More... | |
| class | Gecode::Int::ViewRanges< CachedView< View > > |
| Range iterator for offset integer views More... | |
| class | Gecode::Int::ViewRanges< ConstIntView > |
| Range iterator for constant integer views More... | |
| class | Gecode::Int::ViewRanges< IntView > |
| Range iterator for integer variable views More... | |
| class | Gecode::Int::ViewRanges< MinusView > |
| Range iterator for minus integer views More... | |
| class | Gecode::Int::ViewRanges< NegBoolView > |
| Range iterator for negated Boolean variable views More... | |
| class | Gecode::Int::ViewRanges< OffsetView > |
| Range iterator for offset integer views More... | |
| class | Gecode::Int::ViewRanges< IntScaleView > |
| Range iterator for integer-precision scale integer views More... | |
| class | Gecode::Int::ViewRanges< LLongScaleView > |
| Range iterator for long long int-precision scale integer views More... | |
| class | Gecode::Int::ViewRanges< ZeroIntView > |
| Range iterator for constant integer views More... | |
| class | Gecode::Int::IntView |
| Integer view for integer variables. More... | |
| class | Gecode::Int::MinusView |
| Minus integer view. More... | |
| class | Gecode::Int::OffsetView |
| Offset integer view. More... | |
| class | Gecode::Int::ScaleView< Val, UnsVal > |
| Scale integer view (template) More... | |
| class | Gecode::Int::ConstIntView |
| Constant integer view. More... | |
| class | Gecode::Int::ZeroIntView |
| Zero integer view. More... | |
| class | Gecode::Int::CachedView< View > |
| Cached integer view. More... | |
| class | Gecode::Int::BoolView |
| Boolean view for Boolean variables. More... | |
| class | Gecode::Int::NegBoolView |
| Negated Boolean view. More... | |
View comparison | |
| typedef ScaleView< int, unsigned int > | IntScaleView |
| Integer-precision integer scale view. More... | |
| typedef ScaleView< long long int, unsigned long long int > | LLongScaleView |
| Long long-precision integer scale view. More... | |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OffsetView &x) |
| Print integer offset view. More... | |
| bool | operator== (const OffsetView &x, const OffsetView &y) |
| Test whether views x and y are the same. More... | |
| bool | operator!= (const OffsetView &x, const OffsetView &y) |
| Test whether views x and y are not the same. More... | |
| template<class View > | |
| View & | operator() (View &x) |
| Integer-precision integer scale view. More... | |
| template<class View > | |
| void | update (const NoOffset &) |
| Integer-precision integer scale view. More... | |
| template<class View > | |
| int | offset (void) const |
| Integer-precision integer scale view. More... | |
| Offset (int off) | |
| Integer-precision integer scale view. More... | |
| void | update (const Offset &o) |
| Integer-precision integer scale view. More... | |
| int | offset (void) const |
| Integer-precision integer scale view. More... | |
| OffsetView | operator() (IntView &x) |
| Integer-precision integer scale view. More... | |
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.
|
related |
|
related |
|
related |
|
related |
Test whether views x and y are the same.
Definition at line 318 of file offset.hpp.
|
related |
Test whether views x and y are not the same.
Definition at line 322 of file offset.hpp.
|
related |
|
related |
|
related |
|
related |
|
related |
|
related |
|
related |