Variable T8PointType

Variable Documentation

template<typename T, std::size_t Expected = static_cast<std::size_t> (-1)> concept T8PointType  = requires { typename std::remove_cvref_t<T>::tag; } && requires {{std::remove_cvref_t<T>::tag::dim} -> std::convertible_to<std::size_t>;} && (Expected == static_cast<std::size_t> (-1) || std::remove_cvref_t<T>::tag::dim == Expected)

Concept that checks whether a type is a strong type of type t8_point<N>.

N can be either fixed or left open.

Template Parameters:
  • TType – The type to check.

  • TExpectedDim – Optional dimensional restriction (default = wildcard).