diff options
author | Daniel Dunbar <daniel@zuster.org> | 2009-06-04 00:49:34 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-04 00:49:34 +0000 |
commit | b9c0914f3d27e04e3335760b7fd13c5e9953103d (patch) | |
tree | cf3971704bc3c7bede7592b046f8f28b4751a423 /lib/Expr/ExprPPrinter.cpp | |
parent | 32461e170b16d2f6cbcd04830bf68ce2a6372db5 (diff) | |
download | klee-b9c0914f3d27e04e3335760b7fd13c5e9953103d.tar.gz |
Move isConstant from ref<> to Expr::
- Ref.h is now freestanding. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72824 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Expr/ExprPPrinter.cpp')
-rw-r--r-- | lib/Expr/ExprPPrinter.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/Expr/ExprPPrinter.cpp b/lib/Expr/ExprPPrinter.cpp index 08809684..da4f45f9 100644 --- a/lib/Expr/ExprPPrinter.cpp +++ b/lib/Expr/ExprPPrinter.cpp @@ -100,7 +100,7 @@ class PPrinter : public ExprPPrinter { } bool isVerySimple(const ref<Expr> &e) { - return e.isConstant() || bindings.find(e)!=bindings.end(); + return e->isConstant() || bindings.find(e)!=bindings.end(); } bool isVerySimpleUpdate(const UpdateNode *un) { @@ -143,7 +143,7 @@ class PPrinter : public ExprPPrinter { } void scan1(const ref<Expr> &e) { - if (!e.isConstant()) { + if (!e->isConstant()) { if (couldPrint.insert(e).second) { Expr *ep = e.get(); for (unsigned i=0; i<ep->getNumKids(); i++) @@ -208,7 +208,7 @@ class PPrinter : public ExprPPrinter { print(un->value, PC); //PC << ')'; - nextShouldBreak = !(un->index.isConstant() && un->value.isConstant()); + nextShouldBreak = !(un->index->isConstant() && un->value->isConstant()); } if (openedList) @@ -324,7 +324,7 @@ public: } void printConst(const ref<Expr> &e, PrintContext &PC, bool printWidth) { - assert(e.isConstant()); + assert(e->isConstant()); if (e->getWidth() == Expr::Bool) PC << (e->getConstantValue() ? "true" : "false"); @@ -343,7 +343,7 @@ public: } void print(const ref<Expr> &e, PrintContext &PC, bool printConstWidth=false) { - if (e.isConstant()) + if (e->isConstant()) printConst(e, PC, printConstWidth); else { std::map<ref<Expr>, unsigned>::iterator it = bindings.find(e); |