|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
This is the complete list of members for dedekind::order::Sub< C, L >, including all inherited members.
| operator()(const C &x) const | dedekind::order::Sub< C, L > | inline |
| operator<=(const Sub &a, const Sub &b) | dedekind::order::Sub< C, L > | friend |
| operator==(const Sub &o) const | dedekind::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 |