Modules | |
| Integer views | |
| 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. | |
| Testing relations between integer views | |
| Integer modification events and propagation conditions | |
Classes | |
| class | Gecode::Int::ViewRanges< View > |
| Range iterator for integer views. More... | |
| class | Gecode::Int::ViewValues< View > |
| Value iterator for integer views. More... | |
| class | Gecode::Int::ViewDiffRanges< View > |
| Range iterator for cached integer views More... | |