conjunction.hpp

Go to the documentation of this file.

#ifndef BSL_CONJUNCTION_HPP
#define BSL_CONJUNCTION_HPP

#include "bool_constant.hpp"
#include "conditional.hpp"
#include "true_type.hpp"

namespace bsl
{
    template<typename... BN>
    class conjunction final : true_type
    {};


    template<typename B1>
    class conjunction<B1> final : public bool_constant<B1::value>
    {};

    template<typename B1, typename... BN>
    class conjunction<B1, BN...> final :
        public conditional_t<
            B1::value,
            bool_constant<conjunction<BN...>::value>,
            bool_constant<B1::value>>
    {};

}

#endif