Searched defs:begin_unsat_core (Results 1 – 3 of 3) sorted by relevance
251 literal_vector::const_iterator begin_unsat_core() const { in begin_unsat_core() function
266 output_core_iterator begin_unsat_core() const { return d_outputCoreFormulas.begin(); } in begin_unsat_core() function