Searched defs:validate_assumptions (Results 1 – 4 of 4) sorted by relevance
1118 bool validate_assumptions(model& mdl, expr_ref_vector const& core) { in validate_assumptions() function in qe::qsat
3190 bool context::validate_assumptions(expr_ref_vector const& asms) { in validate_assumptions() function in smt::context
3200 bool context::validate_assumptions(expr_ref_vector const& asms) { in validate_assumptions() function in smt::context