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

This is the complete list of members for dedekind::order::Sub< C, L >, including all inherited members.

operator()(const C &x) constdedekind::order::Sub< C, L >inline
operator<=(const Sub &a, const Sub &b)dedekind::order::Sub< C, L >friend
operator==(const Sub &o) constdedekind::order::Sub< C, L >inline
Sub()=default (defined in dedekind::order::Sub< C, L >)dedekind::order::Sub< C, L >
Sub(const dedekind::sets::Ø< C, L > &) (defined in dedekind::order::Sub< C, L >)dedekind::order::Sub< C, L >inline
Sub(const dedekind::sets::𝔸< C, L, Card > &) (defined in dedekind::order::Sub< C, L >)dedekind::order::Sub< C, L >inline
Sub(const Singleton< C, L > &s) (defined in dedekind::order::Sub< C, L >)dedekind::order::Sub< C, L >inline
Sub(const Interval< C, L > &iv) (defined in dedekind::order::Sub< C, L >)dedekind::order::Sub< C, L >inline