Searched refs:d_maxNegCard (Results 1 – 2 of 2) sorted by relevance
474 d_maxNegCard(c, 0), in SortModel()876 if( c>d_maxNegCard.get() ){ in assertCardinality()878 d_maxNegCard.set( c ); in assertCardinality()1131 if( d_maxNegCard.get()!=0 && d_hasCard.get() && d_cardinality.get()<d_maxNegCard.get() ){ in simpleCheckCardinality()1203 if( nReps!=(d_maxNegCard+1) ){ in debugModel()1207 if( d_maxNegCard>=nReps ){ in debugModel()1224 while( (int)d_fresh_aloc_reps.size()<=d_maxNegCard ){ in debugModel()1230 if( d_maxNegCard==0 ){ in debugModel()1235 for( int i=0; i<=d_maxNegCard; i++ ){ in debugModel()1236 for( int j=(i+1); j<=d_maxNegCard; j++ ){ in debugModel()[all …]
278 context::CDO< int > d_maxNegCard; variable328 int getMaximumNegativeCardinality() { return d_maxNegCard.get(); } in getMaximumNegativeCardinality()