kblib 0.2.3
General utilities library for modern C++
logic.h File Reference

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:

Go to the source code of 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.

Author
killerbee
Date
2019-2021

Definition in file logic.h.