Searched refs:d_total_diseq_internal (Results 1 – 2 of 2) sorted by relevance
52 , d_total_diseq_internal( c, 0 ) in Region()165 d_total_diseq_internal = d_total_diseq_internal + ( valid ? 1 : -1 ); in setDisequal()275 if( d_total_diseq_internal==d_reps_size*( d_reps_size - 1 ) ){ in check()416 Debug( c ) << " " << d_total_diseq_internal << " internal." << std::endl; in debugPrint()
144 context::CDO< unsigned > d_total_diseq_internal; variable