| Ω typedef (defined in dedekind::order::Runs< V, L >) | dedekind::order::Runs< V, L > | |
| breakpoints() const | dedekind::order::Runs< V, L > | inline |
| cardinality_type typedef (defined in dedekind::order::Runs< V, L >) | dedekind::order::Runs< V, L > | |
| Codomain typedef (defined in dedekind::order::Runs< V, L >) | dedekind::order::Runs< V, L > | |
| contains(const V &x) const (defined in dedekind::order::Runs< V, L >) | dedekind::order::Runs< V, L > | inline |
| Domain typedef (defined in dedekind::order::Runs< V, L >) | dedekind::order::Runs< V, L > | |
| empty() (defined in dedekind::order::Runs< V, L >) | dedekind::order::Runs< V, L > | inlinestatic |
| first() const (defined in dedekind::order::Runs< V, L >) | dedekind::order::Runs< V, L > | inline |
| logic_species typedef (defined in dedekind::order::Runs< V, L >) | dedekind::order::Runs< V, L > | |
| Map typedef (defined in dedekind::order::Runs< V, L >) | dedekind::order::Runs< V, L > | |
| operator()(const V &x) const | dedekind::order::Runs< V, L > | inline |
| Runs()=default | dedekind::order::Runs< V, L > | |
| Runs(const S &s) | dedekind::order::Runs< V, L > | inlineexplicit |
| steps() const (defined in dedekind::order::Runs< V, L >) | dedekind::order::Runs< V, L > | inline |
| universe() (defined in dedekind::order::Runs< V, L >) | dedekind::order::Runs< V, L > | inlinestatic |