blob: 2b0b3bda87d1eb09e16fa214673bd6271b87cd8f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
//===-- ExprHashMap.h -------------------------------------------*- C++ -*-===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#ifndef KLEE_EXPRHASHMAP_H
#define KLEE_EXPRHASHMAP_H
#include "klee/Expr/Expr.h"
#include <ciso646>
#ifdef _LIBCPP_VERSION
#include <unordered_map>
#include <unordered_set>
#define unordered_map std::unordered_map
#define unordered_set std::unordered_set
#else
#include <tr1/unordered_map>
#include <tr1/unordered_set>
#define unordered_map std::tr1::unordered_map
#define unordered_set std::tr1::unordered_set
#endif
namespace klee {
namespace util {
struct ExprHash {
unsigned operator()(const ref<Expr> e) const {
return e->hash();
}
};
struct ExprCmp {
bool operator()(const ref<Expr> &a, const ref<Expr> &b) const {
return a==b;
}
};
}
template<class T>
class ExprHashMap :
public unordered_map<ref<Expr>,
T,
klee::util::ExprHash,
klee::util::ExprCmp> {
};
typedef unordered_set<ref<Expr>,
klee::util::ExprHash,
klee::util::ExprCmp> ExprHashSet;
}
#undef unordered_map
#undef unordered_set
#endif /* KLEE_EXPRHASHMAP_H */
|