From 382de941118c12434410df0c5d4e1ecd28e4636f Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 3 Apr 2020 17:55:58 +0100
Subject: Move header files from lib/Expr to include/klee/Expr to eliminate
 includes using "../"

---
 lib/Expr/ArrayExprRewriter.h | 47 --------------------------------------------
 1 file changed, 47 deletions(-)
 delete mode 100644 lib/Expr/ArrayExprRewriter.h

(limited to 'lib/Expr/ArrayExprRewriter.h')

diff --git a/lib/Expr/ArrayExprRewriter.h b/lib/Expr/ArrayExprRewriter.h
deleted file mode 100644
index 098cb0a6..00000000
--- a/lib/Expr/ArrayExprRewriter.h
+++ /dev/null
@@ -1,47 +0,0 @@
-//===-- ArrayExprRewriter.h -----------------------------------------------===//
-//
-//                     The KLEE Symbolic Virtual Machine
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef KLEE_ARRAYEXPRREWRITER_H
-#define KLEE_ARRAYEXPRREWRITER_H
-
-#include <iterator>
-#include <map>
-#include <vector>
-
-#include "klee/Expr/Expr.h"
-#include "klee/util/Ref.h"
-
-namespace klee {
-
-using array2idx_ty = std::map<const Array *, std::vector<ref<Expr>>>;
-using mapIndexOptimizedExpr_ty = std::map<ref<Expr>, std::vector<ref<Expr>>>;
-
-class ExprRewriter {
-public:
-  static ref<Expr> createOptExpr(const ref<Expr> &e, const array2idx_ty &arrays,
-                                 const mapIndexOptimizedExpr_ty &idx_valIdx);
-
-private:
-  static ref<Expr> rewrite(const ref<Expr> &e, const array2idx_ty &arrays,
-                           const mapIndexOptimizedExpr_ty &idx_valIdx);
-
-  static ref<Expr>
-  concatenateOrExpr(const std::vector<ref<Expr>>::const_iterator begin,
-                    const std::vector<ref<Expr>>::const_iterator end);
-
-  static ref<Expr> createEqExpr(const ref<Expr> &index,
-                                const ref<Expr> &valIndex);
-
-  static ref<Expr> createRangeExpr(const ref<Expr> &index,
-                                   const ref<Expr> &valStart,
-                                   const ref<Expr> &valEnd);
-};
-} // namespace klee
-
-#endif /* KLEE_ARRAYEXPRREWRITER_H */
-- 
cgit 1.4.1