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