kblib
0.2.3
General utilities library for modern C++

Provides basic compiletime logic operations. More...
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  
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 ...) 
Provides basic compiletime logic operations.
Definition in file logic.h.