\hypertarget{classgymbosat_1_1Var}{}\doxysection{gymbosat\+::Var Class Reference}
\label{classgymbosat_1_1Var}\index{gymbosat::Var@{gymbosat::Var}}


Class representing a variable in a logical expression.  




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



Inheritance diagram for gymbosat\+::Var\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=193pt]{classgymbosat_1_1Var__inherit__graph}
\end{center}
\end{figure}


Collaboration diagram for gymbosat\+::Var\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=193pt]{classgymbosat_1_1Var__coll__graph}
\end{center}
\end{figure}
\doxysubsection*{Public Member Functions}
\begin{DoxyCompactItemize}
\item 
\mbox{\hyperlink{classgymbosat_1_1Var_a1edb862e80c7ba3865da7f929f9ce48c}{Var}} (std\+::string \mbox{\hyperlink{classgymbosat_1_1Var_a3e0fd6fa0fdb3a52b73624e7143f92a5}{name}})
\item 
std\+::string \mbox{\hyperlink{classgymbosat_1_1Var_ab22296034c16195902c0bb01799722e1}{to\+\_\+string}} () override
\begin{DoxyCompactList}\small\item\em Convert the logical expression to a string representation. \end{DoxyCompactList}\item 
std\+::pair$<$ bool, std\+::string $>$ \mbox{\hyperlink{classgymbosat_1_1Var_a9e013c99cdc05adb8fd2d046290a7688}{free\+Var}} () override
\begin{DoxyCompactList}\small\item\em Identify and return free variables in the logical expression. \end{DoxyCompactList}\item 
std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ \mbox{\hyperlink{classgymbosat_1_1Var_acf837760d8d850b190c7ad753e4523db}{simplify}} () override
\begin{DoxyCompactList}\small\item\em Simplify the logical expression. \end{DoxyCompactList}\item 
bool \mbox{\hyperlink{classgymbosat_1_1Var_afc1c37653dcc96843e60eb4f858acdcf}{evaluate}} () override
\begin{DoxyCompactList}\small\item\em Evaluate the logical expression. \end{DoxyCompactList}\item 
bool \mbox{\hyperlink{classgymbosat_1_1Var_a48452af858f886d121455123176cbb63}{un\+Const}} () override
\begin{DoxyCompactList}\small\item\em Check if the logical expression can be simplified by removing constants. \end{DoxyCompactList}\item 
std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ \mbox{\hyperlink{classgymbosat_1_1Var_a3c80f5b944b13a7300fd1369a38575bc}{guess\+Var}} (std\+::string var, bool val) override
\begin{DoxyCompactList}\small\item\em Make a guess for a variable\textquotesingle{}s value and return the resulting expression. \end{DoxyCompactList}\item 
std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ \mbox{\hyperlink{classgymbosat_1_1Var_add2327d5589081e788e3d9e6d9ad0bc4}{fix\+Negations}} () override
\begin{DoxyCompactList}\small\item\em Fix negations in the logical expression. \end{DoxyCompactList}\item 
std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ \mbox{\hyperlink{classgymbosat_1_1Var_a9aa0f8574edf2af2a2fb9bff7b235eb0}{distribute}} () override
\begin{DoxyCompactList}\small\item\em Distribute operations in the logical expression. \end{DoxyCompactList}\item 
std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ \mbox{\hyperlink{classgymbosat_1_1Var_ac17b0f31d32f20b86becd38ea546f223}{get\+Left}} () override
\begin{DoxyCompactList}\small\item\em Get the left child expression. \end{DoxyCompactList}\item 
std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ \mbox{\hyperlink{classgymbosat_1_1Var_a46c34d8f668e561c6c78279a1246ccef}{get\+Right}} () override
\begin{DoxyCompactList}\small\item\em Get the right child expression. \end{DoxyCompactList}\item 
std\+::unordered\+\_\+set$<$ std\+::string $>$ \mbox{\hyperlink{classgymbosat_1_1Var_a695a80ac8aea702f65bbc5ba0d34ab60}{literals}} () override
\begin{DoxyCompactList}\small\item\em Get the literals present in the logical expression. \end{DoxyCompactList}\item 
std\+::unordered\+\_\+map$<$ std\+::string, \mbox{\hyperlink{namespacegymbosat_ab93a240afc8d89ec25d1bb528545f6d2}{Polarity}} $>$ \mbox{\hyperlink{classgymbosat_1_1Var_a4429d6094daba3dd3278166676540a01}{literal\+Polarity}} (std\+::string var) override
\begin{DoxyCompactList}\small\item\em Get the polarities of literals with respect to a specific variable. \end{DoxyCompactList}\item 
std\+::pair$<$ std\+::string, bool $>$ \mbox{\hyperlink{classgymbosat_1_1Var_aa59b38a82e6b503c295635c0dc68adef}{unit\+Clause}} () override
\begin{DoxyCompactList}\small\item\em Get a unit clause from the logical expression. \end{DoxyCompactList}\item 
std\+::vector$<$ std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ $>$ \mbox{\hyperlink{classgymbosat_1_1Var_a02163d40505204998ef8f84dd256c2a5}{clauses}} () override
\begin{DoxyCompactList}\small\item\em Get a vector of clauses present in the logical expression. \end{DoxyCompactList}\end{DoxyCompactItemize}
\doxysubsection*{Private Attributes}
\begin{DoxyCompactItemize}
\item 
std\+::string \mbox{\hyperlink{classgymbosat_1_1Var_a3e0fd6fa0fdb3a52b73624e7143f92a5}{name}}
\end{DoxyCompactItemize}
\doxysubsection*{Additional Inherited Members}


\doxysubsection{Detailed Description}
Class representing a variable in a logical expression. 

\doxysubsection{Constructor \& Destructor Documentation}
\mbox{\Hypertarget{classgymbosat_1_1Var_a1edb862e80c7ba3865da7f929f9ce48c}\label{classgymbosat_1_1Var_a1edb862e80c7ba3865da7f929f9ce48c}} 
\index{gymbosat::Var@{gymbosat::Var}!Var@{Var}}
\index{Var@{Var}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{Var()}{Var()}}
{\footnotesize\ttfamily gymbosat\+::\+Var\+::\+Var (\begin{DoxyParamCaption}\item[{std\+::string}]{name }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}}



\doxysubsection{Member Function Documentation}
\mbox{\Hypertarget{classgymbosat_1_1Var_a02163d40505204998ef8f84dd256c2a5}\label{classgymbosat_1_1Var_a02163d40505204998ef8f84dd256c2a5}} 
\index{gymbosat::Var@{gymbosat::Var}!clauses@{clauses}}
\index{clauses@{clauses}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{clauses()}{clauses()}}
{\footnotesize\ttfamily std\+::vector$<$std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ $>$ gymbosat\+::\+Var\+::clauses (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Get a vector of clauses present in the logical expression. 

\begin{DoxyReturn}{Returns}
Vector of shared pointers to clause expressions. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_a2546fb8aae5d6557ff7b7063dcc94562}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_a9aa0f8574edf2af2a2fb9bff7b235eb0}\label{classgymbosat_1_1Var_a9aa0f8574edf2af2a2fb9bff7b235eb0}} 
\index{gymbosat::Var@{gymbosat::Var}!distribute@{distribute}}
\index{distribute@{distribute}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{distribute()}{distribute()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Var\+::distribute (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Distribute operations in the logical expression. 

\begin{DoxyReturn}{Returns}
Shared pointer to the logical expression with distributed operations. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_a5c20f014cd61f3849fa5426747314008}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_afc1c37653dcc96843e60eb4f858acdcf}\label{classgymbosat_1_1Var_afc1c37653dcc96843e60eb4f858acdcf}} 
\index{gymbosat::Var@{gymbosat::Var}!evaluate@{evaluate}}
\index{evaluate@{evaluate}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{evaluate()}{evaluate()}}
{\footnotesize\ttfamily bool gymbosat\+::\+Var\+::evaluate (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Evaluate the logical expression. 

\begin{DoxyReturn}{Returns}
Result of the logical evaluation. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_ac1a7a99cbd57909be8d51e70524d156b}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_add2327d5589081e788e3d9e6d9ad0bc4}\label{classgymbosat_1_1Var_add2327d5589081e788e3d9e6d9ad0bc4}} 
\index{gymbosat::Var@{gymbosat::Var}!fixNegations@{fixNegations}}
\index{fixNegations@{fixNegations}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{fixNegations()}{fixNegations()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Var\+::fix\+Negations (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Fix negations in the logical expression. 

\begin{DoxyReturn}{Returns}
Shared pointer to the logical expression with fixed negations. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_a2375384f892329d64455a54c7e3ddb27}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_a9e013c99cdc05adb8fd2d046290a7688}\label{classgymbosat_1_1Var_a9e013c99cdc05adb8fd2d046290a7688}} 
\index{gymbosat::Var@{gymbosat::Var}!freeVar@{freeVar}}
\index{freeVar@{freeVar}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{freeVar()}{freeVar()}}
{\footnotesize\ttfamily std\+::pair$<$bool, std\+::string$>$ gymbosat\+::\+Var\+::free\+Var (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Identify and return free variables in the logical expression. 

\begin{DoxyReturn}{Returns}
Pair indicating if there are free variables and the first free variable found. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_a92753531910a25ff11c257e0044436fd}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_ac17b0f31d32f20b86becd38ea546f223}\label{classgymbosat_1_1Var_ac17b0f31d32f20b86becd38ea546f223}} 
\index{gymbosat::Var@{gymbosat::Var}!getLeft@{getLeft}}
\index{getLeft@{getLeft}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{getLeft()}{getLeft()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Var\+::get\+Left (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Get the left child expression. 

\begin{DoxyReturn}{Returns}
Shared pointer to the left child expression. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_a18774dd94770cedef7544c47a6ead2f9}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_a46c34d8f668e561c6c78279a1246ccef}\label{classgymbosat_1_1Var_a46c34d8f668e561c6c78279a1246ccef}} 
\index{gymbosat::Var@{gymbosat::Var}!getRight@{getRight}}
\index{getRight@{getRight}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{getRight()}{getRight()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Var\+::get\+Right (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Get the right child expression. 

\begin{DoxyReturn}{Returns}
Shared pointer to the right child expression. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_ab4433deb961131f650ce86fb32136cad}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_a3c80f5b944b13a7300fd1369a38575bc}\label{classgymbosat_1_1Var_a3c80f5b944b13a7300fd1369a38575bc}} 
\index{gymbosat::Var@{gymbosat::Var}!guessVar@{guessVar}}
\index{guessVar@{guessVar}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{guessVar()}{guessVar()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ gymbosat\+::\+Var\+::guess\+Var (\begin{DoxyParamCaption}\item[{std\+::string}]{var,  }\item[{bool}]{val }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Make a guess for a variable\textquotesingle{}s value and return the resulting expression. 


\begin{DoxyParams}{Parameters}
{\em var} & Variable name. \\
\hline
{\em val} & Guessed value for the variable. \\
\hline
\end{DoxyParams}
\begin{DoxyReturn}{Returns}
Shared pointer to the resulting logical expression. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_a4d946a615d7d11020d5c9f0ee8fff135}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_a4429d6094daba3dd3278166676540a01}\label{classgymbosat_1_1Var_a4429d6094daba3dd3278166676540a01}} 
\index{gymbosat::Var@{gymbosat::Var}!literalPolarity@{literalPolarity}}
\index{literalPolarity@{literalPolarity}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{literalPolarity()}{literalPolarity()}}
{\footnotesize\ttfamily std\+::unordered\+\_\+map$<$std\+::string, \mbox{\hyperlink{namespacegymbosat_ab93a240afc8d89ec25d1bb528545f6d2}{Polarity}}$>$ gymbosat\+::\+Var\+::literal\+Polarity (\begin{DoxyParamCaption}\item[{std\+::string}]{var }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Get the polarities of literals with respect to a specific variable. 


\begin{DoxyParams}{Parameters}
{\em var} & Variable name. \\
\hline
\end{DoxyParams}
\begin{DoxyReturn}{Returns}
Unordered map of literals to their polarities. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_adea7d5e5285df79237a4b72a8b82c66d}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_a695a80ac8aea702f65bbc5ba0d34ab60}\label{classgymbosat_1_1Var_a695a80ac8aea702f65bbc5ba0d34ab60}} 
\index{gymbosat::Var@{gymbosat::Var}!literals@{literals}}
\index{literals@{literals}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{literals()}{literals()}}
{\footnotesize\ttfamily std\+::unordered\+\_\+set$<$std\+::string$>$ gymbosat\+::\+Var\+::literals (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Get the literals present in the logical expression. 

\begin{DoxyReturn}{Returns}
Unordered set of literals. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_aa7775d2a1555fd55529b1ed699ca84ea}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_acf837760d8d850b190c7ad753e4523db}\label{classgymbosat_1_1Var_acf837760d8d850b190c7ad753e4523db}} 
\index{gymbosat::Var@{gymbosat::Var}!simplify@{simplify}}
\index{simplify@{simplify}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{simplify()}{simplify()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Var\+::simplify (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Simplify the logical expression. 

\begin{DoxyReturn}{Returns}
Shared pointer to the simplified logical expression. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_a480cdd6cc0f3750b2b801e33b8950628}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_ab22296034c16195902c0bb01799722e1}\label{classgymbosat_1_1Var_ab22296034c16195902c0bb01799722e1}} 
\index{gymbosat::Var@{gymbosat::Var}!to\_string@{to\_string}}
\index{to\_string@{to\_string}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{to\_string()}{to\_string()}}
{\footnotesize\ttfamily std\+::string gymbosat\+::\+Var\+::to\+\_\+string (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Convert the logical expression to a string representation. 

\begin{DoxyReturn}{Returns}
String representation of the logical expression. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_a85bcfafb66b9e5fde802840c213fbcec}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_a48452af858f886d121455123176cbb63}\label{classgymbosat_1_1Var_a48452af858f886d121455123176cbb63}} 
\index{gymbosat::Var@{gymbosat::Var}!unConst@{unConst}}
\index{unConst@{unConst}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{unConst()}{unConst()}}
{\footnotesize\ttfamily bool gymbosat\+::\+Var\+::un\+Const (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Check if the logical expression can be simplified by removing constants. 

\begin{DoxyReturn}{Returns}
True if the expression can be simplified, false otherwise. 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_a462170452606863e487f0807be83a96a}{gymbosat\+::\+Expr}}.

\mbox{\Hypertarget{classgymbosat_1_1Var_aa59b38a82e6b503c295635c0dc68adef}\label{classgymbosat_1_1Var_aa59b38a82e6b503c295635c0dc68adef}} 
\index{gymbosat::Var@{gymbosat::Var}!unitClause@{unitClause}}
\index{unitClause@{unitClause}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{unitClause()}{unitClause()}}
{\footnotesize\ttfamily std\+::pair$<$std\+::string, bool$>$ gymbosat\+::\+Var\+::unit\+Clause (\begin{DoxyParamCaption}{ }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}, {\ttfamily [override]}, {\ttfamily [virtual]}}



Get a unit clause from the logical expression. 

\begin{DoxyReturn}{Returns}
Pair representing a unit clause\+: (literal, value). 
\end{DoxyReturn}


Implements \mbox{\hyperlink{classgymbosat_1_1Expr_a766c9fc6f0ac28161a19e7a7184f61b6}{gymbosat\+::\+Expr}}.



\doxysubsection{Member Data Documentation}
\mbox{\Hypertarget{classgymbosat_1_1Var_a3e0fd6fa0fdb3a52b73624e7143f92a5}\label{classgymbosat_1_1Var_a3e0fd6fa0fdb3a52b73624e7143f92a5}} 
\index{gymbosat::Var@{gymbosat::Var}!name@{name}}
\index{name@{name}!gymbosat::Var@{gymbosat::Var}}
\doxysubsubsection{\texorpdfstring{name}{name}}
{\footnotesize\ttfamily std\+::string gymbosat\+::\+Var\+::name\hspace{0.3cm}{\ttfamily [private]}}



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