From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Mon, 14 Feb 2011 01:15:57 +0000 (+0000)
Subject: Remove unused configuration option. Update qualifiers.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=859d3ef16ea81a253b84a47690735c4e8e076575;p=francis%2Fstp.git

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 9a8d228..ff73c1e 100644
--- 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