common.h

Go to the documentation of this file.

#pragma once
 
#include <type_traits>
#include <utility>
 
namespace haldls {
namespace vx {
 
namespace detail {
 
template <class ContainerT>
struct VisitPreorderImpl
{
    static_assert(
        ContainerT::is_leaf_node::value,
        "visit_preorder needs to be specialized for non-leaf-node container");
 
    template <typename ContainerU, typename VisitorT>
    static void call(
        ContainerU& config, typename ContainerT::coordinate_type const& coord, VisitorT&& visitor)
    {
        visitor(coord, config);
    }
}; // VisitPreorderImpl
 
} // namespace detail
 
template <class ContainerT, class CoordinateT, class VisitorT>
void visit_preorder(ContainerT& config, CoordinateT const& coord, VisitorT&& visitor)
{
    static_assert(
        std::is_same<typename ContainerT::coordinate_type, CoordinateT>::value,
        "coordinate type does not match container type");
    detail::VisitPreorderImpl<typename std::remove_cv<ContainerT>::type>::call(
        config, coord, std::forward<VisitorT>(visitor));
}
 
} // namespace vx
} // namespace haldls