minor edit to the Clausal abstraction limit

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

diff --git a/src/AST/UsefulDefs.h b/src/AST/UsefulDefs.h
index 716553c41d6f396bc6d9144a26b73d78e1de1f59..2e3fbae57c47b90387be5eef8aebe8f7daa2834f 100644 (file)
--- a/src/AST/UsefulDefs.h
+++ b/src/AST/UsefulDefs.h
@@ -45,6 +45,7 @@
 #define HASHSET      hash_set
 #define HASHMULTISET hash_multiset
 #define  INITIAL_TABLE_SIZE 100
+#define CLAUSAL_ABSTRACTION_CUTOFF 0.6
 
 using namespace std;
 namespace BEEV {

diff --git a/src/to-sat/ToSAT.h b/src/to-sat/ToSAT.h
index 25ccbe002eeb04bca0576603e73a3e5760c13759..b83377b6a4584267d90ce3f296259cd27de106fb 100644 (file)
--- a/src/to-sat/ToSAT.h
+++ b/src/to-sat/ToSAT.h
@@ -23,8 +23,6 @@
 
 namespace BEEV
 {
-#define CLAUSAL_ABSTRACTION_CUTOFF 0.5
-
   class ToSAT {
   private:
     /****************************************************************