Module display 

Human-readable rendering of models, constraints, objectives, and expressions.

Everything here is a lazy adapter holding &Model. The model’s RefCells are borrowed at format time, so do not format one while holding a mutable borrow of the arena or registries.

Structs

ConstraintDisplay

Displays one constraint as name: lhs <= rhs (or a range / equality). Built by Model::display_constraint.

ExprDisplay

Displays one expression as infix algebra, e.g. 3 x + 4 y - z. Built by Model::display_expr/Model::display_expr_id.

ObjectiveDisplay

Displays the objective as min <expr>/max <expr>/feasibility. Built by Model::display_objective.

SocDisplay

Displays one second-order cone constraint as name: ||t1, t2|| <= bound. Built by Model::display_soc.