|
@@ -39,6 +39,15 @@ class Solver
|
|
|
|
|
|
protected $packageToFeatureRule = array();
|
|
|
|
|
|
+ protected $decisionQueue = array();
|
|
|
+ protected $decisionQueueWhy = array();
|
|
|
+ protected $decisionQueueFree = array();
|
|
|
+ protected $propagateIndex;
|
|
|
+ protected $branches = array();
|
|
|
+ protected $problems = array();
|
|
|
+ protected $learnedPool = array();
|
|
|
+ protected $recommendsIndex;
|
|
|
+
|
|
|
public function __construct(PolicyInterface $policy, Pool $pool, RepositoryInterface $installed)
|
|
|
{
|
|
|
$this->policy = $policy;
|
|
@@ -677,15 +686,6 @@ class Solver
|
|
|
return array_reverse($transaction);
|
|
|
}
|
|
|
|
|
|
- protected $decisionQueue = array();
|
|
|
- protected $decisionQueueWhy = array();
|
|
|
- protected $decisionQueueFree = array();
|
|
|
- protected $propagateIndex;
|
|
|
- protected $branches = array();
|
|
|
- protected $problems = array();
|
|
|
- protected $learnedPool = array();
|
|
|
- protected $recommendsIndex;
|
|
|
-
|
|
|
protected function literalFromId($id)
|
|
|
{
|
|
|
$package = $this->pool->packageById(abs($id));
|