Generated on Wed Jan 1 2020 10:37:59 for Gecode by doxygen 1.8.16

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

Detailed Description