\hypertarget{struct_k_b_l_i_b___n_s_1_1implies_3_01true_00_01false_01_4}{}\doxysection{KBLIB\+\_\+\+NS\+::implies\texorpdfstring{$<$}{<} true, false \texorpdfstring{$>$}{>} Struct Reference}
\label{struct_k_b_l_i_b___n_s_1_1implies_3_01true_00_01false_01_4}\index{KBLIB\_NS::implies$<$ true, false $>$@{KBLIB\_NS::implies$<$ true, false $>$}}


Logical implication is only not satisfied by true -\/\texorpdfstring{$>$}{>} false.  




{\ttfamily \#include $<$kblib/logic.\+h$>$}



Inheritance diagram for KBLIB\+\_\+\+NS\+::implies\texorpdfstring{$<$}{<} true, false \texorpdfstring{$>$}{>}\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=202pt]{struct_k_b_l_i_b___n_s_1_1implies_3_01true_00_01false_01_4__inherit__graph}
\end{center}
\end{figure}


Collaboration diagram for KBLIB\+\_\+\+NS\+::implies\texorpdfstring{$<$}{<} true, false \texorpdfstring{$>$}{>}\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=202pt]{struct_k_b_l_i_b___n_s_1_1implies_3_01true_00_01false_01_4__coll__graph}
\end{center}
\end{figure}


\doxysubsection{Detailed Description}
Logical implication is only not satisfied by true -\/\texorpdfstring{$>$}{>} false. 

Definition at line \mbox{\hyperlink{logic_8h_source_l00051}{51}} of file \mbox{\hyperlink{logic_8h_source}{logic.\+h}}.



The documentation for this struct was generated from the following file\+:\begin{DoxyCompactItemize}
\item 
kblib/\mbox{\hyperlink{logic_8h}{logic.\+h}}\end{DoxyCompactItemize}