dedekind::numbers::ReachPath Struct Reference

The reach indicator's type: a Path<Ternary> monotone in {Unknown, True} (True absorbs), constructible only through collatz_reach_path, which guarantees that shape; registered absorptive in sequences below, as :mandelbrot's DivergencePath is. More...

Inheritance diagram for dedekind::numbers::ReachPath:

Collaboration diagram for dedekind::numbers::ReachPath:

Friends
constexpr ReachPath	collatz_reach_path (std::size_t n)
	True once 1 is present, Unknown before — a monotone {Unknown,True} absorptive path (the ℕ analogue of Mandelbrot's escape indicator).

Additional Inherited Members
Public Types inherited from dedekind::sequences::Path< Ternary >
using	Domain
using	Codomain
using	cardinality_type
using	index_type
Public Member Functions inherited from dedekind::sequences::Path< Ternary >
constexpr Codomain	operator() (std::size_t i) const
constexpr Ternary	at (std::size_t i) const
constexpr std::size_t	size () const noexcept
constexpr auto	begin () const noexcept
constexpr auto	end () const noexcept
constexpr auto	cardinality () const noexcept
	The Path is generally viewed as a mapping from N.
Public Attributes inherited from dedekind::sequences::Path< Ternary >
std::function< Ternary(std::size_t)>	generator
	The underlying mapping f(n).
std::size_t	extent

Detailed Description

The reach indicator's type: a Path<Ternary> monotone in {Unknown, True} (True absorbs), constructible only through collatz_reach_path, which guarantees that shape; registered absorptive in sequences below, as :mandelbrot's DivergencePath is.

Friends And Related Symbol Documentation

collatz_reach_path

ReachPath collatz_reach_path ( std::size_t n )

friend

True once 1 is present, Unknown before — a monotone {Unknown,True} absorptive path (the ℕ analogue of Mandelbrot's escape indicator).

Parameters

n

the seed.

---

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

• src/main/modules/dedekind/numbers/collatz.cppm