prev_access_plan_validation.hpp File Reference

#include <concepts>
#include <cstddef>
#include <type_traits>
#include <utility>
#include "prev_access_task_traits.hpp"

Include dependency graph for prev_access_plan_validation.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	yorch
namespace	yorch::detail

Concepts
concept	yorch::detail::prev_access_validatable_plan_node
	Minimal static-plan protocol required by the prev-access validation path for a specific node index.

Functions
template<typename Plan , std::size_t I> requires prev_access_validatable_plan_node<Plan, I>
consteval bool	yorch::detail::node_prev_source_valid ()
	Checks whether node I is structurally allowed to use direct-parent access at all.
template<typename Plan , std::size_t I> requires prev_access_validatable_plan_node<Plan, I>
consteval bool	yorch::detail::node_prev_access_valid ()
	Checks whether node I's declared prev-access mode is locally valid.
template<typename Plan , std::size_t I> requires prev_access_validatable_plan_node<Plan, I>
consteval bool	yorch::detail::node_forward_prev_source_valid ()
template<typename Plan , std::size_t... I> requires (prev_access_validatable_plan_node<Plan, I> && ...)
consteval bool	yorch::detail::plan_prev_source_valid_impl (std::index_sequence< I... >)
template<typename Plan , std::size_t... I> requires (prev_access_validatable_plan_node<Plan, I> && ...)
consteval bool	yorch::detail::plan_prev_access_valid_impl (std::index_sequence< I... >)
template<typename Plan , std::size_t... I> requires (prev_access_validatable_plan_node<Plan, I> && ...)
consteval bool	yorch::detail::plan_forward_prev_source_valid_impl (std::index_sequence< I... >)

Variables
template<typename Plan >
constexpr bool	yorch::detail::plan_prev_source_valid_v
template<typename Plan >
constexpr bool	yorch::detail::plan_prev_access_valid_v
template<typename Plan >
constexpr bool	yorch::detail::plan_forward_prev_source_valid_v