Module constraint 

Structs

Constraint

A single algebraic constraint, canonicalized as the interval lower <= lhs <= upper with numeric bounds. RHS expressions are folded into lhs during construction, so backends only ever see this canonical shape.

ConstraintExpr

In-progress constraint produced by Relate::le / Relate::ge / Relate::eq. Registered through the constraint! macro.

ConstraintId

Enums

Sense

The sense of a constraint: less-than-or-equal, greater-than-or-equal, or equality.

Traits

IntoRhs

What can appear on the right-hand side of a constraint. Numeric scalars stay as the canonical rhs. Expressions get subtracted into the LHS.

Relate

Build a constraint from an expression. Lives on Expr itself.