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