cvc4-1.3
CVC4::CVC4dumpstream Class Reference

#include <dump.h>

Public Member Functions

 CVC4dumpstream () throw ()
 
 CVC4dumpstream (std::ostream &os, CommandSequence &commands) throw ()
 
CVC4dumpstreamoperator<< (const Command &c)
 

Detailed Description

Definition at line 26 of file dump.h.

Constructor & Destructor Documentation

CVC4::CVC4dumpstream::CVC4dumpstream ( )
throw (
)
inline

Definition at line 37 of file dump.h.

CVC4::CVC4dumpstream::CVC4dumpstream ( std::ostream &  os,
CommandSequence commands 
)
throw (
)
inline

Definition at line 47 of file dump.h.

Member Function Documentation

CVC4dumpstream& CVC4::CVC4dumpstream::operator<< ( const Command c)
inline

Definition at line 57 of file dump.h.

References CVC4::Command::clone().


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