Home
last modified time | relevance | path

Searched refs:getNumReps (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dtheory_uf_strong_solver.cpp545 d_regions[ d_regions_index ]->getNumReps()==0 ); in newEqClass()
577 if( d_regions[ai]->getNumReps()==1 ){ in merge()
581 }else if( d_regions[bi]->getNumReps()==1 ){ in merge()
720 if( d_regions[i]->valid() && d_regions[i]->getNumReps()>d_cardinality ){ in check()
937 Assert( d_regions[ it->first ]->getNumReps()>0 ); in forceCombineRegion()
938 double tempScore = double(it->second)/double(d_regions[it->first]->getNumReps() ); in forceCombineRegion()
958 if( d_regions[ai]->getNumReps()<d_regions[bi]->getNumReps() ){ in combineRegions()
1169 debugReps += region->getNumReps(); in debugPrint()
H A Dtheory_uf_strong_solver.h188 int getNumReps() { return d_reps_size; } in getNumReps() function