Home
last modified time | relevance | path

Searched refs:getNextDecisionRequest (Results 1 – 9 of 9) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Ddecision_manager.cpp41 Node DecisionManager::getNextDecisionRequest() in getNextDecisionRequest() function in CVC4::theory::DecisionManager
51 Node lit = ds->getNextDecisionRequest(); in getNextDecisionRequest()
H A Ddecision_strategy.h47 virtual Node getNextDecisionRequest() = 0;
76 Node getNextDecisionRequest() override;
H A Ddecision_manager.h109 Node getNextDecisionRequest();
H A Ddecision_strategy.cpp35 Node DecisionStrategyFmf::getNextDecisionRequest() in getNextDecisionRequest() function in CVC4::theory::DecisionStrategyFmf
H A Dtheory_engine.h720 Node getNextDecisionRequest();
H A Dtheory_engine.cpp775 Node TheoryEngine::getNextDecisionRequest() in getNextDecisionRequest() function in CVC4::TheoryEngine
777 return d_decManager->getNextDecisionRequest(); in getNextDecisionRequest()
/dports/math/cvc4/CVC4-1.7/src/theory/arrays/
H A Dtheory_arrays.h467 Node getNextDecisionRequest() override;
483 Node getNextDecisionRequest();
H A Dtheory_arrays.cpp2148 Node TheoryArrays::getNextDecisionRequest() in getNextDecisionRequest() function in CVC4::theory::arrays::TheoryArrays
2287 Node TheoryArrays::TheoryArraysDecisionStrategy::getNextDecisionRequest() in getNextDecisionRequest() function in CVC4::theory::arrays::TheoryArrays::TheoryArraysDecisionStrategy
2289 return d_ta->getNextDecisionRequest(); in getNextDecisionRequest()
/dports/math/cvc4/CVC4-1.7/src/prop/
H A Dtheory_proxy.cpp141 TNode n = d_theoryEngine->getNextDecisionRequest(); in getNextTheoryDecisionRequest()