dedekind::relational::detail_graph::AgreesAt< R, G, A > Struct Template Reference

Whether r and the graph g agree on the pair (a, b). More...

Public Member Functions
template<typename B> requires std::invocable<const R&, std::pair<A, B>> && std::invocable<const G&, std::pair<A, B>>
constexpr bool	operator() (const B &b) const

Public Attributes
const R &	r
const G &	g
const A &	a

Detailed Description

template<typename R, typename G, typename A>
struct dedekind::relational::detail_graph::AgreesAt< R, G, A >

Whether r and the graph g agree on the pair (a, b).

---

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

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