predicate_map_type.hpp

 
#ifndef UFO_MAP_PREDICATE_MAP_TYPE
#define UFO_MAP_PREDICATE_MAP_TYPE
 
// UFO
#include <ufo/map/type.hpp>
 
namespace ufo::pred
{
template <class Predicate>
struct predicate_map_type {
    MapType value = MapType::TREE;
};
 
// TODO: Add AND, OR, IFF, THEN, ...
 
template <class Predicate>
static constexpr MapType const predicate_map_type_v =
    predicate_map_type<Predicate>::value;
}  // namespace ufo::pred
 
#endif  // UFO_MAP_PREDICATE_MAP_TYPE