Searched refs:d_hasCard (Results 1 – 2 of 2) sorted by relevance
274 context::CDO< bool > d_hasCard; variable322 bool hasCardinalityAsserted() { return d_hasCard; } in hasCardinalityAsserted()
473 d_hasCard(c, false), in SortModel()678 if( level>=Theory::EFFORT_STANDARD && d_hasCard && !d_conflict ){ in check()843 bool doCheckRegions = !d_hasCard; in assertCardinality()844 bool prevHasCard = d_hasCard; in assertCardinality()845 d_hasCard = true; in assertCardinality()886 if( isValid(ri) && d_hasCard ){ in checkRegion()1046 Assert( d_hasCard ); in addCliqueLemma()1131 if( d_maxNegCard.get()!=0 && d_hasCard.get() && d_cardinality.get()<d_maxNegCard.get() ){ in simpleCheckCardinality()