diff options
| author | Timo Teräs <timo.teras@iki.fi> | 2012-10-08 15:22:06 +0300 |
|---|---|---|
| committer | Timo Teräs <timo.teras@iki.fi> | 2012-10-08 15:22:06 +0300 |
| commit | 16b70566bff8ff8e1c64b23bef85c17628c6b609 (patch) | |
| tree | a7524265ec9ac89f76520db2ffd96d42a89483aa /src/apk_solver_data.h | |
| parent | 01d0e4c408ec5096784c59d5f470960fbb2f3753 (diff) | |
| download | apk-tools-16b70566bff8ff8e1c64b23bef85c17628c6b609.tar.gz apk-tools-16b70566bff8ff8e1c64b23bef85c17628c6b609.tar.bz2 apk-tools-16b70566bff8ff8e1c64b23bef85c17628c6b609.tar.xz apk-tools-16b70566bff8ff8e1c64b23bef85c17628c6b609.zip | |
solver: additional backjumping scheme
Enabled when all attempts to satisfy a name failed, we know that we
can ignore all decisions until we find a decision affecting the name
we wanted to satisfy.
Diffstat (limited to 'src/apk_solver_data.h')
| -rw-r--r-- | src/apk_solver_data.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/apk_solver_data.h b/src/apk_solver_data.h index fd79e65..0327492 100644 --- a/src/apk_solver_data.h +++ b/src/apk_solver_data.h @@ -40,6 +40,7 @@ struct apk_solver_name_state { unsigned none_excluded : 1; unsigned name_touched : 1; unsigned preferred_chosen : 1; + unsigned backjump_enabled : 1; }; #endif |