C++ Reference: class DivisionPropagator

This documentation is automatically generated.

Propagates a / b = c. Basic version, we don't extract any special cases, and we only propagates the bounds.

TODO(user): For now this only works on variables that are non-negative. TODO(user): This only propagate the direction => c, do the reverse. TODO(user): Deal with overflow. TODO(user): Unit-test this like the ProductPropagator.

Arguments: IntegerVariable a, IntegerVariable b, IntegerVariable c, IntegerTrail* integer_trail


Return type: bool


Return type: void

Arguments: GenericLiteralWatcher* watcher