Provides basic compile-time logic operations. More...

#include "tdecl.h"
#include <type_traits>

Include dependency graph for logic.h:

This graph shows which files directly or indirectly include this file:

Classes
struct	kblib::implies< A, B >
	A metafunction for logical implication. That is, if A, then B. If not A, B is unimportant. More...

struct	kblib::implies< true, false >
	Logical implication is only not satisfied by true -> false. More...

Namespaces
namespace	kblib
	The main namespace in which all entities from kblib are defined.

Variables
template<bool A, bool B>
constexpr bool	kblib::implies_v = implies<A, B>::value

template<bool... args>
constexpr bool	kblib::conjunction_v = (args and ...)

Detailed Description

Provides basic compile-time logic operations.

Definition in file logic.h.

Classes