Nils Adermann
bc672deb32
Moving rule iteration logic to a separate RuleSet and RuleSetIterator class
13 years ago
Nils Adermann
498125adbe
Assertions are now properly decided before running the main solver.
...
Updating does not work yet. The test case works fine for installing/removing
the correct packages however. Weak (update/feature) rules are entirely ignored
so far.
Watches are on literal ids rather than literals to save on function calls
and memory usage. So a few methods for literals now have an id counter part.
This should probably be refactored to have the literal versions call the
id ones instead.
14 years ago
Nils Adermann
2e41993822
Update solver to use PackageInterface and store pool package ids inside of packages
14 years ago
Nils Adermann
8cbf3f4d75
No need to unify rules, we already check for duplication on insertion
14 years ago
Jordi Boggiano
a67a1637e1
Print more human-readable info
14 years ago
Jordi Boggiano
831f5219b6
Use spl_object_hash() instead of the package id which doesn't exist anymore
14 years ago
Jordi Boggiano
b85c1a2780
Fix interfaces use statements/use interfaces for type hints
14 years ago
Nils Adermann
273e12e386
Rule unification
14 years ago
Nils Adermann
f3d9c8701a
Generate transaction from solver's final decision queue.
14 years ago
Nils Adermann
8c9f8fb86f
Rename RelationConstraints to Links in the Package namespace.
...
Constraints have been generalised to allow matching requiring and providing
constraints against each other.
14 years ago
Jordi Boggiano
6dbec8718d
Remove contains() from RepositoryInterface
14 years ago
Jordi Boggiano
7ea2fd6c93
Fix author/copyright
14 years ago
Nils Adermann
933cc6179b
Import initial partial port of the libzypp satsolver.
14 years ago