Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::geometry::HasDimension Concept Referenceexport
module dedekind.geometry

A vector type with a specific compile-time dimension N. More...

Concept definition

template<typename V, std::size_t N>
concept dedekind::geometry::HasDimension = HasFiniteDimension<V> && (V::dimension == N)
dedekind::geometry::HasDimension
A vector type with a specific compile-time dimension N.
Definition affine.cppm:74
dedekind::geometry::HasFiniteDimension
A vector type whose coordinate index set is finite.
Definition affine.cppm:55

Detailed Description

A vector type with a specific compile-time dimension N.