Module eval 

Functions

bin_op

eval_constant

Simplify an expression to a constant if possible Returns: None if the expression cannot be simplified to a constant (e.g. if it contains a variable) Some(Const) if the expression can be simplified to a constant

eval_constant_local

Simplify an expression to a constant using only constants already present at this node.

finish_root_evaluator_normalisation

Finishes evaluator normalisation on the model root after rewriting completes.

flat_op

generator_values_from_expr

Values for a constant collection expression used during constant folding.

normalise_evaluator_local

Applies the evaluator normalisation hook to a focused expression.

normalise_root_constraint_deep

Deep-normalises a single top-level constraint, or returns None if it is already normal.

normalise_root_constraints_deep

normalise_root_constraints_local

Applies local root-list partial evaluation (strip true, propagate false, flatten ands).

normalise_root_selective_deep_expr

Deep-normalises selected non-flat top-level constraints in root.

opt_vec_lit_op

opt_vec_op

tern_op

un_op

unwrap_expr

vec_lit_op

vec_op