diff options
Diffstat (limited to 'src/compat/cvc3_compat.h')
-rw-r--r-- | src/compat/cvc3_compat.h | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/compat/cvc3_compat.h b/src/compat/cvc3_compat.h index be0dc3393..25e3ae32f 100644 --- a/src/compat/cvc3_compat.h +++ b/src/compat/cvc3_compat.h @@ -49,7 +49,10 @@ #define _cvc3__include__formula_value_h_ #include <stdlib.h> + #include <map> +#include <string> +#include <unordered_map> #include <utility> #include "base/exception.h" @@ -58,7 +61,6 @@ #include "expr/type.h" #include "parser/parser.h" #include "smt/smt_engine.h" -#include "util/hash.h" #include "util/integer.h" #include "util/rational.h" @@ -267,7 +269,7 @@ class CVC4_PUBLIC ExprMap : public std::map<Expr, T> { };/* class ExprMap<T> */ template <class T> -class CVC4_PUBLIC ExprHashMap : public std::hash_map<Expr, T, CVC4::ExprHashFunction> { +class CVC4_PUBLIC ExprHashMap : public std::unordered_map<Expr, T, CVC4::ExprHashFunction> { public: void insert(Expr a, Expr b); };/* class ExprHashMap<T> */ @@ -521,8 +523,8 @@ class CVC4_PUBLIC ValidityChecker { friend class Type; // to reach in to d_exprTypeMapRemove - typedef std::hash_map<std::string, const CVC4::Datatype*, CVC4::StringHashFunction> ConstructorMap; - typedef std::hash_map<std::string, std::pair<const CVC4::Datatype*, std::string>, CVC4::StringHashFunction> SelectorMap; + typedef std::unordered_map<std::string, const CVC4::Datatype*> ConstructorMap; + typedef std::unordered_map<std::string, std::pair<const CVC4::Datatype*, std::string>> SelectorMap; ConstructorMap d_constructors; SelectorMap d_selectors; |