\hypertarget{classgymbosat_1_1Not}{}\doxysection{gymbosat\+::Not Class Reference}
\label{classgymbosat_1_1Not}\index{gymbosat::Not@{gymbosat::Not}}


Class representing the logical NOT operation.  




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



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


Collaboration diagram for gymbosat\+::Not\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=193pt]{classgymbosat_1_1Not__coll__graph}
\end{center}
\end{figure}
\doxysubsection*{Public Member Functions}
\begin{DoxyCompactItemize}
\item 
\mbox{\hyperlink{classgymbosat_1_1Not_a20320e76d948d9e1cf8260de290d198d}{Not}} (std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ \mbox{\hyperlink{classgymbosat_1_1Not_aaf311f53a236e2cd79793dcff6f1858a}{expr}})
\begin{DoxyCompactList}\small\item\em Constructor for the \mbox{\hyperlink{classgymbosat_1_1Not}{Not}} class. \end{DoxyCompactList}\item 
std\+::string \mbox{\hyperlink{classgymbosat_1_1Not_a438829c52493f67c99cd4a85e78f03d6}{to\+\_\+string}} () override
\begin{DoxyCompactList}\small\item\em Convert the logical expression to a string representation. \end{DoxyCompactList}\item 
bool \mbox{\hyperlink{classgymbosat_1_1Not_af385cdf6a30697616f06076a9296f76b}{evaluate}} () override
\begin{DoxyCompactList}\small\item\em Evaluate the logical expression. \end{DoxyCompactList}\item 
std\+::pair$<$ bool, std\+::string $>$ \mbox{\hyperlink{classgymbosat_1_1Not_a1a3cf41e3c56d6d9e34596ee197113f4}{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_1Not_a4e0167e2446c6877737d08a70c2935a6}{distribute}} () override
\begin{DoxyCompactList}\small\item\em Distribute operations in the logical expression. \end{DoxyCompactList}\item 
bool \mbox{\hyperlink{classgymbosat_1_1Not_a5d09bc42cae0a9bf522c5375d7ba8f70}{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_1Not_a9411b71780dbf0939b2dd05bfbd72c16}{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_1Not_a402c8546fa63d62322f4dc3b31e62545}{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_1Not_a63945cef5d7a9392692fa66d161f8503}{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_1Not_a72d8ea4e686aae68caa22145edb196b1}{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_1Not_a4118ba387b374d8e8940a64db34941f9}{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_1Not_ae44c912be809762fbeeeba4326bd0f2f}{clauses}} () override
\begin{DoxyCompactList}\small\item\em Get a vector of clauses present in the logical expression. \end{DoxyCompactList}\item 
std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ \mbox{\hyperlink{classgymbosat_1_1Not_af1617752e83d03bcfab93d5d0d31aa37}{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_1Not_a4b17bfb2c1ff0c48922a9366dd124f84}{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_1Not_a4f169fc86479de1a37f7866fe5b8a015}{simplify}} () override
\begin{DoxyCompactList}\small\item\em Simplify the logical expression. \end{DoxyCompactList}\end{DoxyCompactItemize}
\doxysubsection*{Private Attributes}
\begin{DoxyCompactItemize}
\item 
std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ \mbox{\hyperlink{classgymbosat_1_1Not_aaf311f53a236e2cd79793dcff6f1858a}{expr}}
\end{DoxyCompactItemize}
\doxysubsection*{Additional Inherited Members}


\doxysubsection{Detailed Description}
Class representing the logical NOT operation. 

\doxysubsection{Constructor \& Destructor Documentation}
\mbox{\Hypertarget{classgymbosat_1_1Not_a20320e76d948d9e1cf8260de290d198d}\label{classgymbosat_1_1Not_a20320e76d948d9e1cf8260de290d198d}} 
\index{gymbosat::Not@{gymbosat::Not}!Not@{Not}}
\index{Not@{Not}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{Not()}{Not()}}
{\footnotesize\ttfamily gymbosat\+::\+Not\+::\+Not (\begin{DoxyParamCaption}\item[{std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$}]{expr }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}}



Constructor for the \mbox{\hyperlink{classgymbosat_1_1Not}{Not}} class. 


\begin{DoxyParams}{Parameters}
{\em expr} & Child expression to negate. \\
\hline
\end{DoxyParams}


\doxysubsection{Member Function Documentation}
\mbox{\Hypertarget{classgymbosat_1_1Not_ae44c912be809762fbeeeba4326bd0f2f}\label{classgymbosat_1_1Not_ae44c912be809762fbeeeba4326bd0f2f}} 
\index{gymbosat::Not@{gymbosat::Not}!clauses@{clauses}}
\index{clauses@{clauses}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{clauses()}{clauses()}}
{\footnotesize\ttfamily std\+::vector$<$std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ $>$ gymbosat\+::\+Not\+::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_1Not_a4e0167e2446c6877737d08a70c2935a6}\label{classgymbosat_1_1Not_a4e0167e2446c6877737d08a70c2935a6}} 
\index{gymbosat::Not@{gymbosat::Not}!distribute@{distribute}}
\index{distribute@{distribute}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{distribute()}{distribute()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Not\+::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_1Not_af385cdf6a30697616f06076a9296f76b}\label{classgymbosat_1_1Not_af385cdf6a30697616f06076a9296f76b}} 
\index{gymbosat::Not@{gymbosat::Not}!evaluate@{evaluate}}
\index{evaluate@{evaluate}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{evaluate()}{evaluate()}}
{\footnotesize\ttfamily bool gymbosat\+::\+Not\+::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_1Not_af1617752e83d03bcfab93d5d0d31aa37}\label{classgymbosat_1_1Not_af1617752e83d03bcfab93d5d0d31aa37}} 
\index{gymbosat::Not@{gymbosat::Not}!fixNegations@{fixNegations}}
\index{fixNegations@{fixNegations}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{fixNegations()}{fixNegations()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ gymbosat\+::\+Not\+::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_1Not_a1a3cf41e3c56d6d9e34596ee197113f4}\label{classgymbosat_1_1Not_a1a3cf41e3c56d6d9e34596ee197113f4}} 
\index{gymbosat::Not@{gymbosat::Not}!freeVar@{freeVar}}
\index{freeVar@{freeVar}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{freeVar()}{freeVar()}}
{\footnotesize\ttfamily std\+::pair$<$bool, std\+::string$>$ gymbosat\+::\+Not\+::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_1Not_a9411b71780dbf0939b2dd05bfbd72c16}\label{classgymbosat_1_1Not_a9411b71780dbf0939b2dd05bfbd72c16}} 
\index{gymbosat::Not@{gymbosat::Not}!getLeft@{getLeft}}
\index{getLeft@{getLeft}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{getLeft()}{getLeft()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Not\+::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_1Not_a402c8546fa63d62322f4dc3b31e62545}\label{classgymbosat_1_1Not_a402c8546fa63d62322f4dc3b31e62545}} 
\index{gymbosat::Not@{gymbosat::Not}!getRight@{getRight}}
\index{getRight@{getRight}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{getRight()}{getRight()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Not\+::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_1Not_a4b17bfb2c1ff0c48922a9366dd124f84}\label{classgymbosat_1_1Not_a4b17bfb2c1ff0c48922a9366dd124f84}} 
\index{gymbosat::Not@{gymbosat::Not}!guessVar@{guessVar}}
\index{guessVar@{guessVar}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{guessVar()}{guessVar()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ gymbosat\+::\+Not\+::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_1Not_a72d8ea4e686aae68caa22145edb196b1}\label{classgymbosat_1_1Not_a72d8ea4e686aae68caa22145edb196b1}} 
\index{gymbosat::Not@{gymbosat::Not}!literalPolarity@{literalPolarity}}
\index{literalPolarity@{literalPolarity}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{literalPolarity()}{literalPolarity()}}
{\footnotesize\ttfamily std\+::unordered\+\_\+map$<$std\+::string, \mbox{\hyperlink{namespacegymbosat_ab93a240afc8d89ec25d1bb528545f6d2}{Polarity}}$>$ gymbosat\+::\+Not\+::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_1Not_a63945cef5d7a9392692fa66d161f8503}\label{classgymbosat_1_1Not_a63945cef5d7a9392692fa66d161f8503}} 
\index{gymbosat::Not@{gymbosat::Not}!literals@{literals}}
\index{literals@{literals}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{literals()}{literals()}}
{\footnotesize\ttfamily std\+::unordered\+\_\+set$<$std\+::string$>$ gymbosat\+::\+Not\+::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_1Not_a4f169fc86479de1a37f7866fe5b8a015}\label{classgymbosat_1_1Not_a4f169fc86479de1a37f7866fe5b8a015}} 
\index{gymbosat::Not@{gymbosat::Not}!simplify@{simplify}}
\index{simplify@{simplify}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{simplify()}{simplify()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ gymbosat\+::\+Not\+::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_1Not_a438829c52493f67c99cd4a85e78f03d6}\label{classgymbosat_1_1Not_a438829c52493f67c99cd4a85e78f03d6}} 
\index{gymbosat::Not@{gymbosat::Not}!to\_string@{to\_string}}
\index{to\_string@{to\_string}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{to\_string()}{to\_string()}}
{\footnotesize\ttfamily std\+::string gymbosat\+::\+Not\+::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_1Not_a5d09bc42cae0a9bf522c5375d7ba8f70}\label{classgymbosat_1_1Not_a5d09bc42cae0a9bf522c5375d7ba8f70}} 
\index{gymbosat::Not@{gymbosat::Not}!unConst@{unConst}}
\index{unConst@{unConst}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{unConst()}{unConst()}}
{\footnotesize\ttfamily bool gymbosat\+::\+Not\+::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_1Not_a4118ba387b374d8e8940a64db34941f9}\label{classgymbosat_1_1Not_a4118ba387b374d8e8940a64db34941f9}} 
\index{gymbosat::Not@{gymbosat::Not}!unitClause@{unitClause}}
\index{unitClause@{unitClause}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{unitClause()}{unitClause()}}
{\footnotesize\ttfamily std\+::pair$<$std\+::string, bool$>$ gymbosat\+::\+Not\+::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_1Not_aaf311f53a236e2cd79793dcff6f1858a}\label{classgymbosat_1_1Not_aaf311f53a236e2cd79793dcff6f1858a}} 
\index{gymbosat::Not@{gymbosat::Not}!expr@{expr}}
\index{expr@{expr}!gymbosat::Not@{gymbosat::Not}}
\doxysubsubsection{\texorpdfstring{expr}{expr}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Not\+::expr\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}
