Searched refs:getDecisionManager (Results 1 – 11 of 11) sorted by relevance
412 DecisionManager* getDecisionManager() { return d_decManager; } in getDecisionManager() function
544 theory::DecisionManager* getDecisionManager() const in getDecisionManager() function
210 d_qe->getTheoryEngine()->getDecisionManager()->registerStrategy( in assign()246 d_qe->getTheoryEngine()->getDecisionManager()->registerStrategy( in assign()
547 d_qe->getTheoryEngine()->getDecisionManager()->registerStrategy( in initialize()
200 d_quantEngine->getTheoryEngine()->getDecisionManager()->registerStrategy( in registerCbqiLemma()
505 d_thss->getTheory()->getDecisionManager()->registerStrategy( in initialize()1768 d_th->getDecisionManager()->registerStrategy( in initializeCombinedCardinality()
1307 d_td->getDecisionManager()->registerStrategy( in registerSizeTerm()1389 d_td->getDecisionManager()->registerStrategy( in registerMeasureTerm()
498 ->getDecisionManager() in checkOwnership()
1256 getDecisionManager()->registerStrategy(DecisionManager::STRAT_ARRAYS, in presolve()
462 getDecisionManager()->registerStrategy( in check()
573 getDecisionManager()->registerStrategy( in presolve()