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