| Decisions |
Stores decisions on installing, removing or keeping packages |
| DefaultPolicy |
|
| GenericRule |
|
| Pool |
A package pool contains repositories that provide packages. |
| Problem |
Represents a problem detected while solving dependencies |
| Request |
|
| Rule |
|
| Rule2Literals |
|
| RuleSet |
|
| RuleSetGenerator |
|
| RuleSetIterator |
|
| RuleWatchChain |
An extension of SplDoublyLinkedList with seek and removal of current element |
| RuleWatchGraph |
The RuleWatchGraph efficiently propagates decisions to other rules |
| RuleWatchNode |
Wrapper around a Rule which keeps track of the two literals it watches |
| Solver |
|
| SolverBugException |
|
| SolverProblemsException |
|
| Transaction |
|