3524d0388a
Fixed use statement
13 years ago
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.
13 years ago
2e41993822
Update solver to use PackageInterface and store pool package ids inside of packages
13 years ago
8cbf3f4d75
No need to unify rules, we already check for duplication on insertion
13 years ago
92d443d07e
Fix arg order
13 years ago
48774ee6ca
Fix Literal id generation
13 years ago
a67a1637e1
Print more human-readable info
13 years ago
831f5219b6
Use spl_object_hash() instead of the package id which doesn't exist anymore
13 years ago
b85c1a2780
Fix interfaces use statements/use interfaces for type hints
13 years ago
4dad9fa6ef
Adding support for LinkConstraints to the solver requests.
...
Constraints are directly passed on to the pool's whatProvides method
which returns a set of packages that satisfy name and constraint conditions.
13 years ago
273e12e386
Rule unification
13 years ago
f3d9c8701a
Generate transaction from solver's final decision queue.
13 years ago
8c9f8fb86f
Rename RelationConstraints to Links in the Package namespace.
...
Constraints have been generalised to allow matching requiring and providing
constraints against each other.
13 years ago
c6321e7277
Fix tests and invalid use statements
13 years ago
3da43e751d
Update naming of repositories
13 years ago
6dbec8718d
Remove contains() from RepositoryInterface
13 years ago
7ea2fd6c93
Fix author/copyright
13 years ago
3a851b4059
Define an interface for packages and move package code to separate namespace.
...
Ids are no longer needed, they are internal to the solver and not a part of
packages.
13 years ago
933cc6179b
Import initial partial port of the libzypp satsolver.
13 years ago
Jordi Boggiano
Nils Adermann