reflectiveness.hpp

 
#ifndef UFO_MAP_REFLECTIVENESS_PREDICATE_REFLECTIVENESS_HPP
#define UFO_MAP_REFLECTIVENESS_PREDICATE_REFLECTIVENESS_HPP
 
// UFO
#include <ufo/map/predicate/predicate.hpp>
#include <ufo/map/predicate/predicate_compare.hpp>
#include <ufo/map/types.hpp>
 
namespace ufo::pred
{
template <PredicateCompare PC = PredicateCompare::EQUAL>
struct Reflectiveness {
    reflection_t reflectiveness;
 
    Reflectiveness(reflection_t reflectiveness) : reflectiveness(reflectiveness) {}
};
 
using ReflectivenessE  = Reflectiveness<>;
using ReflectivenessNE = Reflectiveness<PredicateCompare::NOT_EQUAL>;
using ReflectivenessLE = Reflectiveness<PredicateCompare::LESS_EQUAL>;
using ReflectivenessGE = Reflectiveness<PredicateCompare::GREATER_EQUAL>;
using ReflectivenessL  = Reflectiveness<PredicateCompare::LESS>;
using ReflectivenessG  = Reflectiveness<PredicateCompare::GREATER>;
 
using ReflectivenessMin = ReflectivenessGE;
using ReflectivenessMax = ReflectivenessLE;
 
template <PredicateCompare PC>
struct InnerCheck<Reflectiveness<PC>> {
    using Pred = Reflectiveness<PC>;
 
    template <class Map, class Node>
    static inline bool apply(Pred p, Map const& m, Node const& n)
    {
        switch (m.reflectivenessPropagationCriteria()) {
            case PropagationCriteria::MIN:
                if constexpr (PredicateCompare::EQUAL == PC) {
                    return m.reflectiveness(n.index()) <= p.reflectiveness;
                } else if constexpr (PredicateCompare::NOT_EQUAL == PC) {
                    return true;
                } else if constexpr (PredicateCompare::LESS_EQUAL == PC) {
                    return m.reflectiveness(n.index()) <= p.reflectiveness;
                } else if constexpr (PredicateCompare::GREATER_EQUAL == PC) {
                    return true;
                } else if constexpr (PredicateCompare::LESS == PC) {
                    return m.reflectiveness(n.index()) < p.reflectiveness;
                } else if constexpr (PredicateCompare::GREATER == PC) {
                    return true;
                }
            case PropagationCriteria::MAX:
                if constexpr (PredicateCompare::EQUAL == PC) {
                    return m.reflectiveness(n.index()) >= p.reflectiveness;
                } else if constexpr (PredicateCompare::NOT_EQUAL == PC) {
                    return true;
                } else if constexpr (PredicateCompare::LESS_EQUAL == PC) {
                    return true;
                } else if constexpr (PredicateCompare::GREATER_EQUAL == PC) {
                    return m.reflectiveness(n.index()) >= p.reflectiveness;
                } else if constexpr (PredicateCompare::LESS == PC) {
                    return true;
                } else if constexpr (PredicateCompare::GREATER == PC) {
                    return m.reflectiveness(n.index()) > p.reflectiveness;
                }
            case PropagationCriteria::MEAN: return true;
            case PropagationCriteria::NONE: return true;
        }
    }
};
 
template <PredicateCompare PC>
struct ValueCheck<Reflectiveness<PC>> {
    using Pred = Reflectiveness<PC>;
 
    template <class Map, class Node>
    static inline bool apply(Pred const& p, Map const& m, Node n)
    {
        if constexpr (PredicateCompare::EQUAL == PC) {
            return m.reflectiveness(n.index()) == p.reflectiveness;
        } else if constexpr (PredicateCompare::NOT_EQUAL == PC) {
            return m.reflectiveness(n.index()) != p.reflectiveness;
        } else if constexpr (PredicateCompare::LESS_EQUAL == PC) {
            return m.reflectiveness(n.index()) <= p.reflectiveness;
        } else if constexpr (PredicateCompare::GREATER_EQUAL == PC) {
            return m.reflectiveness(n.index()) >= p.reflectiveness;
        } else if constexpr (PredicateCompare::LESS == PC) {
            return m.reflectiveness(n.index()) < p.reflectiveness;
        } else if constexpr (PredicateCompare::GREATER == PC) {
            return m.reflectiveness(n.index()) > p.reflectiveness;
        }
    }
};
}  // namespace ufo::pred
 
#endif  // UFO_MAP_REFLECTIVENESS_PREDICATE_REFLECTIVENESS_HPP