contains_void_region.hpp

 
#ifndef UFO_MAP_VOID_REGION_PREDICATE_CONTAINS_VOID_REGION_HPP
#define UFO_MAP_VOID_REGION_PREDICATE_CONTAINS_VOID_REGION_HPP
 
// UFO
#include <ufo/container/tree/predicate/filter.hpp>
#include <ufo/utility/type_traits.hpp>
 
namespace ufo::pred
{
template <bool Negated = false>
struct ContainsVoidRegion {
};
 
static constexpr ContainsVoidRegion const contains_void_region;
 
template <bool Negated>
constexpr ContainsVoidRegion<!Negated> operator!(ContainsVoidRegion<Negated>) noexcept
{
    return ContainsVoidRegion<!Negated>{};
}
 
template <bool Negated>
struct Filter<ContainsVoidRegion<Negated>>
    : FilterBase<ContainsVoidRegion<Negated>, FilterType::INIT, FilterType::VALUE,
                 FilterType::RAY> {
    using Pred = ContainsVoidRegion<Negated>;
 
    template <class Tree>
    [[nodiscard]] static constexpr bool returnable(Pred const&, Tree const& t,
                                                   typename Tree::Node const& n)
    {
        if constexpr (Negated) {
            return !t.voidRegionContains(n.index);
        } else {
            return t.voidRegionContains(n.index);
        }
    }
 
    template <class Tree>
    [[nodiscard]] static constexpr bool traversable(Pred const&, Tree const& t,
                                                    typename Tree::Node const& n)
    {
        if constexpr (Negated) {
            return true;
        } else {
            return t.voidRegionContains(n.index);
        }
    }
};
}  // namespace ufo::pred
 
#endif  // UFO_MAP_VOID_REGION_PREDICATE_CONTAINS_VOID_REGION_HPP