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