The path DAG's edge relation i → i+1, a NAMED predicate carrier (un-lambda'd, so it is a typed relation the DSL converse and relation traits attach to). More...

Public Member Functions
template<typename Pair>
constexpr bool	operator() (const Pair &p) const

Detailed Description

The path DAG's edge relation i → i+1, a NAMED predicate carrier (un-lambda'd, so it is a typed relation the DSL converse and relation traits attach to).

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

src/main/modules/dedekind/linear_algebra/transfer.cppm

Public Member Functions

Detailed Description