goto_tracet Class Reference

TO_BE_DOCUMENTED. More...

#include <goto_trace.h>

Collaboration diagram for goto_tracet:

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

Detailed Description

TO_BE_DOCUMENTED.

Definition at line 150 of file goto_trace.h.

Member Typedef Documentation

stepst

typedef std::list<goto_trace_stept> goto_tracet::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 47 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:

• goto-programs/goto_trace.h
• goto-programs/goto_trace.cpp