goto_tracet Class Reference


#include <goto_trace.h>

+ Collaboration diagram for goto_tracet:

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)
goto_trace_steptget_last_step ()
void trim_after (stepst::iterator s)

Public Attributes

stepst steps
irep_idt mode

Detailed Description


Definition at line 150 of file goto_trace.h.

Member Typedef Documentation

◆ stepst

Definition at line 153 of file goto_trace.h.

Member Function Documentation

◆ add_step()

void goto_tracet::add_step ( const goto_trace_stept step)

Definition at line 176 of file goto_trace.h.

◆ clear()

void goto_tracet::clear ( void  )

Definition at line 158 of file goto_trace.h.

◆ get_last_step()

goto_trace_stept& goto_tracet::get_last_step ( )

Definition at line 183 of file goto_trace.h.

◆ 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 47 of file goto_trace.cpp.

◆ swap()

void goto_tracet::swap ( goto_tracet other)

Definition at line 170 of file goto_trace.h.

◆ trim_after()

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

Definition at line 189 of file goto_trace.h.

Member Data Documentation

◆ mode

irep_idt goto_tracet::mode

Definition at line 156 of file goto_trace.h.

◆ steps

stepst goto_tracet::steps

Definition at line 154 of file goto_trace.h.

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