dedekind::category::detail_lattice_nodes Namespace Reference

Classes
struct	domain_of
	The domain of a term, read off its first leaf. More...
struct	domain_of< Meet< A, B > >
struct	domain_of< Join< A, B > >
struct	domain_of< Not< A > >
struct	same_domain
	Two operands on one domain: a lazy trait, read only once both operands qualify, so an operand with no domain is never asked for one. More...
struct	BuildsNodes
	The opt-in as a leaf property, for over_nodes. More...

Concepts
concept	BuildNodes
	Two terms whose | and & build nodes: both opted in, on one domain.

Detailed Description

lattice__Node_Builders

| and & on predicates build the nodes above, for the carriers that opt in (builds_lattice_nodes): a carrier states once that its predicates join and meet as these nodes, and a node over such predicates does too. Opt-in, so a set expression, with an | of its own, is never taken.