Searched defs:mk_th_clause (Results 1 – 2 of 2) sorted by relevance
1498 …void context::mk_th_clause(theory_id tid, unsigned num_lits, literal * lits, unsigned num_params, … in mk_th_clause() function in smt::context
1492 …void context::mk_th_clause(theory_id tid, unsigned num_lits, literal * lits, unsigned num_params, … in mk_th_clause() function in smt::context