$watch1
$watch1 :
Wrapper around a Rule which keeps track of the two literals it watches
Used by RuleWatchGraph to store rules in two RuleWatchChains.
__construct(\Composer\DependencyResolver\Rule $rule)
Creates a new node watching the first and second literals of the rule.
| \Composer\DependencyResolver\Rule | $rule | The rule to wrap |
watch2OnHighest(\Composer\DependencyResolver\Decisions $decisions)
Places the second watch on the rule's literal, decided at the highest level
Useful for learned rules where the literal for the highest rule is most likely to quickly lead to further decisions.
| \Composer\DependencyResolver\Decisions | $decisions | The decisions made so far by the solver |
getRule() : \Composer\DependencyResolver\Rule
Returns the rule this node wraps