Searched refs:egraph_gen_ackermann_lemma (Results 1 – 1 of 1) sorted by relevance
4845 static void egraph_gen_ackermann_lemma(egraph_t *egraph, occ_t t1, occ_t t2) { in egraph_gen_ackermann_lemma() function4877 egraph_gen_ackermann_lemma(egraph, egraph->ack_left, egraph->ack_right); in egraph_local_backtrack()