This is the complete list of members for dedekind::category::Predecessor< N >, including all inherited members.

Codomain typedef (defined in dedekind::category::Predecessor< N >)	dedekind::category::Predecessor< N >
Domain typedef (defined in dedekind::category::Predecessor< N >)	dedekind::category::Predecessor< N >
operator()(const N &n) const noexcept(noexcept(predecessor(n)))	dedekind::category::Predecessor< N >	inline