dedekind::category::detail_runs::Along< Pred, N, K > Member List

This is the complete list of members for dedekind::category::detail_runs::Along< Pred, N, K >, including all inherited members.

holds (defined in dedekind::category::detail_runs::Along< Pred, N, K >)	dedekind::category::detail_runs::Along< Pred, N, K >
operator()(const State &s, N x) const (defined in dedekind::category::detail_runs::Along< Pred, N, K >)	dedekind::category::detail_runs::Along< Pred, N, K >	inline