Searched refs:egraph_final_check (Results 1 – 2 of 2) sorted by relevance
393 extern fcheck_code_t egraph_final_check(egraph_t *egraph);
6212 fcheck_code_t egraph_final_check(egraph_t *egraph) { in egraph_final_check() function6686 (final_check_fun_t) egraph_final_check,