Searched defs:was_eliminated (Results 1 – 6 of 6) sorted by relevance
368 bool was_eliminated(bool_var v) const { return m_eliminated[v]; } in was_eliminated() function370 bool was_eliminated(literal l) const { return was_eliminated(l.var()); } in was_eliminated() function
92 inline bool simplifier::was_eliminated(bool_var v) const { return s.was_eliminated(v); } in was_eliminated() function in sat::simplifier
1051 bool was_eliminated = false; in copy_clauses() local
352 bool was_eliminated(bool_var v) const { return m_eliminated[v]; } in was_eliminated() function354 bool was_eliminated(literal l) const { return was_eliminated(l.var()); } in was_eliminated() function