gymbo::Trace Struct Reference

Struct representing a trace in symbolic execution. More...

#include <type.h>

Collaboration diagram for gymbo::Trace:

Public Member Functions
	Trace (SymState data, std::vector< Trace > children)
	Constructor for a trace. More...
void	print (int indent_cnt=0) const
	Prints a human-readable representation of the trace. More...

Public Attributes
SymState	data
std::vector< Trace >	children

Detailed Description

Struct representing a trace in symbolic execution.

Constructor & Destructor Documentation

Trace()

gymbo::Trace::Trace ( SymState  data, std::vector< Trace >  children  )

inline

Constructor for a trace.

Parameters

data	Symbolic state of the trace.
children	Children traces.

Member Function Documentation

print()

void gymbo::Trace::print ( int  indent_cnt = 0 ) const

inline

Prints a human-readable representation of the trace.

Parameters

indent_cnt

Number of spaces to indent the output.

Member Data Documentation

children

std::vector<Trace> gymbo::Trace::children

Children traces.

data

SymState gymbo::Trace::data

Symbolic state of the trace.

---

The documentation for this struct was generated from the following file:

• libgymbo/type.h