Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::order::IsTotallyOrdered Concept Referenceexport
module dedekind.order

A refinement where every pair is comparable (The Chain). More...

Concept definition

template<typename T>
concept dedekind::order::IsTotallyOrdered = IsPartiallyOrdered<T> && std::totally_ordered<T>
dedekind::order::IsPartiallyOrdered
A refinement of the Pre-Order that satisfies Antisymmetry (Identity).
Definition poset.cppm:82
dedekind::order::IsTotallyOrdered
A refinement where every pair is comparable (The Chain).
Definition total.cppm:63

Detailed Description

A refinement where every pair is comparable (The Chain).