Module monotonicity

Modules

monotonicity_variants

Structs

MonotonicityAnalyzer 🔒

MonotonicityMap

A map from column index to its monotonicity.

Enums

Monotonicity

Represents the monotonicity of a column.

MonotonicityDerivation

Represents the derivation of the monotonicity of a column. This enum aims to unify the “non-decreasing analysis” and watermark derivation.

Functions

analyze_monotonicity

Analyze the monotonicity of an expression.