Generated on for Gecode by doxygen 1.15.0
Integer modification events and propagation conditions