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

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

operator()(const Interval< V, L > &s) const (defined in dedekind::order::detail_steps::Steps< L >)dedekind::order::detail_steps::Steps< L >inline
operator()(const Runs< V, L > &r) const (defined in dedekind::order::detail_steps::Steps< L >)dedekind::order::detail_steps::Steps< L >inline
operator()(const Ø< V, L > &) const (defined in dedekind::order::detail_steps::Steps< L >)dedekind::order::detail_steps::Steps< L >inline
operator()(const 𝔸< V, L, C > &) const (defined in dedekind::order::detail_steps::Steps< L >)dedekind::order::detail_steps::Steps< L >inline
operator()(const Comprehension< 𝔸< V, L, C >, Point< V > > &c) constdedekind::order::detail_steps::Steps< L >inline
operator()(const Comprehension< 𝔸< V, L, C >, Identity< V > > &) constdedekind::order::detail_steps::Steps< L >inline
operator()(const Comprehension< 𝔸< V, L, C >, P > &c) constdedekind::order::detail_steps::Steps< L >inline
operator()(const Meet< A, B > &, RA a, RB b) const (defined in dedekind::order::detail_steps::Steps< L >)dedekind::order::detail_steps::Steps< L >inline
operator()(const Join< A, B > &, RA a, RB b) const (defined in dedekind::order::detail_steps::Steps< L >)dedekind::order::detail_steps::Steps< L >inline
operator()(const Not< A > &, RA a) const (defined in dedekind::order::detail_steps::Steps< L >)dedekind::order::detail_steps::Steps< L >inline
operator()(const X &, const R &...) const (defined in dedekind::order::detail_steps::Steps< L >)dedekind::order::detail_steps::Steps< L >inline
steer(const Comprehension< 𝔸< V, L, C >, Pred< K > > &c) constdedekind::order::detail_steps::Steps< L >inline