diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-11 06:11:46 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-11 06:11:46 -0500 |
| commit | 3153e2d94d1b12562557d60305bcac52d3128b83 (patch) | |
| tree | ef4740a54d489b61d92163024a8c516f38aae050 /src/printer/printer.h | |
| parent | 5e2c7c3a25d334c0068b423225f8ff7793260069 (diff) | |
Move unsat core names to smt engine (#1192)
* Move unsat core names to SmtEnginePrivate. Adds a SetExpressionNameCommand to do this. Removes the names field from GetUnsatCoreCommand.
* Comment
* Pass expression names by reference.
* Update throw specifiers.
* Minor
* Switch expression names to CDMap, simplify interface for printing unsat core names.
* Revert throw specifier change.
* Minor simplifcations
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 ec1f92604..ea4865fce 100644 --- a/src/printer/printer.h +++ b/src/printer/printer.h @@ -77,9 +77,6 @@ public: /** Write an UnsatCore out to a stream with this Printer. */ virtual void toStream(std::ostream& out, const UnsatCore& core) const throw(); - /** Write an UnsatCore out to a stream with this Printer. */ - virtual void toStream(std::ostream& out, const UnsatCore& core, const std::map<Expr, std::string>& names) const throw(); - };/* class Printer */ }/* CVC4 namespace */ |