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