cprover
goto_tracet Class Reference

TO_BE_DOCUMENTED. More...

#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

TO_BE_DOCUMENTED.

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)
inline

Definition at line 176 of file goto_trace.h.

◆ clear()

void goto_tracet::clear ( void  )
inline

Definition at line 158 of file goto_trace.h.

◆ get_last_step()

goto_trace_stept& goto_tracet::get_last_step ( )
inline

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

◆ swap()

void goto_tracet::swap ( goto_tracet other)
inline

Definition at line 170 of file goto_trace.h.

◆ trim_after()

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

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: