Module constraint 

Structs

Constraint

A single algebraic constraint already canonicalized as lhs <op> rhs, where rhs is a numeric constant. 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. Pass to crate::Model::constraint to register.

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.