dedekind::relational::Factor Struct Reference

A factor of an object: a carrier (a leaf, its sort the column's), or the sum \(X + Y\) of two objects (#1039). A sum lays out a tag column (𝔹: which summand), then the left summand's columns, then the right's; a row reads only the active side, so every column keeps one carrier. More...

Collaboration diagram for dedekind::relational::Factor:

Public Types
enum class	Kind { Leaf , Sum }

Static Public Member Functions
static constexpr Factor	leaf (std::size_t c)
	The leaf of a carrier.

Public Attributes
Kind	kind {Kind::Leaf}
std::size_t	sort {}
std::shared_ptr< const Object >	left
std::shared_ptr< const Object >	right

Friends
constexpr bool	operator== (const Factor &a, const Factor &b)

Detailed Description

A factor of an object: a carrier (a leaf, its sort the column's), or the sum \(X + Y\) of two objects (#1039). A sum lays out a tag column (𝔹: which summand), then the left summand's columns, then the right's; a row reads only the active side, so every column keeps one carrier.

Member Function Documentation

leaf()

constexpr Factor dedekind::relational::Factor::leaf ( std::size_t c )

inlinestaticconstexpr

The leaf of a carrier.

Parameters

c

its sort.

---

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

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