Home
last modified time | relevance | path

Searched defs:was_eliminated (Results 1 – 6 of 6) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/sat/
H A Dsat_solver.h368 bool was_eliminated(bool_var v) const { return m_eliminated[v]; } in was_eliminated() function
370 bool was_eliminated(literal l) const { return was_eliminated(l.var()); } in was_eliminated() function
H A Dsat_simplifier.cpp92 inline bool simplifier::was_eliminated(bool_var v) const { return s.was_eliminated(v); } in was_eliminated() function in sat::simplifier
H A Dsat_lookahead.cpp1051 bool was_eliminated = false; in copy_clauses() local
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/
H A Dsat_solver.h352 bool was_eliminated(bool_var v) const { return m_eliminated[v]; } in was_eliminated() function
354 bool was_eliminated(literal l) const { return was_eliminated(l.var()); } in was_eliminated() function
H A Dsat_lookahead.cpp1051 bool was_eliminated = false; in copy_clauses() local
H A Dsat_simplifier.cpp92 inline bool simplifier::was_eliminated(bool_var v) const { return s.was_eliminated(v); } in was_eliminated() function in sat::simplifier