diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-26 09:15:30 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-26 09:15:30 -0600 |
| commit | d3eb6f04bcdb6c22a2f796a19ff96094d2cfbb88 (patch) | |
| tree | bd51ec106bd30add6a8a9e5f3300a6ae022f0e97 /src/smt/node_command.h | |
| parent | 70f0cddbce01fa17622b7b70b638794181aefec5 (diff) | |
Removing infrastructure related to SMT model (#5527)
Now, SMT models do not store an internal list of commands, and are not dependent on a reference to SmtEngine.
The next cleanup step will be to merge OutputManager, DumpManager, and SmtEngineNodeListener.
Diffstat (limited to 'src/smt/node_command.h')
| -rw-r--r-- | src/smt/node_command.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/smt/node_command.h b/src/smt/node_command.h index 8cf9a5e10..e1a15e62c 100644 --- a/src/smt/node_command.h +++ b/src/smt/node_command.h @@ -68,16 +68,11 @@ class DeclareFunctionNodeCommand : public NodeCommand OutputLanguage language = language::output::LANG_AUTO) const override; NodeCommand* clone() const override; const Node& getFunction() const; - bool getPrintInModel() const; - bool getPrintInModelSetByUser() const; - void setPrintInModel(bool p); private: std::string d_id; Node d_fun; TypeNode d_type; - bool d_printInModel; - bool d_printInModelSetByUser; }; /** |