Searched refs:egraph_find_or_term (Results 1 – 1 of 1) sorted by relevance
1567 static eterm_t egraph_find_or_term(egraph_t *egraph, uint32_t n, occ_t *a) { in egraph_find_or_term() function2784 return egraph_find_or_term(egraph, n, a) >= 0; in egraph_or_exists()