logical.hpp

Go to the documentation of this file.

#ifndef BOOST_MPL11_LOGICAL_HPP
#define BOOST_MPL11_LOGICAL_HPP

#include <boost/mpl11/fwd/logical.hpp>

#include <boost/mpl11/bool.hpp>
#include <boost/mpl11/detail/right_folds/variadic.hpp>


namespace boost { namespace mpl11 {
    namespace logical_detail {
        template <bool cond>
        struct if_impl;

        template <>
        struct if_impl<true> {
            template <typename Then, typename Else>
            using result = Then;
        };

        template <>
        struct if_impl<false> {
            template <typename Then, typename Else>
            using result = Else;
        };

        template <typename x, typename y>
        struct and2
            : bool_<
                (bool)if_c<(bool)x::type::value, y, x>::type::value
            >
        { };

        template <typename x, typename y>
        struct or2
            : bool_<
                (bool)if_c<(bool)x::type::value, x, y>::type::value
            >
        { };
    } // end namespace logical_detail

    template <typename ...xs>
    struct and_
        : detail::right_folds::variadic<logical_detail::and2, true_, xs...>
    { };

    template <typename ...xs>
    struct or_
        : detail::right_folds::variadic<logical_detail::or2, false_, xs...>
    { };

    template <typename x>
    struct not_
        : bool_<!x::type::value>
    { };

    template <typename Condition, typename Then, typename Else>
    struct if_ :
        logical_detail::if_impl<(bool)Condition::type::value>::
        template result<Then, Else>
    { };
}} // end namespace boost::mpl11

#endif // !BOOST_MPL11_LOGICAL_HPP