diff options
| author | Julian Andres Klode <julian.klode@canonical.com> | 2025-02-06 11:28:07 +0100 |
|---|---|---|
| committer | Julian Andres Klode <julian.klode@canonical.com> | 2025-02-07 20:59:43 +0100 |
| commit | ecb1399ca5f4917286d354b00dadb91c8075db1d (patch) | |
| tree | 1c93f36c0127c6155d9d4a234e65af0299f40747 /dselect | |
| parent | 3d5f8042c64c30497a65e522c6e402eb4bab10c3 (diff) | |
solver3: Point to stored clauses, do not copy them
This makes Work trivially destructible, and in turn solved, allowing
their queues to be destructed without running destructors, and avoiding
the copy should have a nice performance improvement.
Diffstat (limited to 'dselect')
0 files changed, 0 insertions, 0 deletions