Searched refs:DisequalClass (Results 1 – 1 of 1) sorted by relevance
2071 RangeFactory, State, DisequalClass); in assign()2080 Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint); in assign()2370 for (EquivalenceClass DisequalClass : DisequalToOther) { in mergeImpl() local2371 DisequalToThis = CF.add(DisequalToThis, DisequalClass); in mergeImpl()2377 *DisequalityInfo.lookup(DisequalClass); in mergeImpl()2384 DisequalityInfo = DF.add(DisequalityInfo, DisequalClass, NewSet); in mergeImpl()2701 for (EquivalenceClass DisequalClass : DisequalClasses) { in isClassDataConsistent() local2703 Disequalities.lookup(DisequalClass); in isClassDataConsistent()2838 for (EquivalenceClass DisequalClass : DisequalClasses) { in removeDeadBindings() local2849 DisequalityFactory.remove(Disequalities, DisequalClass); in removeDeadBindings()[all …]