Searched refs:DisequalityFactory (Results 1 – 1 of 1) sorted by relevance
2913 DisequalityMapTy::Factory &DisequalityFactory = in removeDeadBindings() local2943 DisequalityFactory.remove(Disequalities, DisequalClass); in removeDeadBindings()2946 DisequalityFactory.add(Disequalities, DisequalClass, NewSet); in removeDeadBindings()2950 Disequalities = DisequalityFactory.remove(Disequalities, Class); in removeDeadBindings()