IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
Simple propagation levels.
IntPropLevel
Propagation levels for integer propagators.
IntPropLevel ba(IntPropLevel ipl)
Extract basic or advanced from propagation level.
Domain propagation Options: basic versus advanced propagation.
Gecode toplevel namespace