Searched refs:egraph_find_apply_term (Results 1 – 1 of 1) sorted by relevance
1488 static eterm_t egraph_find_apply_term(egraph_t *egraph, occ_t f, uint32_t n, occ_t *a) { in egraph_find_apply_term() function2752 return egraph_find_apply_term(egraph, f, n, a) >= 0; in egraph_apply_exists()