cvc4-1.3
CVC4::VariableTypeMap Class Reference

#include <variable_type_map.h>

Public Member Functions

Exproperator[] (Expr e)
 
Typeoperator[] (Type t)
 

Detailed Description

Definition at line 33 of file variable_type_map.h.

Member Function Documentation

Expr& CVC4::VariableTypeMap::operator[] ( Expr  e)
inline

Definition at line 47 of file variable_type_map.h.

Type& CVC4::VariableTypeMap::operator[] ( Type  t)
inline

Definition at line 48 of file variable_type_map.h.


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