cvc4-1.3
CVC4::CommandStatus Class Referenceabstract

#include <command.h>

Inheritance diagram for CVC4::CommandStatus:
CVC4::CommandFailure CVC4::CommandSuccess CVC4::CommandUnsupported

Public Member Functions

virtual ~CommandStatus () throw ()
 
void toStream (std::ostream &out, OutputLanguage language=language::output::LANG_AST) const throw ()
 
virtual CommandStatusclone () const =0
 

Protected Member Functions

 CommandStatus () throw ()
 

Detailed Description

Definition at line 152 of file command.h.

Constructor & Destructor Documentation

CVC4::CommandStatus::CommandStatus ( )
throw (
)
inlineprotected

Definition at line 155 of file command.h.

virtual CVC4::CommandStatus::~CommandStatus ( )
throw (
)
inlinevirtual

Definition at line 157 of file command.h.

Member Function Documentation

virtual CommandStatus& CVC4::CommandStatus::clone ( ) const
pure virtual
void CVC4::CommandStatus::toStream ( std::ostream &  out,
OutputLanguage  language = language::output::LANG_AST 
) const
throw (
)

The documentation for this class was generated from the following file: