Searched refs:DisequalityFactory (Results 1 – 1 of 1) sorted by relevance
2923 DisequalityMapTy::Factory &DisequalityFactory = in removeDeadBindings() local2953 DisequalityFactory.remove(Disequalities, DisequalClass); in removeDeadBindings()2956 DisequalityFactory.add(Disequalities, DisequalClass, NewSet); in removeDeadBindings()2960 Disequalities = DisequalityFactory.remove(Disequalities, Class); in removeDeadBindings()