spatial.hpp

 
#ifndef UFO_CONTAINER_TREE_PREDICATE_SPATIAL_HPP
#define UFO_CONTAINER_TREE_PREDICATE_SPATIAL_HPP
 
// UFO
#include <ufo/container/tree/predicate/and.hpp>
#include <ufo/container/tree/predicate/filter.hpp>
#include <ufo/container/tree/predicate/if_and_only_if.hpp>
#include <ufo/container/tree/predicate/if_then.hpp>
#include <ufo/container/tree/predicate/or.hpp>
#include <ufo/container/tree/predicate/xor.hpp>
#include <ufo/utility/type_traits.hpp>
 
// STL
#include <type_traits>
 
namespace ufo::pred
{
//
// Is spatial predicate
//
 
namespace detail
{
template <Filterable>
struct is_spatial_pred : std::false_type {
};
}  // namespace detail
 
template <Filterable T>
struct is_spatial_pred : detail::is_spatial_pred<std::decay_t<T>> {
};
 
// Helper variable template
template <Filterable T>
constexpr inline bool is_spatial_pred_v = is_spatial_pred<T>::value;
 
//
// Contains spatial predicate
//
 
namespace detail
{
template <Filterable Pred>
struct contains_spatial_pred : is_spatial_pred<Pred> {
};
 
template <Filterable... Preds>
struct contains_spatial_pred<And<Preds...>>
    : std::disjunction<contains_spatial_pred<Preds>...> {
};
 
template <Filterable L, Filterable R>
struct contains_spatial_pred<Iff<L, R>>
    : std::disjunction<contains_spatial_pred<L>, contains_spatial_pred<R>> {
};
 
template <Filterable L, Filterable R>
struct contains_spatial_pred<IfThen<L, R>>
    : std::disjunction<contains_spatial_pred<L>, contains_spatial_pred<R>> {
};
 
template <Filterable... Preds>
struct contains_spatial_pred<Or<Preds...>>
    : std::disjunction<contains_spatial_pred<Preds>...> {
};
 
template <Filterable L, Filterable R>
struct contains_spatial_pred<Xor<L, R>>
    : std::disjunction<contains_spatial_pred<L>, contains_spatial_pred<R>> {
};
 
}  // namespace detail
 
template <Filterable T>
using contains_spatial_pred = detail::contains_spatial_pred<std::decay_t<T>>;
 
template <Filterable T>
constexpr inline bool contains_spatial_pred_v = contains_spatial_pred<T>::value;
 
//
// Contains always spatial predicate
//
 
namespace detail
{
template <Filterable Pred>
struct contains_always_spatial_pred : is_spatial_pred<Pred> {
};
 
template <Filterable... Preds>
struct contains_always_spatial_pred<And<Preds...>>
    : std::disjunction<contains_always_spatial_pred<Preds>...> {
};
 
template <Filterable L, Filterable R>
struct contains_always_spatial_pred<Iff<L, R>> : std::false_type {
};
 
template <Filterable L, Filterable R>
struct contains_always_spatial_pred<IfThen<L, R>> : std::false_type {
};
 
template <Filterable... Preds>
struct contains_always_spatial_pred<Or<Preds...>>
    : std::conjunction<contains_always_spatial_pred<Preds>...> {
};
 
template <Filterable... Preds>
struct contains_always_spatial_pred<Xor<Preds...>> : std::false_type {
};
}  // namespace detail
 
template <Filterable T>
using contains_always_spatial_pred = detail::contains_always_spatial_pred<T>;
 
template <class T>
constexpr inline bool contains_always_spatial_pred_v =
    contains_always_spatial_pred<T>::value;
 
}  // namespace ufo::pred
 
#endif  // UFO_CONTAINER_TREE_PREDICATE_SPATIAL_HPP