\hypertarget{smt_8h}{}\doxysection{libgymbo/smt.h File Reference}
\label{smt_8h}\index{libgymbo/smt.h@{libgymbo/smt.h}}


Core implementation of gradient-\/based smt solver.  


{\ttfamily \#include \char`\"{}gd.\+h\char`\"{}}\newline
{\ttfamily \#include \char`\"{}sat.\+h\char`\"{}}\newline
Include dependency graph for smt.\+h\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=350pt]{smt_8h__incl}
\end{center}
\end{figure}
This graph shows which files directly or indirectly include this file\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=205pt]{smt_8h__dep__incl}
\end{center}
\end{figure}
\doxysubsection*{Namespaces}
\begin{DoxyCompactItemize}
\item 
 \mbox{\hyperlink{namespacegymbo}{gymbo}}
\end{DoxyCompactItemize}
\doxysubsection*{Functions}
\begin{DoxyCompactItemize}
\item 
void \mbox{\hyperlink{namespacegymbo_a50a6f585caaa9c8ca66826268b46dcc9}{gymbo\+::initialize\+\_\+params}} (std\+::unordered\+\_\+map$<$ int, float $>$ \&params, Sym\+State \&state, bool ignore\+\_\+memory)
\begin{DoxyCompactList}\small\item\em Initialize Parameter Values from Memory. \end{DoxyCompactList}\item 
void \mbox{\hyperlink{namespacegymbo_a63b32e7da04b65b80a7eafb27af0714a}{gymbo\+::smt\+\_\+union\+\_\+solver}} (bool \&is\+\_\+sat, Sym\+State \&state, std\+::unordered\+\_\+map$<$ int, float $>$ \&params, GDOptimizer \&optimizer, int max\+\_\+num\+\_\+trials, bool ignore\+\_\+memory)
\begin{DoxyCompactList}\small\item\em SMT Solver with Unified Loss Function. \end{DoxyCompactList}\item 
void \mbox{\hyperlink{namespacegymbo_acbe8003da6e623ec5435c2b7c92c092a}{gymbo\+::smt\+\_\+dpll\+\_\+solver}} (bool \&is\+\_\+sat, Sym\+State \&state, std\+::unordered\+\_\+map$<$ int, float $>$ \&params, GDOptimizer \&optimizer, int max\+\_\+num\+\_\+trials, bool ignore\+\_\+memory)
\begin{DoxyCompactList}\small\item\em SMT Solver using DPLL as its backend. \end{DoxyCompactList}\end{DoxyCompactItemize}


\doxysubsection{Detailed Description}
Core implementation of gradient-\/based smt solver. 

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