cvc4-1.4
|
#include <command.h>
Public Member Functions | |
virtual | ~CommandStatus () throw () |
void | toStream (std::ostream &out, OutputLanguage language=language::output::LANG_AUTO) const throw () |
virtual CommandStatus & | clone () const =0 |
Protected Member Functions | |
CommandStatus () throw () | |
|
inlineprotected |
|
inlinevirtual |
|
pure virtual |
Implemented in CVC4::CommandFailure, CVC4::CommandUnsupported, and CVC4::CommandSuccess.
void CVC4::CommandStatus::toStream | ( | std::ostream & | out, |
OutputLanguage | language = language::output::LANG_AUTO |
||
) | const | ||
throw | ( | ||
) |