@ -32,12 +32,9 @@ class Solver
protected $addedMap = array();
protected $updateMap = array();
protected $watches = array();
protected $removeWatches = array();
protected $decisionMap;
protected $installedMap;
protected $packageToUpdateRule = array();
protected $decisionQueue = array();
protected $decisionQueueWhy = array();
protected $decisionQueueFree = array();