Searched defs:is_unit_clause (Results 1 – 2 of 2) sorted by relevance
2124 bool context::is_unit_clause(clause const * c) const { in is_unit_clause() function in smt::context
2136 bool context::is_unit_clause(clause const * c) const { in is_unit_clause() function in smt::context