dedekind::order::detail_connective::OfKind< K > Member List

This is the complete list of members for dedekind::order::detail_connective::OfKind< K >, including all inherited members.

k (defined in dedekind::order::detail_connective::OfKind< K >)	dedekind::order::detail_connective::OfKind< K >
operator()(const Pred< K > &q) const (defined in dedekind::order::detail_connective::OfKind< K >)	dedekind::order::detail_connective::OfKind< K >	inline