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

A slot map by three ranges: the domain's columns, the codomain's, and the slots past the arity (a factor's own bound slots). More...

Public Member Functions
constexpr dedekind::sets::Term< K >	operator() (unsigned s) const

Public Attributes
unsigned	dom
unsigned	arity
int	on_dom
int	on_cod
int	on_bound

Detailed Description

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

A slot map by three ranges: the domain's columns, the codomain's, and the slots past the arity (a factor's own bound slots).

---

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

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