fn asserted_relations(constraints: &[SymBoolExpr]) -> Option<Vec<Relation<'_>>>Expand description
Collects asserted equalities and disequalities. Negated conjunctions cannot supply relations.
fn asserted_relations(constraints: &[SymBoolExpr]) -> Option<Vec<Relation<'_>>>Collects asserted equalities and disequalities. Negated conjunctions cannot supply relations.