Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::ExtensionalCardinal< W > Member List

This is the complete list of members for dedekind::sets::ExtensionalCardinal< W >, including all inherited members.

cardinality_type typedef (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >
checked_add(const ExtensionalCardinal &lhs, const ExtensionalCardinal &rhs) noexcept (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >inlinestatic
checked_mul(const ExtensionalCardinal &lhs, const ExtensionalCardinal &rhs) noexcept (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >inlinestatic
ExtensionalCardinal()=default (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >
ExtensionalCardinal(W v) noexcept (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >inline
ExtensionalCardinal(S v) noexceptdedekind::sets::ExtensionalCardinal< W >inline
operator std::size_t() const noexceptdedekind::sets::ExtensionalCardinal< W >inlineexplicit
operator%(const ExtensionalCardinal &lhs, const ExtensionalCardinal &rhs) noexceptdedekind::sets::ExtensionalCardinal< W >friend
operator* (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >friend
operator+ (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >friend
operator- (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >friend
operator-() const noexceptdedekind::sets::ExtensionalCardinal< W >inline
operator/(const ExtensionalCardinal &lhs, const ExtensionalCardinal &rhs) noexceptdedekind::sets::ExtensionalCardinal< W >friend
operator<=> (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >friend
operator== (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >friend
realize_to_size_t(std::size_t sentinel=std::numeric_limits< std::size_t >::max()) const noexceptdedekind::sets::ExtensionalCardinal< W >inline
value (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >
word_type typedef (defined in dedekind::sets::ExtensionalCardinal< W >)dedekind::sets::ExtensionalCardinal< W >