Stay organized with collections
Save and categorize content based on your preferences.
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 |
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2024-08-06 UTC.
[null,null,["Last updated 2024-08-06 UTC."],[],["The `DivisionPropagator` class in C++ handles the propagation of division operations (num / denom = div) where the denominator is expected to be greater than 0. It propagates bounds, without special case handling, with an open issue to manage potential overflows. Key methods include: `DivisionPropagator` (constructor taking numerator, denominator, division result, and an integer trail), `Propagate` (to perform the propagation), and `RegisterWith` (to register with a literal watcher).\n"],null,[]]
