mirror
/
brigand
mirror of https://github.com/edouarda/brigand.git
Code Releases Wiki Activity
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
master
gh-pages
cpp11
cpp11-1.3.0
1.3.0
1.1.0
1.0.0
1.2.0
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
brigand/test/logical_test.cpp

164 lines
8.6 KiB
C++
Raw Permalink Blame History

#include <brigand/functions/logical.hpp>
static_assert(brigand::not_<brigand::true_type>::value == false, "invalid not result");
static_assert(brigand::not_<brigand::false_type>::value == true, "invalid not result");
static_assert(brigand::not_<brigand::not_<brigand::true_type>>::value == true,
"invalid not result");
static_assert(brigand::and_<>::value == true,
"invalid not result");
static_assert(brigand::and_<brigand::false_type>::value == false,
"invalid not result");
static_assert(brigand::and_<brigand::true_type>::value == true,
"invalid not result");
static_assert(brigand::and_<brigand::false_type, brigand::false_type>::value == false,
"invalid and result");
static_assert(brigand::and_<brigand::false_type, brigand::true_type>::value == false,
"invalid and result");
static_assert(brigand::and_<brigand::true_type, brigand::false_type>::value == false,
"invalid and result");
static_assert(brigand::and_<brigand::true_type, brigand::true_type>::value == true,
"invalid and result");
static_assert(brigand::and_<brigand::false_type, brigand::false_type, brigand::false_type>::value == false,
"invalid not result");
static_assert(brigand::and_<brigand::true_type, brigand::false_type, brigand::false_type>::value == false,
"invalid not result");
static_assert(brigand::and_<brigand::true_type, brigand::true_type, brigand::false_type>::value == false,
"invalid not result");
static_assert(brigand::and_<brigand::true_type, brigand::true_type, brigand::true_type>::value == true,
"invalid not result");
static_assert(brigand::and_<brigand::not_<brigand::true_type>, brigand::false_type>::value == false,
"invalid and/not result");
static_assert(brigand::and_<brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::false_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type>::value == false,
"invalid or result");
static_assert(brigand::and_<brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type,
brigand::true_type, brigand::true_type>::value == true,
"invalid or result");
static_assert(brigand::or_<>::value == false,
"invalid not result");
static_assert(brigand::or_<brigand::false_type>::value == false,
"invalid not result");
static_assert(brigand::or_<brigand::true_type>::value == true,
"invalid not result");
static_assert(brigand::or_<brigand::false_type, brigand::false_type>::value == false,
"invalid or result");
static_assert(brigand::or_<brigand::false_type, brigand::true_type>::value == true,
"invalid or result");
static_assert(brigand::or_<brigand::true_type, brigand::false_type>::value == true,
"invalid or result");
static_assert(brigand::or_<brigand::true_type, brigand::true_type>::value == true,
"invalid or result");
static_assert(brigand::or_<brigand::false_type, brigand::false_type, brigand::false_type>::value == false,
"invalid not result");
static_assert(brigand::or_<brigand::true_type, brigand::false_type, brigand::false_type>::value == true,
"invalid not result");
static_assert(brigand::or_<brigand::true_type, brigand::true_type, brigand::false_type>::value == true,
"invalid not result");
static_assert(brigand::or_<brigand::true_type, brigand::true_type, brigand::true_type>::value == true,
"invalid not result");
static_assert(brigand::or_<brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type>::value == false,
"invalid or result");
static_assert(brigand::or_<brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::true_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type,
brigand::false_type, brigand::false_type>::value == true,
"invalid or result");
static_assert(brigand::xor_<brigand::false_type, brigand::false_type>::value == false,
"invalid xor result");
static_assert(brigand::xor_<brigand::false_type, brigand::true_type>::value == true,
"invalid xor result");
static_assert(brigand::xor_<brigand::true_type, brigand::false_type>::value == true,
"invalid xor result");
static_assert(brigand::xor_<brigand::true_type, brigand::true_type>::value == false,
"invalid xor result");
View Git Blame Copy Permalink