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