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... | |