Remove unused configuration option. Update qualifiers.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1147 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/STPManager/UserDefinedFlags.h b/src/STPManager/UserDefinedFlags.h
index 9a8d22817e72c70de5be38636ad47a4fe5bd2029..ff73c1ee07ae86fce0b5cf7f69dec5f9a03e95fd 100644 (file)
--- a/src/STPManager/UserDefinedFlags.h
+++ b/src/STPManager/UserDefinedFlags.h
@@ -126,8 +126,6 @@ namespace BEEV
 
     bool simplify_during_BB_flag;
 
-    bool solve_for_XORS_flag;
-
     // Available back-end SAT solvers.
     enum SATSolvers
       {
@@ -148,24 +146,24 @@ namespace BEEV
        config_options[n] = v;
     }
 
-    string get(string n)
+    string get(string n) const
     {
        return get(n,"");
     }
 
     // "1" is set.
-    bool isSet(string n, string def)
+    bool isSet(string n, string def) const
     {
        return (get(n,def) == string("1"));
     }
 
-    string get(string n, string def)
+    string get(string n, string def) const
     {
        if (config_options.empty())
                return def;
 
        string result;
-       std::map<string,string>::iterator it = config_options.find(n);
+       std::map<string,string>::const_iterator it = config_options.find(n);
        if (it == config_options.end())
                result = def;
        else
@@ -282,8 +280,6 @@ namespace BEEV
       // If the bit-blaster discovers new constants, should the term simplifier be re-run.
       simplify_during_BB_flag=false;
 
-      solve_for_XORS_flag = true;
-
     } //End of constructor for UserDefinedFlags
 
   }; //End of struct UserDefinedFlags