Skip to main content

extract_constraints_aux

monist_core::graph

Function extract_constraints_aux 

Source 
pub fn extract_constraints_aux(
    arena: &FormulaArena,
    formula_idx: usize,
    depth: usize,
    in_comp: bool,
) -> Vec<Constraint>