Searched refs:cache_get_ackermann_lemma (Results 1 – 1 of 1) sorted by relevance
3467 static cache_elem_t *cache_get_ackermann_lemma(cache_t *cache, eterm_t t1, eterm_t t2) { in cache_get_ackermann_lemma() function3514 e = cache_get_ackermann_lemma(&egraph->cache, b1, b2); in create_ackermann_lemma()3561 e = cache_get_ackermann_lemma(&egraph->cache, b1, b2); in create_ackermann_lemma()