dedekind::category::BetaReduction Member List

This is the complete list of members for dedekind::category::BetaReduction, including all inherited members.

operator()(const A &atom) const (defined in dedekind::category::BetaReduction)	dedekind::category::BetaReduction	inline
operator()(const N &node, const R &... reduced) const (defined in dedekind::category::BetaReduction)	dedekind::category::BetaReduction	inline