Use the implication (-->
) operator in your code today!
Simply replace bool
with implies::Bool
and benefit from the new operator.
#include <implies/implies.hpp>
using namespace implies;
static_assert(Bool(false) --> Bool(false));
static_assert(Bool(false) --> Bool(true));
static_assert(!(Bool(true) --> Bool(false)));
static_assert(Bool(true) --> Bool(true));
implies
is a header only library and very lightweight, so you will be able to
drop it into your project structure and use the provided CMakeLists.txt file.
mkdir build && cd build
cmake ..
make all
ctest