Searched refs:nodeManagerOptions (Results 1 – 4 of 4) sorted by last modified time
603 nodeManagerOptions.registerForceLogicListener( in SmtEnginePrivate()613 nodeManagerOptions.registerBeforeSearchListener( in SmtEnginePrivate()618 nodeManagerOptions.registerSetDefaultExprDepthListener( in SmtEnginePrivate()621 nodeManagerOptions.registerSetDefaultExprDagListener( in SmtEnginePrivate()624 nodeManagerOptions.registerSetPrintExprTypesListener( in SmtEnginePrivate()630 nodeManagerOptions.registerSetPrintSuccessListener( in SmtEnginePrivate()640 nodeManagerOptions.registerDumpToFileNameListener( in SmtEnginePrivate()643 nodeManagerOptions.registerSetReplayLogFilename( in SmtEnginePrivate()833 nodeManagerOptions.registerUseTheoryListListener( in addUseTheoryListListener()5325 nodeManagerOptions.setOption(key, optionarg); in setOption()[all …]
796 Options& nodeManagerOptions = NodeManager::currentNM()->getOptions(); in checkEquivalent() local797 std::ostream* out = nodeManagerOptions.getOut(); in checkEquivalent()
90 Options& nodeManagerOptions = nm->getOptions(); in addTerm() local91 std::ostream* out = nodeManagerOptions.getOut(); in addTerm()
1016 Options& nodeManagerOptions = NodeManager::currentNM()->getOptions(); in printAndContinueStream() local1017 printSynthSolution(*nodeManagerOptions.getOut()); in printAndContinueStream()