\hypertarget{classgymbosat_1_1Const}{}\doxysection{gymbosat\+::Const Class Reference}
\label{classgymbosat_1_1Const}\index{gymbosat::Const@{gymbosat::Const}}


Class representing a boolean constant in a logical expression.  




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



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


Collaboration diagram for gymbosat\+::Const\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=193pt]{classgymbosat_1_1Const__coll__graph}
\end{center}
\end{figure}
\doxysubsection*{Public Member Functions}
\begin{DoxyCompactItemize}
\item 
\mbox{\hyperlink{classgymbosat_1_1Const_a71eaafd563bdc70a823bada6e133188d}{Const}} (bool \mbox{\hyperlink{classgymbosat_1_1Const_a515a340ed6b1a72037c094d331de226c}{value}})
\begin{DoxyCompactList}\small\item\em Constructor for the \mbox{\hyperlink{classgymbosat_1_1Const}{Const}} class. \end{DoxyCompactList}\item 
std\+::string \mbox{\hyperlink{classgymbosat_1_1Const_acaf729ec5f8cd7ed3b6c81cb23b7f9af}{to\+\_\+string}} () override
\begin{DoxyCompactList}\small\item\em Convert the logical expression to a string representation. \end{DoxyCompactList}\item 
bool \mbox{\hyperlink{classgymbosat_1_1Const_ad70b99655f5a1126b860c57e17b8baf3}{evaluate}} () override
\begin{DoxyCompactList}\small\item\em Evaluate the logical expression. \end{DoxyCompactList}\item 
std\+::pair$<$ bool, std\+::string $>$ \mbox{\hyperlink{classgymbosat_1_1Const_a636afe7d321b1a27efca6ab550445fee}{free\+Var}} () override
\begin{DoxyCompactList}\small\item\em Identify and return free variables in the logical expression. \end{DoxyCompactList}\item 
bool \mbox{\hyperlink{classgymbosat_1_1Const_a3b3a3ef47d754c53d913ec0cebf6ec36}{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_1Const_a06ed122848ceb557bae8fe66783061a0}{simplify}} () override
\begin{DoxyCompactList}\small\item\em Simplify the logical expression. \end{DoxyCompactList}\item 
std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ \mbox{\hyperlink{classgymbosat_1_1Const_a3e70a24e7e46b4bbea0650e6b4ed6a2e}{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_1Const_abb5336fa2d34c9b96493302fc8225afe}{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_1Const_ade85fc3299d47c1e0b2214a9c4f317dc}{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_1Const_a0d4342830b7401b595ac5481939eefe4}{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_1Const_ad62fdd34c799d434b18e25841099e04a}{literals}} () override
\begin{DoxyCompactList}\small\item\em Get the literals present in the logical expression. \end{DoxyCompactList}\item 
std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ \mbox{\hyperlink{classgymbosat_1_1Const_a0ba707c7cdda3b55db862df111ce25ab}{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\+::unordered\+\_\+map$<$ std\+::string, \mbox{\hyperlink{namespacegymbosat_ab93a240afc8d89ec25d1bb528545f6d2}{Polarity}} $>$ \mbox{\hyperlink{classgymbosat_1_1Const_ae8fa89dfc3b3a4549be4e4d2b212dbe3}{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_1Const_a32e2e08c72ef3820c5e6cb92cef05d2c}{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_1Const_a5b81da3a3fac35e316a2ab81ee899fb0}{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 
bool \mbox{\hyperlink{classgymbosat_1_1Const_a515a340ed6b1a72037c094d331de226c}{value}}
\end{DoxyCompactItemize}
\doxysubsection*{Additional Inherited Members}


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

\doxysubsection{Constructor \& Destructor Documentation}
\mbox{\Hypertarget{classgymbosat_1_1Const_a71eaafd563bdc70a823bada6e133188d}\label{classgymbosat_1_1Const_a71eaafd563bdc70a823bada6e133188d}} 
\index{gymbosat::Const@{gymbosat::Const}!Const@{Const}}
\index{Const@{Const}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{Const()}{Const()}}
{\footnotesize\ttfamily gymbosat\+::\+Const\+::\+Const (\begin{DoxyParamCaption}\item[{bool}]{value }\end{DoxyParamCaption})\hspace{0.3cm}{\ttfamily [inline]}}



Constructor for the \mbox{\hyperlink{classgymbosat_1_1Const}{Const}} class. 


\begin{DoxyParams}{Parameters}
{\em value} & Boolean value of the constant. \\
\hline
\end{DoxyParams}


\doxysubsection{Member Function Documentation}
\mbox{\Hypertarget{classgymbosat_1_1Const_a5b81da3a3fac35e316a2ab81ee899fb0}\label{classgymbosat_1_1Const_a5b81da3a3fac35e316a2ab81ee899fb0}} 
\index{gymbosat::Const@{gymbosat::Const}!clauses@{clauses}}
\index{clauses@{clauses}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{clauses()}{clauses()}}
{\footnotesize\ttfamily std\+::vector$<$std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ $>$ gymbosat\+::\+Const\+::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_1Const_abb5336fa2d34c9b96493302fc8225afe}\label{classgymbosat_1_1Const_abb5336fa2d34c9b96493302fc8225afe}} 
\index{gymbosat::Const@{gymbosat::Const}!distribute@{distribute}}
\index{distribute@{distribute}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{distribute()}{distribute()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Const\+::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_1Const_ad70b99655f5a1126b860c57e17b8baf3}\label{classgymbosat_1_1Const_ad70b99655f5a1126b860c57e17b8baf3}} 
\index{gymbosat::Const@{gymbosat::Const}!evaluate@{evaluate}}
\index{evaluate@{evaluate}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{evaluate()}{evaluate()}}
{\footnotesize\ttfamily bool gymbosat\+::\+Const\+::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_1Const_a3e70a24e7e46b4bbea0650e6b4ed6a2e}\label{classgymbosat_1_1Const_a3e70a24e7e46b4bbea0650e6b4ed6a2e}} 
\index{gymbosat::Const@{gymbosat::Const}!fixNegations@{fixNegations}}
\index{fixNegations@{fixNegations}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{fixNegations()}{fixNegations()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Const\+::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_1Const_a636afe7d321b1a27efca6ab550445fee}\label{classgymbosat_1_1Const_a636afe7d321b1a27efca6ab550445fee}} 
\index{gymbosat::Const@{gymbosat::Const}!freeVar@{freeVar}}
\index{freeVar@{freeVar}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{freeVar()}{freeVar()}}
{\footnotesize\ttfamily std\+::pair$<$bool, std\+::string$>$ gymbosat\+::\+Const\+::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_1Const_ade85fc3299d47c1e0b2214a9c4f317dc}\label{classgymbosat_1_1Const_ade85fc3299d47c1e0b2214a9c4f317dc}} 
\index{gymbosat::Const@{gymbosat::Const}!getLeft@{getLeft}}
\index{getLeft@{getLeft}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{getLeft()}{getLeft()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Const\+::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_1Const_a0d4342830b7401b595ac5481939eefe4}\label{classgymbosat_1_1Const_a0d4342830b7401b595ac5481939eefe4}} 
\index{gymbosat::Const@{gymbosat::Const}!getRight@{getRight}}
\index{getRight@{getRight}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{getRight()}{getRight()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Const\+::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_1Const_a0ba707c7cdda3b55db862df111ce25ab}\label{classgymbosat_1_1Const_a0ba707c7cdda3b55db862df111ce25ab}} 
\index{gymbosat::Const@{gymbosat::Const}!guessVar@{guessVar}}
\index{guessVar@{guessVar}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{guessVar()}{guessVar()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$ \mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}} $>$ gymbosat\+::\+Const\+::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_1Const_ae8fa89dfc3b3a4549be4e4d2b212dbe3}\label{classgymbosat_1_1Const_ae8fa89dfc3b3a4549be4e4d2b212dbe3}} 
\index{gymbosat::Const@{gymbosat::Const}!literalPolarity@{literalPolarity}}
\index{literalPolarity@{literalPolarity}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{literalPolarity()}{literalPolarity()}}
{\footnotesize\ttfamily std\+::unordered\+\_\+map$<$std\+::string, \mbox{\hyperlink{namespacegymbosat_ab93a240afc8d89ec25d1bb528545f6d2}{Polarity}}$>$ gymbosat\+::\+Const\+::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_1Const_ad62fdd34c799d434b18e25841099e04a}\label{classgymbosat_1_1Const_ad62fdd34c799d434b18e25841099e04a}} 
\index{gymbosat::Const@{gymbosat::Const}!literals@{literals}}
\index{literals@{literals}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{literals()}{literals()}}
{\footnotesize\ttfamily std\+::unordered\+\_\+set$<$std\+::string$>$ gymbosat\+::\+Const\+::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_1Const_a06ed122848ceb557bae8fe66783061a0}\label{classgymbosat_1_1Const_a06ed122848ceb557bae8fe66783061a0}} 
\index{gymbosat::Const@{gymbosat::Const}!simplify@{simplify}}
\index{simplify@{simplify}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{simplify()}{simplify()}}
{\footnotesize\ttfamily std\+::shared\+\_\+ptr$<$\mbox{\hyperlink{classgymbosat_1_1Expr}{Expr}}$>$ gymbosat\+::\+Const\+::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_1Const_acaf729ec5f8cd7ed3b6c81cb23b7f9af}\label{classgymbosat_1_1Const_acaf729ec5f8cd7ed3b6c81cb23b7f9af}} 
\index{gymbosat::Const@{gymbosat::Const}!to\_string@{to\_string}}
\index{to\_string@{to\_string}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{to\_string()}{to\_string()}}
{\footnotesize\ttfamily std\+::string gymbosat\+::\+Const\+::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_1Const_a3b3a3ef47d754c53d913ec0cebf6ec36}\label{classgymbosat_1_1Const_a3b3a3ef47d754c53d913ec0cebf6ec36}} 
\index{gymbosat::Const@{gymbosat::Const}!unConst@{unConst}}
\index{unConst@{unConst}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{unConst()}{unConst()}}
{\footnotesize\ttfamily bool gymbosat\+::\+Const\+::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_1Const_a32e2e08c72ef3820c5e6cb92cef05d2c}\label{classgymbosat_1_1Const_a32e2e08c72ef3820c5e6cb92cef05d2c}} 
\index{gymbosat::Const@{gymbosat::Const}!unitClause@{unitClause}}
\index{unitClause@{unitClause}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{unitClause()}{unitClause()}}
{\footnotesize\ttfamily std\+::pair$<$std\+::string, bool$>$ gymbosat\+::\+Const\+::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_1Const_a515a340ed6b1a72037c094d331de226c}\label{classgymbosat_1_1Const_a515a340ed6b1a72037c094d331de226c}} 
\index{gymbosat::Const@{gymbosat::Const}!value@{value}}
\index{value@{value}!gymbosat::Const@{gymbosat::Const}}
\doxysubsubsection{\texorpdfstring{value}{value}}
{\footnotesize\ttfamily bool gymbosat\+::\+Const\+::value\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}
