dedekind::relational::detail_graph::AgreesOnRow< R, G, CodRange > Struct Template Reference

Whether r and the graph g agree on every pair of the row a: ∀ b ∈ cod. More...

Collaboration diagram for dedekind::relational::detail_graph::AgreesOnRow< R, G, CodRange >:

Public Member Functions
template<typename A>
constexpr bool	operator() (const A &a) const

Public Attributes
const R &	r
G	g
const CodRange &	cod

Detailed Description

template<typename R, typename G, typename CodRange>
struct dedekind::relational::detail_graph::AgreesOnRow< R, G, CodRange >

Whether r and the graph g agree on every pair of the row a: ∀ b ∈ cod.

---

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

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