cvc4-1.3
CVC4::ExprManagerMapCollection Struct Reference

#include <variable_type_map.h>

Data Fields

VariableTypeMap d_typeMap
 
VarMap d_to
 
VarMap d_from
 

Detailed Description

Definition at line 54 of file variable_type_map.h.

Field Documentation

VarMap CVC4::ExprManagerMapCollection::d_from

Definition at line 57 of file variable_type_map.h.

VarMap CVC4::ExprManagerMapCollection::d_to

Definition at line 56 of file variable_type_map.h.

VariableTypeMap CVC4::ExprManagerMapCollection::d_typeMap

Definition at line 55 of file variable_type_map.h.


The documentation for this struct was generated from the following file: