diff --git a/Framework/Core/include/Framework/Concepts.h b/Framework/Core/include/Framework/Concepts.h index fea40b25ff1ff..e000f85b31cda 100644 --- a/Framework/Core/include/Framework/Concepts.h +++ b/Framework/Core/include/Framework/Concepts.h @@ -148,23 +148,27 @@ concept has_filtered_policy = not_void::policy_t> && re template concept is_filtered_iterator = is_iterator && has_filtered_policy; -/// 13. require a filtered table +/// 13. require not filtered table iterator +template +concept is_not_filtered_iterator = is_iterator && !has_filtered_policy; + +/// 14. require a filtered table template concept is_filtered_table = requires(T t) { t.isFilteredBase(); }; -/// 14. require a filtered table or iterator +/// 15. require a filtered table or iterator template concept is_filtered = is_filtered_table || is_filtered_iterator; -/// 15. require not filtered table +/// 16. require not filtered table template concept is_not_filtered_table = is_table && !is_filtered_table; -/// 16. require a join +/// 17. require a join template concept is_join = requires(T t) { t.isJoin(); }; -/// 17. require an enumerated iterator +/// 18. require an enumerated iterator template concept is_enumerated_iterator = requires(T t) { t.globalIndex(); };