C++ Reference: class FixedDivisionPropagator

This documentation is automatically generated.

Propagates var_a / cst_b = var_c. Basic version, we don't extract any special cases, and we only propagates the bounds. cst_b must be > 0.
Method
FixedDivisionPropagator

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

Propagate

Return type: bool

RegisterWith

Return type: void

Arguments: GenericLiteralWatcher* watcher