Searched defs:DisequalClass (Results 1 – 1 of 1) sorted by relevance
1413 for (EquivalenceClass DisequalClass : Class.getDisequalClasses(State)) { in setConstraint() local1592 for (EquivalenceClass DisequalClass : DisequalToOther) { in mergeImpl() local1784 for (EquivalenceClass DisequalClass : DisequalClasses) { in isClassDataConsistent() local1921 for (EquivalenceClass DisequalClass : DisequalClasses) { in removeDeadBindings() local