Searched refs:d_pending (Results 1 – 15 of 15) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/example/ |
H A D | theory_uf_tim.cpp | 31 d_pending(c), in TheoryUFTim() 131 d_pending.push_back(pend); in registerTerm() 221 d_pending.push_back(pendingEq); in ccUnion() 230 while(d_currentPendingIdx < d_pending.size() ) { in merge() 231 Node assertion = d_pending[d_currentPendingIdx]; in merge() 289 d_pending.push_back(assertion); in check() 307 if(d_currentPendingIdx < d_pending.size()) { in check()
|
H A D | theory_uf_tim.h | 64 context::CDList<Node> d_pending; variable
|
/dports/games/lordsawar/lordsawar-0.3.2/src/ |
H A D | Quest.h | 112 bool isPendingDeletion() const {return d_pending;} in isPendingDeletion() 138 void deactivate() {d_pending = true;} in deactivate() 257 bool d_pending; variable
|
H A D | Quest.cpp | 37 :d_q_mgr(q_mgr), d_hero(hero), d_type(type), d_pending(false) in Quest() 56 helper->getData(d_pending, "pending_deletion"); in Quest() 85 retval &= helper->saveData("pending_deletion", d_pending); in save()
|
H A D | QEnemyArmytype.cpp | 152 debug("QuestEnemyArmytype: armyDied - pending = " << (int)d_pending); in armyDied()
|
/dports/math/cvc3/cvc3-2.4.1/src/expr/ |
H A D | expr_manager.cpp | 191 if (d_inGC) d_pending.push_back(ev); in gc() 194 IF_DEBUG(FatalAssert(d_pending.size() == 0, "Expected size 1");) in gc() 199 while (d_pending.size() > 0) { in gc() 200 ev = d_pending.front(); in gc() 201 d_pending.pop_front(); in gc()
|
/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/ |
H A D | theory_datatypes.cpp | 141 Assert( d_pending.empty() && d_pending_merge.empty() ); in check() 299 d_pending.push_back( t ); in check() 339 d_pending.clear(); in check() 392 while( !d_conflict && i<(int)d_pending.size() ){ in flushPendingFacts() 393 Node fact = d_pending[i]; in flushPendingFacts() 430 d_pending.clear(); in flushPendingFacts() 855 d_pending.push_back( eq ); in merge() 1161 d_pending.push_back( t_concl ); in addTester() 1345 d_pending.push_back( eq ); in collapseSelector() 1792 d_pending.push_back(eq); in instantiate() [all …]
|
H A D | theory_datatypes.h | 212 std::vector< Node > d_pending; variable
|
/dports/games/lordsawar/lordsawar-0.3.2/doc/ |
H A D | Savefile | 892 <d_pending> whether or not this quest is pending deletion at the 894 </d_pending> 902 <d_pending></d_pending> 911 <d_pending></d_pending> 924 <d_pending></d_pending> 933 <d_pending></d_pending> 942 <d_pending></d_pending> 951 <d_pending></d_pending> 961 <d_pending></d_pending>
|
/dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
H A D | theory_sep.cpp | 1698 d_pending.push_back( conc ); in sendLemma() 1722 d_pending.push_back( conc ); in sendLemma() 1723 d_pending_lem.push_back( d_pending.size()-1 ); in sendLemma() 1731 for( unsigned i=0; i<d_pending.size(); i++ ){ in doPendingFacts() 1735 Node atom = d_pending[i].getKind()==kind::NOT ? d_pending[i][0] : d_pending[i]; in doPendingFacts() 1736 bool pol = d_pending[i].getKind()!=kind::NOT; in doPendingFacts() 1750 …Node lem = NodeManager::currentNM()->mkNode( kind::IMPLIES, d_pending_exp[index], d_pending[index]… in doPendingFacts() 1759 d_pending.clear(); in doPendingFacts()
|
H A D | theory_sep.h | 206 std::vector< Node > d_pending; variable
|
/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | expr_manager.h | 175 std::deque<ExprValue*> d_pending; variable
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/sets/ |
H A D | fuzz14418.smt2 | 3 ; issue: had some nodes in d_pending, even though sat context had been popped,
|
/dports/math/cvc4/CVC4-1.7/src/theory/strings/ |
H A D | theory_strings.cpp | 1008 addedFact = !d_pending.empty(); in check() 1018 Assert( d_pending.empty() ); in check() 1323 while( !d_conflict && i<d_pending.size() ) { in doPendingFacts() 1324 Node fact = d_pending[i]; in doPendingFacts() 1339 d_pending.clear(); in doPendingFacts() 1359 return d_conflict || !d_lemma_cache.empty() || !d_pending.empty(); in hasProcessed() 4139 d_pending.push_back( eq ); in sendInfer() 4791 << ", addedFact = " << !d_pending.empty() << " " in runInferStep()
|
H A D | theory_strings.h | 304 std::vector< Node > d_pending; variable
|