mz_transform::analysis

Module monotonic

Source
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.