C++ Reference: class PositiveProductPropagator

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): Deal with overflow.
Method
PositiveProductPropagator

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

Propagate

Return type: bool

RegisterWith

Return type: void

Arguments: GenericLiteralWatcher* watcher