dedekind::numbers::LowerCut< Q > Struct Template Reference

The datum of a real's lower set: the real itself, χ(q) = real.contains(q). More...

Collaboration diagram for dedekind::numbers::LowerCut< Q >:

Public Types
using	Domain = Q
using	Codomain = bool

Public Member Functions
constexpr bool	operator() (const Q &q) const

Public Attributes
Cut< Q >	real {}

Detailed Description

template<IsRational Q>
struct dedekind::numbers::LowerCut< Q >

The datum of a real's lower set: the real itself, χ(q) = real.contains(q).

Template Parameters

Q	the rational scalar carrier.

---

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

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