Searched refs:d_reps_size (Results 1 – 2 of 2) sorted by relevance
140 context::CDO< unsigned > d_reps_size; variable188 int getNumReps() { return d_reps_size; } in getNumReps()
50 , d_reps_size( c, 0 ) in Region()189 d_reps_size = d_reps_size + ( valid ? 1 : -1 ); in setRep()274 if( d_reps_size>unsigned(cardinality) ){ in check()275 if( d_total_diseq_internal==d_reps_size*( d_reps_size - 1 ) ){ in check()276 if( d_reps_size>1 ){ in check()397 Debug( c ) << "Num reps: " << d_reps_size << std::endl; in debugPrint()