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) |
void | trim_after (stepst::iterator s) |
Public Attributes | |
stepst | steps |
irep_idt | mode |
TO_BE_DOCUMENTED.
Definition at line 146 of file goto_trace.h.
typedef std::list<goto_trace_stept> goto_tracet::stepst |
Definition at line 149 of file goto_trace.h.
|
inline |
|
inline |
Definition at line 154 of file goto_trace.h.
References dstringt::clear(), mode, and steps.
void goto_tracet::output | ( | const class namespacet & | ns, |
std::ostream & | out | ||
) | const |
outputs the trace in ASCII to a given stream
Definition at line 25 of file goto_trace.cpp.
References steps.
|
inline |
Definition at line 166 of file goto_trace.h.
References mode, steps, and dstringt::swap().
|
inline |
irep_idt goto_tracet::mode |
Definition at line 152 of file goto_trace.h.
stepst goto_tracet::steps |
Definition at line 150 of file goto_trace.h.
Referenced by add_step(), build_goto_trace(), clear(), convert(), bmct::error_trace(), filter_out(), symex_parse_optionst::get_test(), bmc_covert::get_test(), graphml_witnesst::operator()(), output(), output_vcd(), bmc_covert::satisfying_assignment(), show_goto_trace(), swap(), and trim_after().