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

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

bind_as(const Term< K > &t) constdedekind::sets::Bind< X >inline
operator()(const Leaf &) const (defined in dedekind::sets::Bind< X >)dedekind::sets::Bind< X >inline
operator()(const Node &n, R...) const (defined in dedekind::sets::Bind< X >)dedekind::sets::Bind< X >inline
operator()(const Ap< F, A > &t, R) const (defined in dedekind::sets::Bind< X >)dedekind::sets::Bind< X >inline
rep (defined in dedekind::sets::Bind< X >)dedekind::sets::Bind< X >
steer(const Term< K > &t) constdedekind::sets::Bind< X >inline
steer(const Pred< K > &t) const (defined in dedekind::sets::Bind< X >)dedekind::sets::Bind< X >inline