Searched defs:DisequalClass (Results 1 – 1 of 1) sorted by relevance
2137 for (EquivalenceClass DisequalClass : Class.getDisequalClasses(State)) { in assign() local2438 for (EquivalenceClass DisequalClass : DisequalToOther) { in mergeImpl() local2779 for (EquivalenceClass DisequalClass : DisequalClasses) { in isClassDataConsistent() local2932 for (EquivalenceClass DisequalClass : DisequalClasses) { in removeDeadBindings() local