kblib::implies< true, false > Struct Reference

Logical implication is only not satisfied by true -> false. More...

#include <kblib/logic.h>

Inheritance diagram for kblib::implies< true, false >:

Collaboration diagram for kblib::implies< true, false >:

Detailed Description

Logical implication is only not satisfied by true -> false.

Definition at line 51 of file logic.h.

---

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

• kblib/logic.h