diff options
| author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-08-18 17:52:25 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-18 17:52:25 -0500 |
| commit | bcbef9dfa053a14ac48f176fe4bde9a1aa2b4931 (patch) | |
| tree | e01bff53c1dfc1b91d605714c1a8a53aa4dda631 /src/printer/tptp/tptp_printer.cpp | |
| parent | 77fdb2327ae969a7d97b6eb67ad3526d78867b3a (diff) | |
Refactor functions that print commands (Part 2) (#4905)
This PR is a step towards migrating commands to the Term/Sort level. It replaces the dynamic casts for printing commands with direct calls to corresponding functions. Those functions now take node level arguments instead of commands to make them available for internal code.
Diffstat (limited to 'src/printer/tptp/tptp_printer.cpp')
| -rw-r--r-- | src/printer/tptp/tptp_printer.cpp | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/printer/tptp/tptp_printer.cpp b/src/printer/tptp/tptp_printer.cpp index f1c1089ad..c4623f76a 100644 --- a/src/printer/tptp/tptp_printer.cpp +++ b/src/printer/tptp/tptp_printer.cpp @@ -39,15 +39,6 @@ void TptpPrinter::toStream( n.toStream(out, toDepth, types, dag, language::output::LANG_SMTLIB_V2_5); }/* TptpPrinter::toStream() */ -void TptpPrinter::toStream(std::ostream& out, - const Command* c, - int toDepth, - bool types, - size_t dag) const -{ - c->toStream(out, toDepth, types, dag, language::output::LANG_SMTLIB_V2_5); -}/* TptpPrinter::toStream() */ - void TptpPrinter::toStream(std::ostream& out, const CommandStatus* s) const { s->toStream(out, language::output::LANG_SMTLIB_V2_5); |