Searched refs:DisequalClass (Results 1 – 1 of 1) sorted by relevance
2139 RangeFactory, State, DisequalClass); in assign()2148 Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint); in assign()2437 for (EquivalenceClass DisequalClass : DisequalToOther) { in mergeImpl() local2438 DisequalToThis = CF.add(DisequalToThis, DisequalClass); in mergeImpl()2444 *DisequalityInfo.lookup(DisequalClass); in mergeImpl()2451 DisequalityInfo = DF.add(DisequalityInfo, DisequalClass, NewSet); in mergeImpl()2778 for (EquivalenceClass DisequalClass : DisequalClasses) { in isClassDataConsistent() local2780 Disequalities.lookup(DisequalClass); in isClassDataConsistent()2931 for (EquivalenceClass DisequalClass : DisequalClasses) { in removeDeadBindings() local2942 DisequalityFactory.remove(Disequalities, DisequalClass); in removeDeadBindings()[all …]