Searched refs:getDisequalitiesToRegions (Results 1 – 2 of 2) sorted by path
805 void SortModel::getDisequalitiesToRegions(int ri, in getDisequalitiesToRegions() function in CVC4::theory::uf::SortModel930 getDisequalitiesToRegions( ri, regions_diseq ); in forceCombineRegion()
235 void getDisequalitiesToRegions( int ri, std::map< int, int >& regions_diseq );