cvc4-1.3
|
#include <command.h>
Public Member Functions | |
CommandFailure (std::string message) throw () | |
CommandFailure & | clone () const |
~CommandFailure () throw () | |
std::string | getMessage () const throw () |
void | toStream (std::ostream &out, OutputLanguage language=language::output::LANG_AST) const throw () |
|
inline |
|
inline |
|
inlinevirtual |
Implements CVC4::CommandStatus.
|
inline |
|
inherited |