Lines Matching refs:already_processed
268 bool already_processed(app * t, expr_ref & result, proof_ref & result_pr) { in already_processed() function
323 if (already_processed(t, result, result_pr)) in process_div()
350 if (already_processed(div_app, result, result_pr)) in process_idiv()
404 if (already_processed(t, result, result_pr)) in process_mod()
407 VERIFY(already_processed(t, result, result_pr)); in process_mod()
413 if (already_processed(t, result, result_pr)) in process_to_int()
441 if (already_processed(t, result, result_pr)) in process_power()
508 if (already_processed(s, result, result_pr)) in process_irrat()
585 if (already_processed(t, result, result_pr)) in process_asin()
627 if (already_processed(t, result, result_pr)) in process_acos()
669 if (already_processed(t, result, result_pr)) in process_atan()