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