From 25b0ab1a3513b5952c0a2e2c59cec72cdf471224 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 14 Jun 2009 21:52:09 +0000
Subject: Rename FoldingExprBuilder -> SimplifyingExprBuilder

Also, start printing query # with -print-ast (for testing purposes).


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73350 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Expr/ExprBuilder.cpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'lib')

diff --git a/lib/Expr/ExprBuilder.cpp b/lib/Expr/ExprBuilder.cpp
index f373e2b8..0445222d 100644
--- a/lib/Expr/ExprBuilder.cpp
+++ b/lib/Expr/ExprBuilder.cpp
@@ -397,12 +397,12 @@ namespace {
     }
   };
 
-  class FoldingExprBuilder : public ExprBuilder {
+  class SimplifyingExprBuilder : public ExprBuilder {
     ExprBuilder *Base;
 
   public:
-    FoldingExprBuilder(ExprBuilder *_Base) : Base(_Base) {}
-    ~FoldingExprBuilder() { 
+    SimplifyingExprBuilder(ExprBuilder *_Base) : Base(_Base) {}
+    ~SimplifyingExprBuilder() { 
       delete Base;
     }
 
@@ -543,6 +543,6 @@ ExprBuilder *klee::createConstantFoldingExprBuilder(ExprBuilder *Base) {
   return new ConstantFoldingExprBuilder(Base);
 }
 
-ExprBuilder *klee::createFoldingExprBuilder(ExprBuilder *Base) {
-  return new FoldingExprBuilder(Base);
+ExprBuilder *klee::createSimplifyingExprBuilder(ExprBuilder *Base) {
+  return new SimplifyingExprBuilder(Base);
 }
-- 
cgit 1.4.1