Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::Window< N > Struct Template Referenceexport

The window of a word from position offset, length letters long: its projection onto those positions, \(\pi_I\) for \(I = \{\mathit{offset}, \ldots, \mathit{offset} + \mathit{length} - 1\}\), a factor of the word in the sense of combinatorics on words. Total: a window past the word's end is cut at it, so it is shorter. More...

Public Member Functions

template<std::ranges::random_access_range W>
requires std::semiregular<W> && std::constructible_from<W, std::ranges::iterator_t<const W>, std::ranges::iterator_t<const W>>
constexpr W operator() (const W &w) const
constexpr bool operator== (const Window &) const =default

Public Attributes

N offset
N length

Detailed Description

template<IsCountWord N = std::size_t>
struct dedekind::category::Window< N >

The window of a word from position offset, length letters long: its projection onto those positions, \(\pi_I\) for \(I = \{\mathit{offset}, \ldots, \mathit{offset} + \mathit{length} - 1\}\), a factor of the word in the sense of combinatorics on words. Total: a window past the word's end is cut at it, so it is shorter.

Template Parameters
Nthe counts.

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