Searched defs:DisequalityInfo (Results 1 – 1 of 1) sorted by relevance
1702 DisequalityMapTy DisequalityInfo = State->get<DisequalityMap>(); in mergeImpl() local1807 DisequalityMapTy DisequalityInfo = State->get<DisequalityMap>(); in markDisequal() local