From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 23 Jun 2010 06:05:08 +0000 (+0000)
Subject: Speedup. Shortcut if the thing we are simplifying is already a constant.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=45ac0a41ea324e504a8f887209e8ade341663151;p=francis%2Fstp.git

Speedup. Shortcut if the thing we are simplifying is already a constant.



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

diff --git a/src/simplifier/simplifier.cpp b/src/simplifier/simplifier.cpp
index da4e501..47271b9 100644
--- a/src/simplifier/simplifier.cpp
+++ b/src/simplifier/simplifier.cpp
@@ -1592,7 +1592,10 @@ namespace BEEV
   Simplifier::SimplifyTerm(const ASTNode& actualInputterm, 
                            ASTNodeMap* VarConstMap)
   {
-    ASTNode inputterm(actualInputterm); // mutable local copy.
+    if (actualInputterm.isConstant())
+    	return actualInputterm;
+
+	ASTNode inputterm(actualInputterm); // mutable local copy.
 
     //cout << "SimplifyTerm: input: " << a << endl;
     // if (!optimize_flag)