From 204175a1e7d6d8ae2257d29687d5bb1715481ab8 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Sun, 13 Nov 2011 12:37:29 +0000 Subject: [PATCH] Refactor. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1414 e59a4935-1847-0410-ae03-e826735625c1 --- src/STPManager/UserDefinedFlags.h | 9 +++++++++ src/main/main.cpp | 6 +----- 2 files changed, 10 insertions(+), 5 deletions(-) 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); -- 2.47.3