Searched refs:d_resourceManager (Results 1 – 11 of 11) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/expr/ |
| H A D | node_manager.cpp | 96 d_resourceManager(new ResourceManager()), in NodeManager()
112 d_resourceManager(new ResourceManager()), in NodeManager()
136 d_resourceManager->setHardLimit((*d_options)[options::hardLimit]); in init()
144 d_resourceManager->setTimeLimit((*d_options)[options::perCallMillisecondLimit], false); in init()
150 d_resourceManager->useCPUTime(true); in init()
155 new TlimitListener(d_resourceManager), false)); in init()
157 new TlimitPerListener(d_resourceManager), false)); in init()
159 new RlimitListener(d_resourceManager), false)); in init()
161 new RlimitPerListener(d_resourceManager), false)); in init()
241 delete d_resourceManager; in ~NodeManager()
[all …]
|
| H A D | node_manager.h | 111 ResourceManager* d_resourceManager; variable
391 static ResourceManager* currentResourceManager() { return s_current->d_resourceManager; } in currentResourceManager()
404 ResourceManager* getResourceManager() { return d_resourceManager; } in getResourceManager()
|
| /dports/math/cvc4/CVC4-1.7/src/preprocessing/ |
| H A D | preprocessing_pass_context.h | 66 d_resourceManager->spendResource(amount); in spendResource()
99 ResourceManager* d_resourceManager; variable
|
| H A D | preprocessing_pass_context.cpp | 30 d_resourceManager(resourceManager), in PreprocessingPassContext()
|
| /dports/math/cvc4/CVC4-1.7/src/prop/ |
| H A D | prop_engine.cpp | 90 d_resourceManager(NodeManager::currentResourceManager()) in PropEngine()
200 if (d_resourceManager->outOfTime()) in checkSat()
202 if (d_resourceManager->outOfResources()) in checkSat()
305 d_resourceManager->spendResource(amount); in spendResource()
|
| H A D | prop_engine.h | 91 ResourceManager* d_resourceManager; variable
|
| /dports/math/cvc4/CVC4-1.7/src/parser/ |
| H A D | parser.cpp | 51 d_resourceManager(d_solver->getExprManager()->getResourceManager()), in Parser()
645 d_resourceManager->spendResource(options.getParseStep()); in nextCommand()
654 d_resourceManager->spendResource(options.getParseStep()); in nextExpression()
|
| H A D | parser.h | 144 ResourceManager* d_resourceManager; variable
|
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | theory_engine.h | 468 ResourceManager* d_resourceManager; variable
|
| H A D | theory_engine.cpp | 318 d_resourceManager(NodeManager::currentResourceManager()), in TheoryEngine()
2264 d_resourceManager->spendResource(amount); in spendResource()
|
| /dports/math/cvc4/CVC4-1.7/src/smt/ |
| H A D | smt_engine.cpp | 436 ResourceManager* d_resourceManager; member in CVC4::smt::SmtEnginePrivate
591 d_resourceManager = NodeManager::currentResourceManager(); in SmtEnginePrivate()
593 d_listenerRegistrations->add(d_resourceManager->registerSoftListener( in SmtEnginePrivate()
596 d_listenerRegistrations->add(d_resourceManager->registerHardListener( in SmtEnginePrivate()
675 ResourceManager* getResourceManager() { return d_resourceManager; } in getResourceManager()
678 d_resourceManager->spendResource(amount); in spendResource()
2697 &d_smt, d_resourceManager, &d_iteRemover, &d_propagator)); in finishInit()
|