diff options
| author | Julian Andres Klode <jak@debian.org> | 2026-01-31 21:59:32 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2026-02-10 19:59:03 +0000 |
| commit | 7d5ec84c13227290cfb1bb83d27ae354200bcb02 (patch) | |
| tree | 6afe2b6712ac21fb21e9a54b840deabfb6502840 /methods | |
| parent | 5cbf75ac2e4845b9ed1026f1d11af129e54aaf5b (diff) | |
solver3: Refactor Propagate() using lazy head/tail
Calculate the head and the tail of the clause in Propagate() and
check based on that if the clause is conflict/unit/undecided.
Special care has been taken to avoid the calculation of tail
when it is not necessary by placing it inside a helper lambda;
as well as skipping the calculation when the clause is inactive.
Diffstat (limited to 'methods')
0 files changed, 0 insertions, 0 deletions