diff options
| author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-10-20 14:23:30 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-20 14:23:30 -0500 |
| commit | 417299119500eac6a910fcb6b2109f4c129b355c (patch) | |
| tree | 9f2237f45fd8353e6cc367acabc6b386f85c797f /src/printer/printer.cpp | |
| parent | a0ccf529025b86d368dac6b8c4f6b78a97857f4b (diff) | |
Remove some Commands from the API. (#5268)
This PR removes Solver::getAssignment command from the API as there is no way to assign names to terms in the API. It also removes ExpandDefinitionsCommand, an internal functionality in CVC4.
Diffstat (limited to 'src/printer/printer.cpp')
| -rw-r--r-- | src/printer/printer.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index ba062c20f..e760c21aa 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -262,11 +262,6 @@ void Printer::toStreamCmdSimplify(std::ostream& out, Node n) const printUnknownCommand(out, "simplify"); } -void Printer::toStreamCmdExpandDefinitions(std::ostream& out, Node n) const -{ - printUnknownCommand(out, "expand-definitions"); -} - void Printer::toStreamCmdGetValue(std::ostream& out, const std::vector<Node>& nodes) const { |