Searched refs:getNumInternalDisequalities (Results 1 – 2 of 2) sorted by relevance
215 return (r->getRegionInfo(i)->getNumInternalDisequalities() > in operator ()()216 r->getRegionInfo(j)->getNumInternalDisequalities()); in operator ()()321 if( it->second->getNumInternalDisequalities()>maxDeg ){ in check()322 maxDeg = it->second->getNumInternalDisequalities(); in check()589 int aex = ( a_region_info->getNumInternalDisequalities() - in merge()591 int bex = ( b_region_info->getNumInternalDisequalities() - in merge()
113 int getNumInternalDisequalities() const { in getNumInternalDisequalities() function