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.h | |
| 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.h')
| -rw-r--r-- | src/printer/printer.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/printer/printer.h b/src/printer/printer.h index b95b02ca8..85b16175f 100644 --- a/src/printer/printer.h +++ b/src/printer/printer.h @@ -160,9 +160,6 @@ class Printer /** Print simplify command */ virtual void toStreamCmdSimplify(std::ostream& out, Node n) const; - /** Print expand-definitions command */ - void toStreamCmdExpandDefinitions(std::ostream& out, Node n) const; - /** Print get-value command */ virtual void toStreamCmdGetValue(std::ostream& out, const std::vector<Node>& nodes) const; |