cvc4-1.3
|
#include <command.h>
Public Member Functions | |
ExportTransformer (ExprManager *exprManager, ExprManagerMapCollection &variableMap) | |
Expr | operator() (Expr e) |
Type | operator() (Type t) |
|
inline |
Definition at line 269 of file command.h.
References CVC4::Expr::exportTo().
Definition at line 272 of file command.h.
References CVC4::Type::exportTo().