C++ Reference: class DivisionPropagator

Note: This documentation is automatically generated.

Propagates num / denom = div. Basic version, we don't extract any special cases, and we only propagates the bounds. It expects denom to be > 0.

TODO(user): Deal with overflow.

Method
DivisionPropagator	Arguments: AffineExpression num, AffineExpression denom, AffineExpression div, IntegerTrail* integer_trail
Propagate	Return type: bool
RegisterWith	Return type: void Arguments: GenericLiteralWatcher* watcher