satsolver
0.17.2
|
Functions | |
addrpmrulesforweak if we only look at those rules affected by the job or a decision By use of the linked list rooted at the solver is able to wade through all the rules and pick the right ones And only those have to evaluate to true during propagation subsection solving Actual solving works as follows ensure the SYSTEM solvable gets installed look through the job rules for unit | rules (i.e.rules directly installing/removing a solvable)-These two define the 'initial decisions'which now get propagated-propagation either results in other decisions(i.e.one sub-term false requires the other one to become true) or 'free'literals(which are decided by policy heuristics)-The solver has a 'decisionq'which record decisions(> 0 for 'install' |
Variables | |
addrpmrulesforweak if | suggests |
addrpmrulesforweak if we only look at those rules affected by the job or a decision By use of the linked list rooted at | watches |
addrpmrulesforweak if we only look at those rules affected by the job or a decision By use of the linked list rooted at the solver is able to wade through all the rules and pick the right ones And only those have to evaluate to true during propagation subsection solving Actual solving works as follows ensure the SYSTEM solvable gets installed look through the job rules for unit rules | ( | i.e.rules directly installing/removing a | solvable) |
Referenced by solver_printrule().
addrpmrulesforweak if suggests |
Definition at line 194 of file HowItWorks.doc.
addrpmrulesforweak if we only look at those rules affected by the job or a decision By use of the linked list rooted at watches |
Definition at line 194 of file HowItWorks.doc.
Referenced by propagate().