diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-06-29 02:08:40 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-06-29 02:22:13 +0200 |
| commit | 8d79e7f39df0fde9b4f0ba8e6264f2900e9024c6 (patch) | |
| tree | 9cc6850dba18ed526eb27a911bc3f73b28752a14 /.reuse | |
| parent | fix: FilteredView default value (diff) | |
| download | refinery-8d79e7f39df0fde9b4f0ba8e6264f2900e9024c6.tar.gz refinery-8d79e7f39df0fde9b4f0ba8e6264f2900e9024c6.tar.zst refinery-8d79e7f39df0fde9b4f0ba8e6264f2900e9024c6.zip | |
feat: ordered query ResultSet
Enable deterministic state-space exploration by ordering activations in
lexicographic order.
This preliminary implementation adds oredering as a wrapper for ResultSet
instances, but more sophisticated support could be built directly into query
engine adapters if a query engine supports deterministic output by default.
* Implements Comparable for tuples with loops unrolled for small tuples by hand.
* Cleans up the contents of the (root of the) tools.refinery.query package.
* Adds ResultSetListener to notify clients about ResultSet changes.
* Adds OrderStatisticTree data structure for determinisitc ordering of keys.
Diffstat (limited to '.reuse')
0 files changed, 0 insertions, 0 deletions