Searched refs:SecondClass (Results 1 – 1 of 1) sorted by relevance
2313 EquivalenceClass SecondClass = find(State, Second); in merge() local2315 return FirstClass.merge(F, State, SecondClass); in merge()