Emrys::PathValue Concept Reference

A path given as a value: a TagPath, such as path<Ownship, Position>, or a tag's own value, such as Position{}, which is a path of one tag. More...

#include <EmrysFilter/Spaces/TagPath.h>

Concept definition

template<typename T>
concept PathValue = internal::isTagPath<std::remove_cvref_t<T>>
                 || (Space<std::remove_cvref_t<T>> && !internal::IsUntagged<std::remove_cvref_t<T>>)

Detailed Description

A path given as a value: a TagPath, such as path<Ownship, Position>, or a tag's own value, such as Position{}, which is a path of one tag.

A library space type, such as Linear<2>, is not one, since a path names blocks by tag (decisions.md [tag-addressing]).