diff options
Diffstat (limited to 'src/expr/command.h')
-rw-r--r-- | src/expr/command.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/expr/command.h b/src/expr/command.h index e84c53d09..4d2957b7c 100644 --- a/src/expr/command.h +++ b/src/expr/command.h @@ -602,11 +602,14 @@ public: class CVC4_PUBLIC GetUnsatCoreCommand : public Command { protected: UnsatCore d_result; + std::map<Expr, std::string> d_names; public: GetUnsatCoreCommand() throw(); + GetUnsatCoreCommand(const std::map<Expr, std::string>& names) throw(); ~GetUnsatCoreCommand() throw() {} void invoke(SmtEngine* smtEngine) throw(); void printResult(std::ostream& out, uint32_t verbosity = 2) const throw(); + const UnsatCore& getUnsatCore() const throw(); Command* exportTo(ExprManager* exprManager, ExprManagerMapCollection& variableMap); Command* clone() const; std::string getCommandName() const throw(); |