The dump class.
More...
#include <dump.h>
The dump class.
Definition at line 73 of file dump.h.
void CVC4::DumpC::clear |
( |
| ) |
|
|
inline |
std::ostream& CVC4::DumpC::getStream |
( |
| ) |
|
|
inline |
bool CVC4::DumpC::isOn |
( |
const char * |
tag | ) |
|
|
inline |
bool CVC4::DumpC::isOn |
( |
std::string |
tag | ) |
|
|
inline |
bool CVC4::DumpC::off |
( |
const char * |
tag | ) |
|
|
inline |
bool CVC4::DumpC::off |
( |
std::string |
tag | ) |
|
|
inline |
bool CVC4::DumpC::off |
( |
| ) |
|
|
inline |
bool CVC4::DumpC::on |
( |
const char * |
tag | ) |
|
|
inline |
bool CVC4::DumpC::on |
( |
std::string |
tag | ) |
|
|
inline |
std::ostream& CVC4::DumpC::setStream |
( |
std::ostream & |
os | ) |
|
|
inline |
The documentation for this class was generated from the following file: