Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::detail_periodic::IsBoundedFactorsOf Concept Reference
module dedekind.category

A list of factors bounded by its type: the factors of a shape. More...

Concept definition

template<typename L, typename N>
concept dedekind::category::detail_periodic::IsBoundedFactorsOf = IsFactorsOf<L, N> && IsBoundedList<L>
dedekind::category::detail_periodic::IsBoundedFactorsOf
A list of factors bounded by its type: the factors of a shape.
Definition periodic.cppm:874
dedekind::category::detail_periodic::IsBoundedList
Bounded by its type: a forward range with a static capacity.
Definition periodic.cppm:869
dedekind::category::detail_periodic::IsFactorsOf
A list of factors, a count factorised, in the counts N.
Definition periodic.cppm:864

Detailed Description

A list of factors bounded by its type: the factors of a shape.