dedekind::geometry::HasFiniteDimension Concept Reference

A vector type whose coordinate index set is finite. More...

Concept definition

template<typename V>
concept dedekind::geometry::HasFiniteDimension =  requires {
  { V::dimension } -> std::convertible_to<std::size_t>;
} && (V::dimension != std::numeric_limits<std::size_t>::max())

Detailed Description

A vector type whose coordinate index set is finite.