C++ Reference: class ProductPropagator

Note: This documentation is automatically generated.

Propagates a * b = p.

The bounds [min, max] of a and b will be propagated perfectly, but not the bounds on p as this require more complex arithmetics.

Method
ProductPropagator	Arguments: AffineExpression a, AffineExpression b, AffineExpression p, IntegerTrail* integer_trail
Propagate	Return type: bool
RegisterWith	Return type: void Arguments: GenericLiteralWatcher* watcher