Expand description
Analysis that determines the logical monotonicity of an expression.
Expressions are logically monotonic if their inputs are monotonic, and they do not introduce any retractions.
Structsยง
- Monotonic
- Determines the logical monotonicity of an expression.