Class | Satsolver::Decision |
In: |
satsolver.i
|
Parent: | Object |
Decisions are the result of an successful solve. Decisions describe the actions to be taken (i.e. install this solvable, remove that solvable, …) to make the solver result effective.
Decisions contain an operation (install, update, remove) and the affected Solvable.
Additionally they have a back pointer to the Rule which lead to the Decision. This allows to find out about the reasoning for the decision.
There is no constructor defined for Decision. Decisions are created by accessing the Solver result. See Solver.each_decision