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