cprover
goto_tracet Class Reference

TO_BE_DOCUMENTED. More...

#include <goto_trace.h>

Collaboration diagram for goto_tracet:
[legend]

Public Types

typedef std::list< goto_trace_steptstepst
 

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
 

Detailed Description

TO_BE_DOCUMENTED.

Definition at line 146 of file goto_trace.h.

Member Typedef Documentation

§ stepst

Definition at line 149 of file goto_trace.h.

Member Function Documentation

§ add_step()

void goto_tracet::add_step ( const goto_trace_stept step)
inline

Definition at line 172 of file goto_trace.h.

Referenced by build_goto_trace().

§ clear()

void goto_tracet::clear ( void  )
inline

Definition at line 154 of file goto_trace.h.

References dstringt::clear(), and goto_trace_stept::output().

§ output()

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.

§ swap()

void goto_tracet::swap ( goto_tracet other)
inline

Definition at line 166 of file goto_trace.h.

References mode, steps, and dstringt::swap().

§ trim_after()

void goto_tracet::trim_after ( stepst::iterator  s)
inline

Member Data Documentation

§ mode

irep_idt goto_tracet::mode

Definition at line 152 of file goto_trace.h.

Referenced by swap().

§ steps


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