Static assert that comparator provides a strict ordering

Signed-off-by: Joseph Schuchart <[email protected]>
devreal · Nov 14, 2024 · 6a6fa70 · 6a6fa70
1 parent 393b4ee
commit 6a6fa70
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ttg/ttg/constraint.h b/ttg/ttg/constraint.h
@@ -75,6 +75,8 @@ namespace ttg {
     using compare_t = Compare;
     using base_t = ConstraintBase<Key>;
 
+    static_assert((!Compare{}(Ordinal{}, Ordinal{})), "Comparator must provide strict ordering.");
+
   protected:
     struct sequence_elem_t {
       std::map<ttg::TTBase*, std::vector<key_type>> m_keys;