From 45ac0a41ea324e504a8f887209e8ade341663151 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 23 Jun 2010 06:05:08 +0000
Subject: [PATCH] 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
---
 src/simplifier/simplifier.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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)
-- 
2.47.3