dedekind::sets::Cmp< R, A, B > Struct Template Reference

The atom a R b over two terms, a relational predicate. More...

Collaboration diagram for dedekind::sets::Cmp< R, A, B >:

Public Types
using	is_rel_predicate = void

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

Public Attributes
A	a
B	b

Detailed Description

template<Rel R, typename A, typename B>
struct dedekind::sets::Cmp< R, A, B >

The atom a R b over two terms, a relational predicate.

Template Parameters

R	the comparison.
A,B	the terms.

Member Function Documentation

operator()()

template<Rel R, typename A, typename B>

template<typename P>

bool dedekind::sets::Cmp< R, A, B >::operator() ( const P & p ) const

inlineconstexpr

Parameters

p	the point (a pair, or a carrier value for an atom on π).

---

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

• src/main/modules/dedekind/sets/terms.cppm