From d15a30cc0ce2579747ae4c2e919af54c6b06af70 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 14 Jun 2009 04:52:10 +0000
Subject: Rewrite ImpliedValue to use ConstantExpr operations.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73325 91177308-0d34-0410-b5e6-96231b3b80d8
---
 include/klee/Expr.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'include')

diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index 9851d122..70d9abfc 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -395,6 +395,7 @@ public:
   ref<ConstantExpr> Shl(const ref<ConstantExpr> &RHS);
   ref<ConstantExpr> LShr(const ref<ConstantExpr> &RHS);
   ref<ConstantExpr> AShr(const ref<ConstantExpr> &RHS);
+  ref<ConstantExpr> Not();
   ref<ConstantExpr> Eq(const ref<ConstantExpr> &RHS);
   ref<ConstantExpr> Ne(const ref<ConstantExpr> &RHS);
   ref<ConstantExpr> Ult(const ref<ConstantExpr> &RHS);
-- 
cgit 1.4.1