\hypertarget{struct_k_b_l_i_b___n_s_1_1implies}{}\doxysection{KBLIB\+\_\+\+NS\+::implies\texorpdfstring{$<$}{<} A, B \texorpdfstring{$>$}{>} Struct Template Reference}
\label{struct_k_b_l_i_b___n_s_1_1implies}\index{KBLIB\_NS::implies$<$ A, B $>$@{KBLIB\_NS::implies$<$ A, B $>$}}


A metafunction for logical implication. That is, if A, then B. If not A, B is unimportant.  




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



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


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


\doxysubsection{Detailed Description}
\subsubsection*{template$<$bool A, bool B$>$\newline
struct KBLIB\+\_\+\+NS\+::implies$<$ A, B $>$}
A metafunction for logical implication. That is, if A, then B. If not A, B is unimportant. 

Definition at line \mbox{\hyperlink{logic_8h_source_l00045}{45}} 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}
