dedekind::relational::detail_rows::Defined< K > Struct Template Reference

The columns [lo, hi) as defined by p: per column the term of a conjunct defining it over the columns of others alone, landing in the column's sort (a K₃ term defines no 𝔹 column), and whether nothing else is asked (the residual ⊤). Nothing where a column is not so defined. More...

Collaboration diagram for dedekind::relational::detail_rows::Defined< K >:

Public Attributes
std::vector< dedekind::sets::Term< K > >	terms
bool	only

Detailed Description

template<typename K>
struct dedekind::relational::detail_rows::Defined< K >

The columns [lo, hi) as defined by p: per column the term of a conjunct defining it over the columns of others alone, landing in the column's sort (a K₃ term defines no 𝔹 column), and whether nothing else is asked (the residual ⊤). Nothing where a column is not so defined.

---

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

• src/main/modules/dedekind/relational/rows.cppm