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.

Constructor

There is no constructor defined for Decision. Decisions are created by accessing the Solver result. See Solver.each_decision

Methods

op   op_s   ruleinfo   solvable   solver  

Public Instance methods

the decision operation, one of +Satsolver::DECISION_*+

a string representation of the operation

Explain a decision

returns Ruleinfo

The solvable affected by the decision

solver()

[Validate]