Searched defs:init_equiv_class (Results 1 – 2 of 2) sorted by relevance
6019 init_equiv_class (VEC(state_t, heap) *states, VEC (state_t, heap) **classes) in init_equiv_class() function
5994 init_equiv_class (vec<state_t> states, vec<state_t> *classes) in init_equiv_class() function