diff options
author | ajreynol <reynolds@larapc05.epfl.ch> | 2014-06-17 15:25:58 +0200 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
commit | 0fe78eebc0c0f2d01c7aa64725bee08ba5aa2274 (patch) | |
tree | 475b094989b0828d7d82e41160a010a6134e8674 /src/expr/command.h | |
parent | 35cdae503bd88633a52333bf06fbf80cd81926e2 (diff) |
For casc : print models of functions rewritten by sort inference.
Diffstat (limited to 'src/expr/command.h')
-rw-r--r-- | src/expr/command.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/expr/command.h b/src/expr/command.h index ed6be86de..c3d0363bb 100644 --- a/src/expr/command.h +++ b/src/expr/command.h @@ -351,11 +351,16 @@ class CVC4_PUBLIC DeclareFunctionCommand : public DeclarationDefinitionCommand { protected: Expr d_func; Type d_type; + bool d_printInModel; + bool d_printInModelSetByUser; public: DeclareFunctionCommand(const std::string& id, Expr func, Type type) throw(); ~DeclareFunctionCommand() throw() {} Expr getFunction() const throw(); Type getType() const throw(); + bool getPrintInModel() const throw(); + bool getPrintInModelSetByUser() const throw(); + void setPrintInModel( bool p ); void invoke(SmtEngine* smtEngine) throw(); Command* exportTo(ExprManager* exprManager, ExprManagerMapCollection& variableMap); Command* clone() const; |