Searched refs:var_inside_assumptions (Results 1 – 8 of 8) sorted by relevance
113 lbool var_inside_assumptions(const uint32_t var) const
103 if (solver->var_inside_assumptions(var) != l_Undef) { in assumpsInsideComponent()
754 || solver->var_inside_assumptions(var) != l_Undef in can_eliminate_var()
1949 assert(var_inside_assumptions(lit.var()) != l_Undef); in handle_found_solution()
113 lbool var_inside_assumptions(const uint32_t var) const in var_inside_assumptions() function