dedekind::sets::Verdict< P, K > Struct Template Reference

Classes
struct	FiniteSort
	Whether a sort is a finite chain, enumerated exactly. More...
struct	Search

Public Types
using	Ternary = dedekind::category::Ternary
using	Kleene = dedekind::category::Kleene

Public Member Functions
constexpr Ternary	operator() (const Pred< K > &t) const
constexpr unsigned	infinite_quantifiers (const Pred< K > &p, bool universal, bool &alternation) const
	The quantifiers over infinite carriers in p, anywhere: those of the kind universal counted, an opposite one flagged.

Public Attributes
const P &	point
std::uint64_t	budget

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/sets/terms.cppm