Skip to main content

normalise_root_selective_deep_expr

conjure_cp::ast::eval

Function normalise_root_selective_deep_expr 

Source 
pub fn normalise_root_selective_deep_expr(
    root: &Expression,
    only_constraint: Option<usize>,
) -> Option<Expression>
Expand description

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