Searched refs:has_assumptions (Results 1 – 5 of 5) sorted by relevance
232 bool has_assumptions() const { return !m_assumptions.empty(); }467 if (s.has_assumptions()) {537 if (!s.has_assumptions() && width >= m_conquer_delay && !conquer) {
232 bool has_assumptions() const { return !m_assumptions.empty(); } in has_assumptions() function in parallel_tactic::solver_state475 if (s.has_assumptions()) { in report_unsat()554 if (!s.has_assumptions() && width >= m_conquer_delay && !conquer) { in cube_and_conquer()
169 if (core->has_assumptions) { in search()223 if (core->has_assumptions) { in luby_search()282 if (core->has_assumptions) { in special_search()
999 bool has_assumptions; member
1533 s->has_assumptions = false; in init_smt_core()1682 s->has_assumptions = false; in reset_smt_core()5428 if (s->has_assumptions) { in smt_clear_unsat()5432 s->has_assumptions = false; in smt_clear_unsat()5888 s->has_assumptions = (n > 0); in start_search()