Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::numbers::Interval< V, L > Member List

This is the complete list of members for dedekind::numbers::Interval< V, L >, including all inherited members.

bounded(V lo, Strictness sl, V hi, Strictness su)dedekind::numbers::Interval< V, L >inlinestatic
cardinality_type typedef (defined in dedekind::numbers::Interval< V, L >)dedekind::numbers::Interval< V, L >
Codomain typedef (defined in dedekind::numbers::Interval< V, L >)dedekind::numbers::Interval< V, L >
contains(const V &x) constdedekind::numbers::Interval< V, L >inline
contains_bounded(const V &x) constdedekind::numbers::Interval< V, L >inline
Domain typedef (defined in dedekind::numbers::Interval< V, L >)dedekind::numbers::Interval< V, L >
empty()dedekind::numbers::Interval< V, L >inlinestatic
half(V pivot, Direction d, Strictness s)dedekind::numbers::Interval< V, L >inlinestatic
Interval()=defaultdedekind::numbers::Interval< V, L >
of_sides(const std::optional< Bound< V > > &lo, const std::optional< Bound< V > > &hi)dedekind::numbers::Interval< V, L >inlinestatic
operator()(const V &x) constdedekind::numbers::Interval< V, L >inline
point(V pivot) (defined in dedekind::numbers::Interval< V, L >)dedekind::numbers::Interval< V, L >inlinestatic
span() constdedekind::numbers::Interval< V, L >inline
universe() (defined in dedekind::numbers::Interval< V, L >)dedekind::numbers::Interval< V, L >inlinestatic