Searched refs:egraph_increment_rank_counter (Results 1 – 1 of 1) sorted by relevance
7720 static void egraph_increment_rank_counter(ivector_t *ctr, uint32_t k) { in egraph_increment_rank_counter() function7752 egraph_increment_rank_counter(ctr, k); in egraph_collect_root_classes()