Home
last modified time | relevance | path

Searched refs:d_pending (Results 1 – 15 of 15) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/example/
H A Dtheory_uf_tim.cpp31 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 Dtheory_uf_tim.h64 context::CDList<Node> d_pending; variable
/dports/games/lordsawar/lordsawar-0.3.2/src/
H A DQuest.h112 bool isPendingDeletion() const {return d_pending;} in isPendingDeletion()
138 void deactivate() {d_pending = true;} in deactivate()
257 bool d_pending; variable
H A DQuest.cpp37 :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 DQEnemyArmytype.cpp152 debug("QuestEnemyArmytype: armyDied - pending = " << (int)d_pending); in armyDied()
/dports/math/cvc3/cvc3-2.4.1/src/expr/
H A Dexpr_manager.cpp191 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 Dtheory_datatypes.cpp141 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 Dtheory_datatypes.h212 std::vector< Node > d_pending; variable
/dports/games/lordsawar/lordsawar-0.3.2/doc/
H A DSavefile892 <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 Dtheory_sep.cpp1698 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 Dtheory_sep.h206 std::vector< Node > d_pending; variable
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dexpr_manager.h175 std::deque<ExprValue*> d_pending; variable
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/sets/
H A Dfuzz14418.smt23 ; 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 Dtheory_strings.cpp1008 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 Dtheory_strings.h304 std::vector< Node > d_pending; variable