Searched refs:eliminate_forall_bind (Results 1 – 2 of 2) sorted by relevance
2059 eliminate_forall_bind(num_vars, vars, fml); in eliminate()2195 void eliminate_forall_bind(unsigned num_vars, app* const* vars, expr_ref& fml) { in eliminate_forall_bind() function in qe::quant_elim_new
2063 eliminate_forall_bind(num_vars, vars, fml); in eliminate()2199 void eliminate_forall_bind(unsigned num_vars, app* const* vars, expr_ref& fml) { in eliminate_forall_bind() function in qe::quant_elim_new