Searched refs:d_splits (Results 1 – 4 of 4) sorted by relevance
138 NodeBoolMap d_splits; variable162 split_iterator begin_splits() { return d_splits.begin(); } in begin_splits()163 split_iterator end_splits() { return d_splits.end(); } in end_splits()
49 , d_splits( c ) in Region()171 if( d_splits.find( eq )!=d_splits.end() && d_splits[ eq ] ){ in setDisequal()174 d_splits[ eq ] = false; in setDisequal()199 d_splits[ (*it).first ] = false; in setRep()340 d_splits[ j_eq_k ] = true; in check()352 d_splits[ it_eq_j ] = true; in check()430 if( !d_splits.empty() ){ in debugPrint()433 for( NodeBoolMap::iterator it = d_splits.begin(); it != d_splits.end(); in debugPrint()
877 IntStat d_splits;
4157 ++(d_statistics.d_splits); in sendSplit()4747 : d_splits("theory::strings::NumOfSplitOnDemands", 0), in Statistics()4752 smtStatisticsRegistry()->registerStat(&d_splits); in Statistics()4759 smtStatisticsRegistry()->unregisterStat(&d_splits); in ~Statistics()