Searched refs:DisequalityFactory (Results 1 – 1 of 1) sorted by relevance
2275 DisequalityMapTy::Factory &DisequalityFactory = in removeDeadBindings() local2305 DisequalityFactory.remove(Disequalities, DisequalClass); in removeDeadBindings()2308 DisequalityFactory.add(Disequalities, DisequalClass, NewSet); in removeDeadBindings()2312 Disequalities = DisequalityFactory.remove(Disequalities, Class); in removeDeadBindings()