Skip to content

Commit b7f7b91

Browse files
authored
DPL Analysis: Add is_not_filtered_iterator concept (#15940)
1 parent 6c2ae9d commit b7f7b91

1 file changed

Lines changed: 9 additions & 5 deletions

File tree

‎Framework/Core/include/Framework/Concepts.h‎

Lines changed: 9 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -148,23 +148,27 @@ concept has_filtered_policy = not_void<typename std::decay_t<T>::policy_t> && re
148148
template <typename T>
149149
concept is_filtered_iterator = is_iterator<T> && has_filtered_policy<T>;
150150

151-
/// 13. require a filtered table
151+
/// 13. require not filtered table iterator
152+
template <typename T>
153+
concept is_not_filtered_iterator = is_iterator<T> && !has_filtered_policy<T>;
154+
155+
/// 14. require a filtered table
152156
template <typename T>
153157
concept is_filtered_table = requires(T t) { t.isFilteredBase(); };
154158

155-
/// 14. require a filtered table or iterator
159+
/// 15. require a filtered table or iterator
156160
template <typename T>
157161
concept is_filtered = is_filtered_table<T> || is_filtered_iterator<T>;
158162

159-
/// 15. require not filtered table
163+
/// 16. require not filtered table
160164
template <typename T>
161165
concept is_not_filtered_table = is_table<T> && !is_filtered_table<T>;
162166

163-
/// 16. require a join
167+
/// 17. require a join
164168
template <typename T>
165169
concept is_join = requires(T t) { t.isJoin(); };
166170

167-
/// 17. require an enumerated iterator
171+
/// 18. require an enumerated iterator
168172
template <typename T>
169173
concept is_enumerated_iterator = requires(T t) { t.globalIndex(); };
170174

0 commit comments

Comments
 (0)