| Operation |
| PolicyInterface |
| 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 |