function Solver::selectAndInstall

Parameters

non-empty-list<int> $decisionQueue:

1 call to Solver::selectAndInstall()

Solver::runSat in vendor/composer/composer/src/Composer/DependencyResolver/Solver.php

File

vendor/composer/composer/src/Composer/DependencyResolver/Solver.php, line 327

Class

Solver

@author Nils Adermann <naderman@naderman.de>

Namespace

Composer\DependencyResolver

Code

private function selectAndInstall(int $level, array $decisionQueue, Rule $rule) : int {
    // choose best package to install from decisionQueue
    $literals = $this->policy
        ->selectPreferredPackages($this->pool, $decisionQueue, $rule->getRequiredPackage());
    $selectedLiteral = array_shift($literals);
    // if there are multiple candidates, then branch
    if (\count($literals) > 0) {
        $this->branches[] = [
            $literals,
            $level,
        ];
    }
    return $this->setPropagateLearn($level, $selectedLiteral, $rule);
}