OXIESEC PANEL

Name	Size	Modified	Perms
📁 ..	-	07/20/2024 06:32:22 AM	rwxr-xr-x
📄 Decisions.php	5.1 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 DefaultPolicy.php	9.12 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 GenericRule.php	2.12 KB	01/31/2018 03:28:18 PM	rw-r--r--
📁 Operation	-	07/20/2024 06:32:22 AM	rwxr-xr-x
📄 PolicyInterface.php	746 bytes	01/31/2018 03:28:18 PM	rw-r--r--
📄 Pool.php	13.88 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 Problem.php	9.45 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 Request.php	1.91 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 Rule.php	8.99 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 Rule2Literals.php	2.44 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 RuleSet.php	4.06 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 RuleSetGenerator.php	12.41 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 RuleSetIterator.php	2.28 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 RuleWatchChain.php	1.37 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 RuleWatchGraph.php	5.2 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 RuleWatchNode.php	2.68 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 Solver.php	26.15 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 SolverBugException.php	757 bytes	01/31/2018 03:28:18 PM	rw-r--r--
📄 SolverProblemsException.php	2.69 KB	01/31/2018 03:28:18 PM	rw-r--r--
📄 Transaction.php	7.55 KB	01/31/2018 03:28:18 PM	rw-r--r--

Editing: RuleWatchNode.php

<?php

/*
 * This file is part of Composer.
 *
 * (c) Nils Adermann <naderman@naderman.de>
 *     Jordi Boggiano <j.boggiano@seld.be>
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */

namespace Composer\DependencyResolver;

/**
 * Wrapper around a Rule which keeps track of the two literals it watches
 *
 * Used by RuleWatchGraph to store rules in two RuleWatchChains.
 *
 * @author Nils Adermann <naderman@naderman.de>
 */
class RuleWatchNode
{
    public $watch1;
    public $watch2;

protected $rule;

/**
     * Creates a new node watching the first and second literals of the rule.
     *
     * @param Rule $rule The rule to wrap
     */
    public function __construct($rule)
    {
        $this->rule = $rule;

$literals = $rule->getLiterals();

$this->watch1 = count($literals) > 0 ? $literals[0] : 0;
        $this->watch2 = count($literals) > 1 ? $literals[1] : 0;
    }

/**
     * 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.
     *
     * @param Decisions $decisions The decisions made so far by the solver
     */
    public function watch2OnHighest(Decisions $decisions)
    {
        $literals = $this->rule->getLiterals();

// if there are only 2 elements, both are being watched anyway
        if (count($literals) < 3) {
            return;
        }

$watchLevel = 0;

foreach ($literals as $literal) {
            $level = $decisions->decisionLevel($literal);

if ($level > $watchLevel) {
                $this->watch2 = $literal;
                $watchLevel = $level;
            }
        }
    }

/**
     * Returns the rule this node wraps
     *
     * @return Rule
     */
    public function getRule()
    {
        return $this->rule;
    }

/**
     * Given one watched literal, this method returns the other watched literal
     *
     * @param  int $literal The watched literal that should not be returned
     * @return int A literal
     */
    public function getOtherWatch($literal)
    {
        if ($this->watch1 == $literal) {
            return $this->watch2;
        }

return $this->watch1;
    }

/**
     * Moves a watch from one literal to another
     *
     * @param int $from The previously watched literal
     * @param int $to   The literal to be watched now
     */
    public function moveWatch($from, $to)
    {
        if ($this->watch1 == $from) {
            $this->watch1 = $to;
        } else {
            $this->watch2 = $to;
        }
    }
}