Searched refs:d_pending_lem (Results 1 – 4 of 4) sorted by relevance
382 if( !d_pending_lem.empty() ){ in flushPendingFacts()384 while( i<(int)d_pending_lem.size() ){ in flushPendingFacts()385 doSendLemma( d_pending_lem[i] ); in flushPendingFacts()388 d_pending_lem.clear(); in flushPendingFacts()1029 d_pending_lem.push_back( eq ); in getTermSkolemFor()1730 d_pending_lem.push_back( lem ); in collectTerms()
211 std::vector< Node > d_pending_lem; variable
207 std::vector< int > d_pending_lem; variable
1723 d_pending_lem.push_back( d_pending.size()-1 ); in sendLemma()1730 if( d_pending_lem.empty() ){ in doPendingFacts()1745 for( unsigned i=0; i<d_pending_lem.size(); i++ ){ in doPendingFacts()1749 int index = d_pending_lem[i]; in doPendingFacts()1760 d_pending_lem.clear(); in doPendingFacts()