Searched refs:DisequalToFirst (Results 1 – 1 of 1) sorted by relevance
2590 ClassSet DisequalToFirst = First.getDisequalClasses(State); in areEqual() local2591 if (DisequalToFirst.contains(Second)) in areEqual()