Logical
Meta

## Description

Logical operations.

## Modules

| lazy

## Typedefs

template<typename... Bools>
using | meta::and_ = _t< defer< detail::_and_< 0==sizeof...(Bools)>::template invoke, Bools... > >
| Logically and together all the integral constant-wrapped Boolean parameters, with short-circuiting.
template<bool... Bools>
using | meta::and_c = std::is_same< integer_sequence< bool, Bools... >, integer_sequence< bool,(Bools||true)... > >
| Logically and together all the Boolean parameters.
template<typename... Args>
using | meta::if_ = _t< detail::_if_< list< Args... > >>
| Select one type or another depending on a compile-time Boolean.
template<bool If, typename... Args>
using | meta::if_c = _t< detail::_if_< list< bool_< If >, Args... > >>
| Select one type or another depending on a compile-time Boolean.
template<typename Bool_ >
using | meta::not_ = not_c< Bool_::type::value >
| Logically negate the integral constant-wrapped Boolean parameter.
template<bool Bool_>
using | meta::not_c = bool_<!Bool_ >
| Logically negate the Boolean parameter.
template<typename... Bools>
using | meta::or_ = _t< defer< detail::_or_< 0==sizeof...(Bools)>::template invoke, Bools... > >
| Logically or together all the integral constant-wrapped Boolean parameters, with short-circuiting.
template<bool... Bools>
using | meta::or_c = not_< std::is_same< integer_sequence< bool, Bools... >, integer_sequence< bool,(Bools &&false)... > >>
| Logically or together all the Boolean parameters.
template<typename... Bools>
using | meta::strict_and = and_c< Bools::type::value... >
| Logically and together all the integral constant-wrapped Boolean parameters, without doing short-circuiting.
template<typename... Bools>
using | meta::strict_or = or_c< Bools::type::value... >
| Logically or together all the integral constant-wrapped Boolean parameters, without doing short-circuiting.