projects / cvc5.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Remove options::X__name (#7414)
[cvc5.git] / src / options / options_handler.h
diff --git a/src/options/options_handler.h b/src/options/options_handler.h
index c3cd8c358ab9a8bfca92505f12da996889bdfe06..077e2119dc85b642feb1c281910c727625288182 100644 (file)
--- a/src/options/options_handler.h
+++ b/src/options/options_handler.h
@@ -46,10 +46,7 @@ class OptionsHandler
   OptionsHandler(Options* options);
 
   template <typename T>
-  void checkMinimum(const std::string& option,
-                    const std::string& flag,
-                    T value,
-                    T minimum) const
+  void checkMinimum(const std::string& flag, T value, T minimum) const
   {
     if (value < minimum)
     {
@@ -61,10 +58,7 @@ class OptionsHandler
     }
   }
   template <typename T>
-  void checkMaximum(const std::string& option,
-                    const std::string& flag,
-                    T value,
-                    T maximum) const
+  void checkMaximum(const std::string& flag, T value, T maximum) const
   {
     if (value > maximum)
     {
@@ -78,107 +72,69 @@ class OptionsHandler
 
   /******************************* base options *******************************/
   /** Apply the error output stream to the different output channels */
-  void setErrStream(const std::string& option,
-                    const std::string& flag,
-                    const ManagedErr& me);
+  void setErrStream(const std::string& flag, const ManagedErr& me);
 
   /** Convert option value to Language enum */
-  Language stringToLanguage(const std::string& option,
-                            const std::string& flag,
-                            const std::string& optarg);
+  Language stringToLanguage(const std::string& flag, const std::string& optarg);
   /** Check that lang is not LANG_AST (not allowed as input language) */
-  void languageIsNotAST(const std::string& option,
-                        const std::string& flag,
-                        Language lang);
+  void languageIsNotAST(const std::string& flag, Language lang);
   /** Apply the output language to the default output stream */
-  void applyOutputLanguage(const std::string& option,
-                           const std::string& flag,
-                           Language lang);
+  void applyOutputLanguage(const std::string& flag, Language lang);
   /** Apply verbosity to the different output channels */
-  void setVerbosity(const std::string& option,
-                    const std::string& flag,
-                    int value);
+  void setVerbosity(const std::string& flag, int value);
   /** Decrease verbosity and call setVerbosity */
-  void decreaseVerbosity(const std::string& option, const std::string& flag);
+  void decreaseVerbosity(const std::string& flag);
   /** Increase verbosity and call setVerbosity */
-  void increaseVerbosity(const std::string& option, const std::string& flag);
+  void increaseVerbosity(const std::string& flag);
   /** If statistics are disabled, disable statistics sub-options */
-  void setStats(const std::string& option, const std::string& flag, bool value);
+  void setStats(const std::string& flag, bool value);
   /** If statistics sub-option is disabled, enable statistics */
-  void setStatsDetail(const std::string& option,
-                      const std::string& flag,
-                      bool value);
+  void setStatsDetail(const std::string& flag, bool value);
   /** Enable a particular trace tag */
-  void enableTraceTag(const std::string& option,
-                      const std::string& flag,
-                      const std::string& optarg);
+  void enableTraceTag(const std::string& flag, const std::string& optarg);
   /** Enable a particular debug tag */
-  void enableDebugTag(const std::string& option,
-                      const std::string& flag,
-                      const std::string& optarg);
+  void enableDebugTag(const std::string& flag, const std::string& optarg);
   /** Enable a particular output tag */
-  void enableOutputTag(const std::string& option,
-                       const std::string& flag,
-                       const std::string& optarg);
+  void enableOutputTag(const std::string& flag, const std::string& optarg);
   /** Apply print success flag to the different output channels */
-  void setPrintSuccess(const std::string& option,
-                       const std::string& flag,
-                       bool value);
+  void setPrintSuccess(const std::string& flag, bool value);
   /** Pass the resource weight specification to the resource manager */
-  void setResourceWeight(const std::string& option,
-                         const std::string& flag,
-                         const std::string& optarg);
+  void setResourceWeight(const std::string& flag, const std::string& optarg);
 
   /******************************* bv options *******************************/
 
   /** Check that abc is enabled */
-  void abcEnabledBuild(const std::string& option,
-                       const std::string& flag,
-                       bool value);
+  void abcEnabledBuild(const std::string& flag, bool value);
   /** Check that abc is enabled */
-  void abcEnabledBuild(const std::string& option,
-                       const std::string& flag,
-                       const std::string& value);
+  void abcEnabledBuild(const std::string& flag, const std::string& value);
   /** Check that the sat solver mode is compatible with other bv options */
-  void checkBvSatSolver(const std::string& option,
-                        const std::string& flag,
-                        SatSolverMode m);
+  void checkBvSatSolver(const std::string& flag, SatSolverMode m);
   /** Check that we use eager bitblasting for aig */
-  void setBitblastAig(const std::string& option,
-                      const std::string& flag,
-                      bool arg);
+  void setBitblastAig(const std::string& flag, bool arg);
 
   /******************************* expr options *******************************/
   /** Set ExprSetDepth on all output streams */
-  void setDefaultExprDepth(const std::string& option,
-                           const std::string& flag,
-                           int depth);
+  void setDefaultExprDepth(const std::string& flag, int depth);
   /** Set ExprDag on all output streams */
-  void setDefaultDagThresh(const std::string& option,
-                           const std::string& flag,
-                           int dag);
+  void setDefaultDagThresh(const std::string& flag, int dag);
 
   /******************************* main options *******************************/
   /** Show the solver build configuration and exit */
-  void showConfiguration(const std::string& option, const std::string& flag);
+  void showConfiguration(const std::string& flag);
   /** Show copyright information and exit */
-  void showCopyright(const std::string& option, const std::string& flag);
+  void showCopyright(const std::string& flag);
   /** Show version information and exit */
-  void showVersion(const std::string& option, const std::string& flag);
+  void showVersion(const std::string& flag);
   /** Show all debug tags and exit */
-  void showDebugTags(const std::string& option, const std::string& flag);
+  void showDebugTags(const std::string& flag);
   /** Show all trace tags and exit */
-  void showTraceTags(const std::string& option, const std::string& flag);
+  void showTraceTags(const std::string& flag);
 
   /******************************* smt options *******************************/
   /** Set a mode on the dumping output stream. */
-  void setDumpMode(const std::string& option,
-                   const std::string& flag,
-                   const std::string& optarg);
+  void setDumpMode(const std::string& flag, const std::string& optarg);
   /** Set the dumping output stream. */
-  void setDumpStream(const std::string& option,
-                     const std::string& flag,
-                     const ManagedOut& mo);
+  void setDumpStream(const std::string& flag, const ManagedOut& mo);
 
  private:
   /** Pointer to the containing Options object.*/