Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::order::Bound< V > Struct Template Referenceexport

One side of an interval as a value: the bound and whether it is attained (non-strict) or not (strict). More...

Collaboration diagram for dedekind::order::Bound< V >:

Public Attributes

V at
Strictness strictness = Strictness::NonStrict

Friends

constexpr bool operator== (const Bound &, const Bound &)=default

Detailed Description

template<typename V>
requires IsTotallyOrdered<V>
struct dedekind::order::Bound< V >

One side of an interval as a value: the bound and whether it is attained (non-strict) or not (strict).

Template Parameters
Vthe carrier.

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