dedekind::category::over_nodes< Leaf, T > Struct Template Reference

A property of a term's leaves, lifted over the lattice's nodes: a Meet or Join has it where both operands do and share a domain, a Not where its operand does. One rule for every carrier that lifts a leaf property over the nodes: the opt-in to | and & below, and the set objects of sets (is_set_object). More...

Inheritance diagram for dedekind::category::over_nodes< Leaf, T >:

Collaboration diagram for dedekind::category::over_nodes< Leaf, T >:

Detailed Description

template<typename Leaf, typename T>
struct dedekind::category::over_nodes< Leaf, T >

A property of a term's leaves, lifted over the lattice's nodes: a Meet or Join has it where both operands do and share a domain, a Not where its operand does. One rule for every carrier that lifts a leaf property over the nodes: the opt-in to | and & below, and the set objects of sets (is_set_object).

Template Parameters

Leaf	the property, a policy type with Leaf::holds<T>, a bool per leaf (a type, not a template-template parameter, which the posture keeps out of exported signatures).
T	the term.

---

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

• src/main/modules/dedekind/category/lattice.cppm