This is the complete list of members for dedekind::sets::Verdict< P, K >, including all inherited members.

budget (defined in dedekind::sets::Verdict< P, K >)	dedekind::sets::Verdict< P, K >
infinite_quantifiers(const Pred< K > &p, bool universal, bool &alternation) const	dedekind::sets::Verdict< P, K >	inline
Kleene typedef (defined in dedekind::sets::Verdict< P, K >)	dedekind::sets::Verdict< P, K >
operator()(const Pred< K > &t) const (defined in dedekind::sets::Verdict< P, K >)	dedekind::sets::Verdict< P, K >	inline
point (defined in dedekind::sets::Verdict< P, K >)	dedekind::sets::Verdict< P, K >
Ternary typedef (defined in dedekind::sets::Verdict< P, K >)	dedekind::sets::Verdict< P, K >