has_label.hpp

 
#ifndef UFO_MAP_LABELS_PREDICATE_HAS_LABEL_HPP
#define UFO_MAP_LABELS_PREDICATE_HAS_LABEL_HPP
 
// UFO
#include <ufo/container/tree/predicate/filter.hpp>
#include <ufo/container/tree/predicate/predicate_compare.hpp>
#include <ufo/map/labels/propagation_criteria.hpp>
 
namespace ufo::pred
{
template <bool Negated = false>
struct HasLabel {
};
 
template <bool Negated>
HasLabel<!Negated> operator!(HasLabel<Negated>)
{
    return {};
}
 
template <bool Negated>
struct Filter<HasLabel<Negated>> {
    using Pred = HasLabel<Negated>;
 
    template <class Tree>
    static constexpr void init(Pred& p, Tree const& t)
    {
    }
 
    template <class Tree, class Node>
    [[nodiscard]] static constexpr bool returnable(Pred const& p, Tree const& t,
                                                   Node const& n)
    {
        if constexpr (Negated) {
            return t.labels(n.index).empty();
        } else {
            return !t.labels(n.index).empty();
        }
    }
 
    template <class Tree, class Node>
    [[nodiscard]] static constexpr bool traversable(Pred const& p, Tree const& t,
                                                    Node const& n)
    {
        if constexpr (Negated) {
            return true;
        } else {
            switch (t.labelsPropagationCriteria()) {
                case LabelsPropagationCriteria::ALL: {
                    return !t.labels(n.index).empty();
                }
                case LabelsPropagationCriteria::SUMMARY: {
                    return !t.labels(n.index).empty();
                }
                case LabelsPropagationCriteria::MIN: {
                    return !t.labels(n.index).empty();
                }
                case LabelsPropagationCriteria::MAX: {
                    return !t.labels(n.index).empty();
                }
                case LabelsPropagationCriteria::NONE: {
                    return true;
                }
            }
        }
        return true;
    }
};
 
}  // namespace ufo::pred
 
#endif  // UFO_MAP_LABELS_PREDICATE_HAS_LABEL_HPP