61ad71b624
Reverse the transaction instruction order.
...
Early decisions cause later ones through dependencies. So in order to
perform the earlier decisions the later ones must be fulfilled first.
2011-08-05 04:14:11 -04:00
256955f0f7
Minor code cleanup
2011-07-21 13:53:39 +02:00
825deff09f
Completed analysis of unsolvable situations and main decision process
2011-07-08 07:11:04 -04:00
bc672deb32
Moving rule iteration logic to a separate RuleSet and RuleSetIterator class
2011-06-27 00:11:57 +02:00
3524d0388a
Fixed use statement
2011-06-08 11:32:41 +02:00
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.
2011-06-07 22:43:26 +02:00
2e41993822
Update solver to use PackageInterface and store pool package ids inside of packages
2011-06-03 18:27:44 +02:00
8cbf3f4d75
No need to unify rules, we already check for duplication on insertion
2011-06-03 18:03:12 +02:00
92d443d07e
Fix arg order
2011-05-23 02:04:17 +02:00
48774ee6ca
Fix Literal id generation
2011-05-23 02:00:21 +02:00
a67a1637e1
Print more human-readable info
2011-05-23 02:00:03 +02:00
831f5219b6
Use spl_object_hash() instead of the package id which doesn't exist anymore
2011-05-23 02:00:00 +02:00
b85c1a2780
Fix interfaces use statements/use interfaces for type hints
2011-05-23 01:59:57 +02:00
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.
2011-05-22 23:54:48 +02:00
273e12e386
Rule unification
2011-05-22 19:40:52 +02:00
f3d9c8701a
Generate transaction from solver's final decision queue.
2011-05-22 19:40:41 +02:00
8c9f8fb86f
Rename RelationConstraints to Links in the Package namespace.
...
Constraints have been generalised to allow matching requiring and providing
constraints against each other.
2011-04-18 00:27:31 +02:00
c6321e7277
Fix tests and invalid use statements
2011-04-17 23:45:37 +02:00
3da43e751d
Update naming of repositories
2011-04-17 23:32:53 +02:00
6dbec8718d
Remove contains() from RepositoryInterface
2011-04-17 22:59:23 +02:00
7ea2fd6c93
Fix author/copyright
2011-04-17 21:39:53 +02:00
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.
2011-04-17 21:36:05 +02:00
933cc6179b
Import initial partial port of the libzypp satsolver.
2011-04-05 17:37:19 +02:00
Nils Adermann