bbm::concepts::backbone::horizontal_mask Concept Reference

A type M has horizontal masking functions if: More...

#include <horizontal.h>

Concept definition

template<typename M>
concept bbm::concepts::backbone::horizontal_mask =  requires(M a)
      {
        { bbm::is_mask_v<M> } -> std::convertible_to<bool>;
        { bbm::all(a) } -> std::convertible_to<bool>;
        { bbm::any(a) } -> std::convertible_to<bool>;
        { bbm::none(a) } -> std::convertible_to<bool>;
        { bbm::count(a) } -> std::convertible_to<size_t>;
 
        requires is_mask_v<M>;
      }

Detailed Description

A type M has horizontal masking functions if:

• M is a recognized mask type
• all(M) returns a bool(a[0] && a[1] && ...)
• any(M) returns a bool(a[0] || a[1] || ...)
• none(M) returns a bool(!any(M))
• count(M) returns a size_t(hsum(M))