dedekind::sequences::FiniteNet< X, Cap > Struct Template Reference

A finite net: a tabulated morphism size_t → X (an IsNet, since std::size_t is a directed set). Read as a function d(v); the std::array tabulation is private business, not the interface. More...

Collaboration diagram for dedekind::sequences::FiniteNet< X, Cap >:

Public Types
using	Domain = std::size_t
using	Codomain = X

Public Member Functions
constexpr Codomain	operator() (Domain v) const
constexpr Codomain &	at (Domain v)

Static Public Member Functions
static constexpr std::size_t	cardinality ()

Public Attributes
std::array< X, Cap >	table {}

Detailed Description

template<typename X, std::size_t Cap>
struct dedekind::sequences::FiniteNet< X, Cap >

A finite net: a tabulated morphism size_t → X (an IsNet, since std::size_t is a directed set). Read as a function d(v); the std::array tabulation is private business, not the interface.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/sequences/finite.cppm