cvc4-1.3
|
#include <dump.h>
Public Member Functions | |
CVC4dumpstream () throw () | |
CVC4dumpstream (std::ostream &os, CommandSequence &commands) throw () | |
CVC4dumpstream & | operator<< (const Command &c) |
|
inline |
|
inline |
Definition at line 57 of file dump.h.
References CVC4::Command::clone().