Searched refs:getNumDisequalities (Results 1 – 2 of 2) sorted by relevance
107 int getNumDisequalities() const { in getNumDisequalities() function
241 if( rni->getNumDisequalities() >= cardinality ){ in getMustCombine()