cprover
|
TO_BE_DOCUMENTED. More...
#include <goto_trace.h>
Public Types | |
typedef std::list< goto_trace_stept > | stepst |
Public Member Functions | |
void | clear () |
void | output (const class namespacet &ns, std::ostream &out) const |
outputs the trace in ASCII to a given stream More... | |
void | swap (goto_tracet &other) |
void | add_step (const goto_trace_stept &step) |
goto_trace_stept & | get_last_step () |
void | trim_after (stepst::iterator s) |
Public Attributes | |
stepst | steps |
irep_idt | mode |
TO_BE_DOCUMENTED.
Definition at line 150 of file goto_trace.h.
typedef std::list<goto_trace_stept> goto_tracet::stepst |
Definition at line 153 of file goto_trace.h.
|
inline |
Definition at line 176 of file goto_trace.h.
|
inline |
Definition at line 158 of file goto_trace.h.
|
inline |
Definition at line 183 of file goto_trace.h.
void goto_tracet::output | ( | const class namespacet & | ns, |
std::ostream & | out | ||
) | const |
outputs the trace in ASCII to a given stream
Definition at line 47 of file goto_trace.cpp.
|
inline |
Definition at line 170 of file goto_trace.h.
|
inline |
Definition at line 189 of file goto_trace.h.
irep_idt goto_tracet::mode |
Definition at line 156 of file goto_trace.h.
stepst goto_tracet::steps |
Definition at line 154 of file goto_trace.h.