The measure algebra at the points X for position J: a χ node passes when its argument in position J descends on the coordinate J stands for; every node when all its legs pass; any other leaf vacuously. More...

Public Member Functions
template<typename Leaf>
constexpr std::true_type	operator() (const Leaf &) const
template<typename... Ts>
constexpr auto	operator() (const Self< Ts... > &) const
template<typename Node, typename... R>
constexpr std::bool_constant<(R::value &&...)>	operator() (const Node &, R...) const

Detailed Description

template<typename X, std::size_t J>
struct dedekind::sets::DescendsAt< X, J >

The measure algebra at the points X for position J: a χ node passes when its argument in position J descends on the coordinate J stands for; every node when all its legs pass; any other leaf vacuously.

Template Parameters

X	the point type.
J	the position.

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

src/main/modules/dedekind/sets/recursion.cppm

Public Member Functions

Detailed Description