Move public options functions to separate file (#6671)

This PR moves the remaining special purpose functions out of the Options class. This set of functions is only used to implement API functions in the smt engine (getting and setting options by string), and by the main driver for parsing and printing usage information.

1 files changed, 2 insertions, 1 deletions

diff --git a/test/unit/node/node_black.cpp b/test/unit/node/node_black.cpp
index 522270de4..787dd77ca 100644
--- a/test/unit/node/node_black.cpp
+++ b/test/unit/node/node_black.cpp
@@ -27,6 +27,7 @@
 #include "expr/node_manager.h"
 #include "expr/node_value.h"
 #include "expr/skolem_manager.h"
+#include "options/options_public.h"
 #include "smt/smt_engine.h"
 #include "test_node.h"
 #include "theory/rewriter.h"
@@ -68,7 +69,7 @@ class TestNodeBlackNode : public TestNode
     argv[0] = strdup("");
     argv[1] = strdup("--output-lang=ast");
     std::string progName;
-    Options::parseOptions(&opts, 2, argv, progName);
+    options::parse(opts, 2, argv, progName);
     free(argv[0]);
     free(argv[1]);
     d_smt.reset(new SmtEngine(d_nodeManager.get(), &opts));