zypp/solver/detail/Resolver_problems.cc

   1 /* -*- Mode: C++; tab-width: 8; indent-tabs-mode: t; c-basic-offset: 4 -*- */
   2 /* Resolver_problems.cc
   3  *
   4  * Copyright (C) 2000-2002 Ximian, Inc.
   5  * Copyright (C) 2005 SUSE Linux Products GmbH
   6  *
   7  * This program is free software; you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License,
   9  * version 2, as published by the Free Software Foundation.
  10  *
  11  * This program is distributed in the hope that it will be useful, but
  12  * WITHOUT ANY WARRANTY; without even the implied warranty of
  13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14  * General Public License for more details.
  15  *
  16  * You should have received a copy of the GNU General Public License
  17  * along with this program; if not, write to the Free Software
  18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
  19  * 02111-1307, USA.
  20  */
  21
  22 #include <map>
  23 #include <sstream>
  24
  25 #include "zypp/solver/detail/Resolver.h"
  26 #include "zypp/solver/detail/SATResolver.h"
  27 #include "zypp/Resolver.h"
  28 #include "zypp/ResolverProblem.h"
  29
  30 #include "zypp/base/String.h"
  31 #include "zypp/base/Logger.h"
  32 #include "zypp/base/Gettext.h"
  33
  34 #include "zypp/base/Algorithm.h"
  35 #include "zypp/ResPool.h"
  36 #include "zypp/ResFilters.h"
  37
  38
  39 /////////////////////////////////////////////////////////////////////////
  40 namespace zypp
  41 { ///////////////////////////////////////////////////////////////////////
  42   ///////////////////////////////////////////////////////////////////////
  43   namespace solver
  44   { /////////////////////////////////////////////////////////////////////
  45     /////////////////////////////////////////////////////////////////////
  46     namespace detail
  47     { ///////////////////////////////////////////////////////////////////
  48
  49 using namespace std;
  50
  51 ResolverProblemList
  52 Resolver::problems () const
  53 {
  54     MIL << "Resolver::problems()" << endl;
  55     return _satResolver->problems();
  56 }
  57
  58 void
  59 Resolver::applySolutions (const ProblemSolutionList & solutions)
  60 {
  61     for (ProblemSolutionList::const_iterator iter = solutions.begin();
  62          iter != solutions.end(); ++iter) {
  63         ProblemSolution_Ptr solution = *iter;
  64         if (!solution->apply (*this))
  65             break;
  66     }
  67 }
  68
  69 ///////////////////////////////////////////////////////////////////
  70     };// namespace detail
  71     /////////////////////////////////////////////////////////////////////
  72     /////////////////////////////////////////////////////////////////////
  73   };// namespace solver
  74   ///////////////////////////////////////////////////////////////////////
  75   ///////////////////////////////////////////////////////////////////////
  76 };// namespace zypp
  77 /////////////////////////////////////////////////////////////////////////
  78