\hypertarget{psymbolic_8h}{}\doxysection{libgymbo/psymbolic.h File Reference}
\label{psymbolic_8h}\index{libgymbo/psymbolic.h@{libgymbo/psymbolic.h}}


Implementation of symbolic execution for randomized programs.  


{\ttfamily \#include \char`\"{}symbolic.\+h\char`\"{}}\newline
Include dependency graph for psymbolic.\+h\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=350pt]{psymbolic_8h__incl}
\end{center}
\end{figure}
\doxysubsection*{Classes}
\begin{DoxyCompactItemize}
\item 
struct \mbox{\hyperlink{structgymbo_1_1PSExecutor}{gymbo\+::\+PSExecutor}}
\begin{DoxyCompactList}\small\item\em Represents a derived class for symbolic execution engine for probabilistic programs. \end{DoxyCompactList}\end{DoxyCompactItemize}
\doxysubsection*{Namespaces}
\begin{DoxyCompactItemize}
\item 
 \mbox{\hyperlink{namespacegymbo}{gymbo}}
\end{DoxyCompactItemize}
\doxysubsection*{Functions}
\begin{DoxyCompactItemize}
\item 
void \mbox{\hyperlink{namespacegymbo_a3b2c855687acd2541bb6d6bcbf80a9cb}{gymbo\+::pbranch}} (Sym\+State \&state)
\begin{DoxyCompactList}\small\item\em Perform probabilistic branching based on symbolic execution. \end{DoxyCompactList}\item 
void \mbox{\hyperlink{namespacegymbo_ac945fcc71ddc6b734f8444f51d21f219}{gymbo\+::verbose\+\_\+pconstraints}} (int verbose\+\_\+level, bool is\+\_\+unknown\+\_\+path\+\_\+constraint, bool is\+\_\+target, bool is\+\_\+sat, int pc, std\+::string constraints\+\_\+str, Sym\+State \&state, const std\+::unordered\+\_\+map$<$ int, float $>$ \&params)
\begin{DoxyCompactList}\small\item\em Prints verbose information about probabilistic path constraints. \end{DoxyCompactList}\item 
void \mbox{\hyperlink{namespacegymbo_a9f454957ed3d5dc4ac39c4624c90c14a}{gymbo\+::update\+\_\+prob\+\_\+constraints\+\_\+table}} (int pc, Sym\+State \&state, Prob\+Path\+Constraints\+Table \&prob\+\_\+constraints\+\_\+table)
\begin{DoxyCompactList}\small\item\em Updates the table of probabilistic path constraints. \end{DoxyCompactList}\end{DoxyCompactItemize}


\doxysubsection{Detailed Description}
Implementation of symbolic execution for randomized programs. 

\begin{DoxyAuthor}{Author}
Hideaki Takahashi 
\end{DoxyAuthor}
