diff options
| author | Douglas Rumbaugh <dbr4@psu.edu> | 2023-11-07 13:44:21 -0500 |
|---|---|---|
| committer | Douglas Rumbaugh <dbr4@psu.edu> | 2023-11-07 13:45:00 -0500 |
| commit | dca44ff5be67c279ffec11224bb2be74a042be18 (patch) | |
| tree | 168c7ccf50a4b69926b1d3b0086ef0c8b1d7995c /include/framework/interface | |
| parent | 9fd6264122f09752b4278c9ff881b4cfe906bbc8 (diff) | |
| parent | cc415c7c100a17c4e944915aeab01be99b14adb9 (diff) | |
| download | dynamic-extension-dca44ff5be67c279ffec11224bb2be74a042be18.tar.gz | |
Merge branch 'query-refactor'
Diffstat (limited to 'include/framework/interface')
| -rw-r--r-- | include/framework/interface/Shard.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/include/framework/interface/Shard.h b/include/framework/interface/Shard.h index d3a6cf8..92cdca0 100644 --- a/include/framework/interface/Shard.h +++ b/include/framework/interface/Shard.h @@ -33,4 +33,10 @@ concept ShardInterface = requires(S s, S **spp, void *p, bool b, size_t i) { {s.get_aux_memory_usage()} -> std::convertible_to<size_t>; }; +template <typename S, typename R> +concept SortedShardInterface = ShardInterface<S> && requires(S s, R r, R *rp) { + {s.lower_bound(r)} -> std::convertible_to<size_t>; + {s.upper_bound(r)} -> std::convertible_to<size_t>; +}; + } |