Function conjure_oxide::rule_engine::rewrite_model

pub fn rewrite_model<'a>(
    model: &Model,
    rule_sets: &Vec<&'a RuleSet<'a>>,
) -> Result<Model, RewriteError>

Rewrites the model by applying the rules to all constraints.

Any side-effects such as symbol table updates and top-level constraints are applied to the returned model.

Returns

A copy of the model after all, if any, possible rules are applied to its constraints.