601       Options& nodeManagerOptions = NodeManager::currentNM()->getOptions();  in SmtEnginePrivate()  local
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()
627           nodeManagerOptions.registerSetDumpModeListener(new DumpModeListener(),  in SmtEnginePrivate()
630           nodeManagerOptions.registerSetPrintSuccessListener(  in SmtEnginePrivate()
633           nodeManagerOptions.registerSetRegularOutputChannelListener(  in SmtEnginePrivate()
636           nodeManagerOptions.registerSetDiagnosticOutputChannelListener(  in SmtEnginePrivate()
640           nodeManagerOptions.registerDumpToFileNameListener(  in SmtEnginePrivate()
643           nodeManagerOptions.registerSetReplayLogFilename(  in SmtEnginePrivate()
831     Options& nodeManagerOptions = NodeManager::currentNM()->getOptions();  in addUseTheoryListListener()  local
833         nodeManagerOptions.registerUseTheoryListListener(  in addUseTheoryListListener()
5324   Options& nodeManagerOptions = NodeManager::currentNM()->getOptions();  in setOption()  local
5325   nodeManagerOptions.setOption(key, optionarg);  in setOption()
5381   Options& nodeManagerOptions = NodeManager::currentNM()->getOptions();  in getOption()  local
5382   return SExpr::parseAtom(nodeManagerOptions.getOption(key));  in getOption()