Searched refs:d_decManager (Results 1 – 4 of 4) sorted by relevance
72 d_decManager(nullptr), in Theory()357 Assert(d_decManager == nullptr); in setDecisionManager()359 d_decManager = dm; in setDecisionManager()
135 DecisionManager* d_decManager; variable412 DecisionManager* getDecisionManager() { return d_decManager; } in getDecisionManager()
205 std::unique_ptr<theory::DecisionManager> d_decManager; variable546 return d_decManager.get(); in getDecisionManager()
250 d_theoryTable[theoryId]->setDecisionManager(d_decManager.get()); in finishInit()295 d_decManager(new DecisionManager(context)), in TheoryEngine()777 return d_decManager->getNextDecisionRequest(); in getNextDecisionRequest()951 d_decManager->reset(); in postsolve()