\hypertarget{logic_8h}{}\doxysection{kblib/logic.h File Reference}
\label{logic_8h}\index{kblib/logic.h@{kblib/logic.h}}


Provides basic compile-\/time logic operations.  


{\ttfamily \#include \char`\"{}tdecl.\+h\char`\"{}}\newline
{\ttfamily \#include $<$type\+\_\+traits$>$}\newline
Include dependency graph for logic.\+h\+:\nopagebreak
\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=219pt]{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=350pt]{logic_8h__dep__incl}
\end{center}
\end{figure}
\doxysubsection*{Classes}
\begin{DoxyCompactItemize}
\item 
struct \mbox{\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 \mbox{\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 -\/\texorpdfstring{$>$}{>} false. \end{DoxyCompactList}\end{DoxyCompactItemize}
\doxysubsection*{Namespaces}
\begin{DoxyCompactItemize}
\item 
namespace \mbox{\hyperlink{namespacekblib}{kblib}}
\begin{DoxyCompactList}\small\item\em The main namespace in which all entities from kblib are defined. \end{DoxyCompactList}\end{DoxyCompactItemize}
\doxysubsection*{Variables}
\begin{DoxyCompactItemize}
\item 
{\footnotesize template$<$bool A, bool B$>$ }\\constexpr bool \mbox{\hyperlink{namespacekblib_a1bbf36db8dd7568fc671fe6972275dff}{kblib\+::implies\+\_\+v}} = implies$<$A, B$>$\+::value
\item 
{\footnotesize template$<$bool... args$>$ }\\constexpr bool \mbox{\hyperlink{namespacekblib_a8adff72b30cc79a9a17d79aecb1796b3}{kblib\+::conjunction\+\_\+v}} = (args and ...)
\end{DoxyCompactItemize}


\doxysubsection{Detailed Description}
Provides basic compile-\/time logic operations. 

\begin{DoxyAuthor}{Author}
killerbee 
\end{DoxyAuthor}
\begin{DoxyDate}{Date}
2019-\/2021 
\end{DoxyDate}
\begin{DoxyCopyright}{Copyright}
GNU General Public Licence v3.\+0 
\end{DoxyCopyright}


Definition in file \mbox{\hyperlink{logic_8h_source}{logic.\+h}}.