Integer views
[Programming integer actors]
Detailed Description
Integer propagators and branchings 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.
Classes | |
| class | Gecode::Int::ViewRanges< BoolView > |
| Range iterator for Boolean variable views More... | |
| class | Gecode::Int::ViewRanges< NegBoolView > |
| Range iterator for negated Boolean variable 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< 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< DoubleScaleView > |
| Range iterator for double-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::ViewVarImpTraits< Int::IntView > |
| Traits class for views and variable implementations. More... | |
| class | Gecode::Int::MinusView |
| Minus integer view. More... | |
| class | Gecode::ViewVarImpTraits< Int::MinusView > |
| Traits class for views and variable implementations. More... | |
| class | Gecode::Int::OffsetView |
| Offset integer view. More... | |
| class | Gecode::ViewVarImpTraits< Int::OffsetView > |
| Traits class for views and variable implementations. More... | |
| class | Gecode::Int::ScaleView< Val, UnsVal > |
| Scale integer view (template). More... | |
| class | Gecode::ViewVarImpTraits< Int::ScaleView< Val, UnsVal > > |
| Traits class for views and variable implementations. More... | |
| class | Gecode::Int::ConstIntView |
| Constant integer view. More... | |
| class | Gecode::ViewVarImpTraits< Int::ConstIntView > |
| Traits class for views and variable implementations. More... | |
| class | Gecode::Int::ZeroIntView |
| Zero integer view. More... | |
| class | Gecode::ViewVarImpTraits< Int::ZeroIntView > |
| Traits class for views and variable implementations. More... | |
| class | Gecode::Int::BoolView |
| Boolean view for Boolean variables. More... | |
| class | Gecode::ViewVarImpTraits< Int::BoolView > |
| Traits class for views and variable implementations. More... | |
| class | Gecode::Int::NegBoolView |
| Negated Boolean view. More... | |
| class | Gecode::ViewVarImpTraits< Int::NegBoolView > |
| Traits class for views and variable implementations. More... | |
Typedefs | |
| typedef ScaleView< int, unsigned int > | Gecode::Int::IntScaleView |
| Integer-precision integer scale view. | |
| typedef ScaleView< double, double > | Gecode::Int::DoubleScaleView |
| Double-precision integer scale view. | |
Typedef Documentation
| typedef ScaleView<int,unsigned int> Gecode::Int::IntScaleView |
| typedef ScaleView<double,double> Gecode::Int::DoubleScaleView |