goto_tracet Class Reference

#include <goto_trace.h>

Public Types
typedef std::list< goto_trace_stept >	stepst
typedef std::map< std::string, std::string, std::less< std::string > >	mid

Public Member Functions
void	clear ()
void	output (const class namespacet &ns, std::ostream &out) const

Public Attributes
stepst	steps
std::string	mode

Member Typedef Documentation

mid

typedef std::map<std::string, std::string, std::less<std::string> > goto_tracet::mid

stepst

typedef std::list<goto_trace_stept> goto_tracet::stepst

Member Function Documentation

clear()

void goto_tracet::clear ( )

inline

output()

void goto_tracet::output	(	const class namespacet &	ns,
		std::ostream &	out ) const

Member Data Documentation

mode

std::string goto_tracet::mode

steps

stepst goto_tracet::steps

---

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

• src/goto-symex/trace/goto_trace.h
• src/goto-symex/trace/goto_trace.cpp