cvc4-1.4
|
#include <command.h>
Public Member Functions | |
CommandStatus & | clone () const |
void | toStream (std::ostream &out, OutputLanguage language=language::output::LANG_AUTO) const throw () |
|
inlinevirtual |
Implements CVC4::CommandStatus.
|
inherited |