From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sun, 13 Nov 2011 12:37:29 +0000 (+0000)
Subject: Refactor.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=204175a1e7d6d8ae2257d29687d5bb1715481ab8;p=francis%2Fstp.git

Refactor.

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

diff --git a/src/STPManager/UserDefinedFlags.h b/src/STPManager/UserDefinedFlags.h
index a3faf09..7fdcb31 100644
--- a/src/STPManager/UserDefinedFlags.h
+++ b/src/STPManager/UserDefinedFlags.h
@@ -143,6 +143,15 @@ namespace BEEV
     	config_options[n] = v;
     }
 
+    void disableSimplifications()
+    {
+      optimize_flag = false;
+      bitConstantProp_flag = false;
+      set("enable-unconstrained","0");
+      set("use-intervals","0");
+      wordlevel_solve_flag = false;
+    }
+
     string get(string n)
     {
     	return get(n,"");
diff --git a/src/main/main.cpp b/src/main/main.cpp
index 5908bbd..79474e5 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -301,11 +301,7 @@ int main(int argc, char ** argv) {
                                   bm->UserFlags.solver_to_use = UserDefinedFlags::MINISAT_SOLVER;
                                   break;
                           case DISABLE_SIMPLIFICATIONS:
-                                  bm->UserFlags.optimize_flag = false;
-                                  bm->UserFlags.bitConstantProp_flag = false;
-                                  bm->UserFlags.set("enable-unconstrained","0");
-                                  bm->UserFlags.set("use-intervals","0");
-                                  bm->UserFlags.wordlevel_solve_flag = false;
+                                  bm->UserFlags.disableSimplifications();
                                 break;
 			  default:
 				  fprintf(stderr,usage,prog);