Searched refs:create_ackermann_lemma (Results 1 – 1 of 1) sorted by relevance
3483 static void create_ackermann_lemma(egraph_t *egraph, composite_t *c1, composite_t *c2) { in create_ackermann_lemma() function4850 create_ackermann_lemma(egraph, c1, c2); in egraph_gen_ackermann_lemma()