\(\pi_I^{-1}(S)\): the cylinder of a set S on axis I of a pair, a relational predicate. More...

Collaboration diagram for dedekind::order::InSlot< I, S >:

Public Types
using	is_rel_predicate = void

Public Member Functions
template<typename P> requires std::invocable<const S&, decltype(Projection<I>{}(std::declval<const P&>()))>
constexpr bool	operator() (const P &p) const

Public Attributes
S	set

Detailed Description

template<IsRingIntegral auto I, typename S>
struct dedekind::order::InSlot< I, S >

\(\pi_I^{-1}(S)\): the cylinder of a set S on axis I of a pair, a relational predicate.

Template Parameters

I	the axis.
S	the set.

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

Public Types