Searched defs:quick_process (Results 1 – 3 of 3) sorted by relevance
147 void goal::quick_process(bool save_first, expr_ref& f, expr_dependency * d) { in quick_process() function in goal
253 int quick_process(process_func_type process_func) { in quick_process() function