dedekind::category::IsChainDecidedAntisymmetric Concept Reference

Concept definition

template<typename T, typename Rel>
concept dedekind::category::IsChainDecidedAntisymmetric =  IsWalkableChain<T, Rel, 2> && !requires {
  T::template is_antisymmetric_v<Rel>;
} && requires {
  typename std::bool_constant<antisymmetric_on(Rel{}, unit<T>(Sup{}),
                                               unit<T>(Inf{}))>;
}