cvc4-1.3
CVC4::DumpC Class Reference

The dump class. More...

#include <dump.h>

Public Member Functions

CVC4dumpstream operator() (const char *tag)
 
CVC4dumpstream operator() (std::string tag)
 
void clear ()
 
const CommandSequencegetCommands () const
 
bool on (const char *tag)
 
bool on (std::string tag)
 
bool off (const char *tag)
 
bool off (std::string tag)
 
bool off ()
 
bool isOn (const char *tag)
 
bool isOn (std::string tag)
 
std::ostream & setStream (std::ostream &os)
 
std::ostream & getStream ()
 

Detailed Description

The dump class.

Definition at line 73 of file dump.h.

Member Function Documentation

void CVC4::DumpC::clear ( )
inline

Definition at line 93 of file dump.h.

const CommandSequence& CVC4::DumpC::getCommands ( ) const
inline

Definition at line 94 of file dump.h.

std::ostream& CVC4::DumpC::getStream ( )
inline

Definition at line 106 of file dump.h.

bool CVC4::DumpC::isOn ( const char *  tag)
inline

Definition at line 102 of file dump.h.

bool CVC4::DumpC::isOn ( std::string  tag)
inline

Definition at line 103 of file dump.h.

bool CVC4::DumpC::off ( const char *  tag)
inline

Definition at line 98 of file dump.h.

bool CVC4::DumpC::off ( std::string  tag)
inline

Definition at line 99 of file dump.h.

bool CVC4::DumpC::off ( )
inline

Definition at line 100 of file dump.h.

bool CVC4::DumpC::on ( const char *  tag)
inline

Definition at line 96 of file dump.h.

bool CVC4::DumpC::on ( std::string  tag)
inline

Definition at line 97 of file dump.h.

CVC4dumpstream CVC4::DumpC::operator() ( const char *  tag)
inline

Definition at line 78 of file dump.h.

CVC4dumpstream CVC4::DumpC::operator() ( std::string  tag)
inline

Definition at line 85 of file dump.h.

std::ostream& CVC4::DumpC::setStream ( std::ostream &  os)
inline

Definition at line 105 of file dump.h.


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