\hypertarget{structgymbo_1_1Trace}{}\doxysection{gymbo\+::Trace Struct Reference}
\label{structgymbo_1_1Trace}\index{gymbo::Trace@{gymbo::Trace}}


Struct representing a trace in symbolic execution.  




{\ttfamily \#include $<$type.\+h$>$}



Collaboration diagram for gymbo\+::Trace\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=310pt]{structgymbo_1_1Trace__coll__graph}
\end{center}
\end{figure}
\doxysubsection*{Public Member Functions}
\begin{DoxyCompactItemize}
\item 
\mbox{\hyperlink{structgymbo_1_1Trace_a27b719523e78bb13c5eea72198120c9e}{Trace}} (\mbox{\hyperlink{structgymbo_1_1SymState}{Sym\+State}} \mbox{\hyperlink{structgymbo_1_1Trace_ad9b5444a17855f7ca400c381cf722ce0}{data}}, std\+::vector$<$ \mbox{\hyperlink{structgymbo_1_1Trace}{Trace}} $>$ \mbox{\hyperlink{structgymbo_1_1Trace_ad6bd2092e3b5f010bd89e253c8bdd0aa}{children}})
\begin{DoxyCompactList}\small\item\em Constructor for a trace. \end{DoxyCompactList}\item 
void \mbox{\hyperlink{structgymbo_1_1Trace_abfab1f15a01a93695d94770cdd36c14f}{print}} (int indent\+\_\+cnt=0) const
\begin{DoxyCompactList}\small\item\em Prints a human-\/readable representation of the trace. \end{DoxyCompactList}\end{DoxyCompactItemize}
\doxysubsection*{Public Attributes}
\begin{DoxyCompactItemize}
\item 
\mbox{\hyperlink{structgymbo_1_1SymState}{Sym\+State}} \mbox{\hyperlink{structgymbo_1_1Trace_ad9b5444a17855f7ca400c381cf722ce0}{data}}
\item 
std\+::vector$<$ \mbox{\hyperlink{structgymbo_1_1Trace}{Trace}} $>$ \mbox{\hyperlink{structgymbo_1_1Trace_ad6bd2092e3b5f010bd89e253c8bdd0aa}{children}}
\end{DoxyCompactItemize}


\doxysubsection{Detailed Description}
Struct representing a trace in symbolic execution. 

\doxysubsection{Constructor \& Destructor Documentation}
\mbox{\Hypertarget{structgymbo_1_1Trace_a27b719523e78bb13c5eea72198120c9e}\label{structgymbo_1_1Trace_a27b719523e78bb13c5eea72198120c9e}} 
\index{gymbo::Trace@{gymbo::Trace}!Trace@{Trace}}
\index{Trace@{Trace}!gymbo::Trace@{gymbo::Trace}}
\doxysubsubsection{\texorpdfstring{Trace()}{Trace()}}
{\footnotesize\ttfamily gymbo\+::\+Trace\+::\+Trace (\begin{DoxyParamCaption}\item[{\mbox{\hyperlink{structgymbo_1_1SymState}{Sym\+State}}}]{data,  }\item[{std\+::vector$<$ \mbox{\hyperlink{structgymbo_1_1Trace}{Trace}} $>$}]{children }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}}



Constructor for a trace. 


\begin{DoxyParams}{Parameters}
{\em data} & Symbolic state of the trace. \\
\hline
{\em children} & Children traces. \\
\hline
\end{DoxyParams}


\doxysubsection{Member Function Documentation}
\mbox{\Hypertarget{structgymbo_1_1Trace_abfab1f15a01a93695d94770cdd36c14f}\label{structgymbo_1_1Trace_abfab1f15a01a93695d94770cdd36c14f}} 
\index{gymbo::Trace@{gymbo::Trace}!print@{print}}
\index{print@{print}!gymbo::Trace@{gymbo::Trace}}
\doxysubsubsection{\texorpdfstring{print()}{print()}}
{\footnotesize\ttfamily void gymbo\+::\+Trace\+::print (\begin{DoxyParamCaption}\item[{int}]{indent\+\_\+cnt = {\ttfamily 0} }\end{DoxyParamCaption}) const\hspace{0.3cm}{\ttfamily [inline]}}



Prints a human-\/readable representation of the trace. 


\begin{DoxyParams}{Parameters}
{\em indent\+\_\+cnt} & Number of spaces to indent the output. \\
\hline
\end{DoxyParams}


\doxysubsection{Member Data Documentation}
\mbox{\Hypertarget{structgymbo_1_1Trace_ad6bd2092e3b5f010bd89e253c8bdd0aa}\label{structgymbo_1_1Trace_ad6bd2092e3b5f010bd89e253c8bdd0aa}} 
\index{gymbo::Trace@{gymbo::Trace}!children@{children}}
\index{children@{children}!gymbo::Trace@{gymbo::Trace}}
\doxysubsubsection{\texorpdfstring{children}{children}}
{\footnotesize\ttfamily std\+::vector$<$\mbox{\hyperlink{structgymbo_1_1Trace}{Trace}}$>$ gymbo\+::\+Trace\+::children}

Children traces. \mbox{\Hypertarget{structgymbo_1_1Trace_ad9b5444a17855f7ca400c381cf722ce0}\label{structgymbo_1_1Trace_ad9b5444a17855f7ca400c381cf722ce0}} 
\index{gymbo::Trace@{gymbo::Trace}!data@{data}}
\index{data@{data}!gymbo::Trace@{gymbo::Trace}}
\doxysubsubsection{\texorpdfstring{data}{data}}
{\footnotesize\ttfamily \mbox{\hyperlink{structgymbo_1_1SymState}{Sym\+State}} gymbo\+::\+Trace\+::data}

Symbolic state of the trace. 

The documentation for this struct was generated from the following file\+:\begin{DoxyCompactItemize}
\item 
libgymbo/\mbox{\hyperlink{type_8h}{type.\+h}}\end{DoxyCompactItemize}
