\hypertarget{kblib__logic_8h}{}\section{kblib\+\_\+logic.\+h File Reference}
\label{kblib__logic_8h}\index{kblib\+\_\+logic.\+h@{kblib\+\_\+logic.\+h}}
{\ttfamily \#include \char`\"{}kblib\+\_\+tdecl.\+h\char`\"{}}\newline
{\ttfamily \#include $<$type\+\_\+traits$>$}\newline
Include dependency graph for kblib\+\_\+logic.\+h\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=232pt]{kblib__logic_8h__incl}
\end{center}
\end{figure}
This graph shows which files directly or indirectly include this file\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=229pt]{kblib__logic_8h__dep__incl}
\end{center}
\end{figure}
\subsection*{Classes}
\begin{DoxyCompactItemize}
\item 
struct \hyperlink{structkblib_1_1implies}{kblib\+::implies$<$ A, B $>$}
\begin{DoxyCompactList}\small\item\em A metafunction for logical implication. That is, if A, then B. If not A, B is unimportant. \end{DoxyCompactList}\item 
struct \hyperlink{structkblib_1_1implies_3_01true_00_01false_01_4}{kblib\+::implies$<$ true, false $>$}
\begin{DoxyCompactList}\small\item\em Logical implication is only not satisfied by true -\/$>$ false. \end{DoxyCompactList}\end{DoxyCompactItemize}
\subsection*{Namespaces}
\begin{DoxyCompactItemize}
\item 
 \hyperlink{namespacekblib}{kblib}
\end{DoxyCompactItemize}