Stay organized with collections Save and categorize content based on your preferences.

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