kblib::implies< A, B > Struct Template Reference

A metafunction for logical implication. That is, if A, then B. If not A, B is unimportant. More...

#include <kblib/logic.h>

Inheritance diagram for kblib::implies< A, B >:

Collaboration diagram for kblib::implies< A, B >:

Detailed Description

template<bool A, bool B>
struct kblib::implies< A, B >

A metafunction for logical implication. That is, if A, then B. If not A, B is unimportant.

Definition at line 45 of file logic.h.

---

The documentation for this struct was generated from the following file:

• kblib/logic.h