20 #ifndef __CVC4__VARIABLE_TYPE_MAP_H 21 #define __CVC4__VARIABLE_TYPE_MAP_H 29 struct ExprHashFunction;
31 struct TypeHashFunction;
38 std::hash_map<Expr, Expr, ExprHashFunction> d_variables;
44 std::hash_map<Type, Type, TypeHashFunction> d_types;
52 typedef __gnu_cxx::hash_map<uint64_t, uint64_t>
VarMap;
Class encapsulating CVC4 expressions and methods for constructing new expressions.
__gnu_cxx::hash_map< uint64_t, uint64_t > VarMap
Expr & operator[](Expr e)
Class encapsulating CVC4 expression types.
[[ Add one-line brief description here ]]
Macros that should be defined everywhere during the building of the libraries and driver binary...
Type & operator[](Type t)
VariableTypeMap d_typeMap