Searched refs:egraph_tuple_exists (Results 1 – 2 of 2) sorted by relevance
262 extern bool egraph_tuple_exists(egraph_t *egraph, uint32_t n, occ_t *a);
2767 bool egraph_tuple_exists(egraph_t *egraph, uint32_t n, occ_t *a) { in egraph_tuple_exists() function