\hypertarget{structkblib_1_1implies}{}\doxysection{kblib\+::implies\texorpdfstring{$<$}{<} A, B \texorpdfstring{$>$}{>} Struct Template Reference}
\label{structkblib_1_1implies}\index{kblib::implies$<$ A, B $>$@{kblib::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\+::implies\texorpdfstring{$<$}{<} A, B \texorpdfstring{$>$}{>}\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=205pt]{structkblib_1_1implies__inherit__graph}
\end{center}
\end{figure}


Collaboration diagram for kblib\+::implies\texorpdfstring{$<$}{<} A, B \texorpdfstring{$>$}{>}\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=205pt]{structkblib_1_1implies__coll__graph}
\end{center}
\end{figure}


\doxysubsection{Detailed Description}
\subsubsection*{template$<$bool A, bool B$>$\newline
struct kblib\+::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}