diff options
| author | Julian Andres Klode <julian.klode@canonical.com> | 2025-02-03 17:22:31 +0100 |
|---|---|---|
| committer | Julian Andres Klode <julian.klode@canonical.com> | 2025-02-07 20:59:43 +0100 |
| commit | ae2fc9b5121e4a253d1f81fcf14bcd2afd59538c (patch) | |
| tree | 3cc8043e907c3f61b21dd3f476bee9ba5b0a8c46 /apt-pkg/statechanges.h | |
| parent | 276ecdaedc80b1c7106142810a0960cbeba13796 (diff) | |
solver3: Propagate single choice clauses as facts
This removes a bunch of complexity, and generalizes the
propagation behavior, such that we don't need to do
if (w.solutions.size() == 1 && not w.optional)
Enqueue()
else
AddWork(w);
in our callers.
Diffstat (limited to 'apt-pkg/statechanges.h')
0 files changed, 0 insertions, 0 deletions