Mailinglist Archive: zypp-commit (268 mails)

[schubi2@xxxxxxxxxxxxxxxx]

Author: schubi2
Date: Wed Nov 28 15:58:02 2007
New Revision: 7962

URL: http://svn.opensuse.org/viewcvs/zypp?rev=7962&view=rev
Log:
API for SAT solver added

Modified:
    trunk/libzypp/zypp/sat/SATResolver.cc
    trunk/libzypp/zypp/solver/detail/Resolver.cc

Modified: trunk/libzypp/zypp/sat/SATResolver.cc
URL: 
http://svn.opensuse.org/viewcvs/zypp/trunk/libzypp/zypp/sat/SATResolver.cc?rev=7962&r1=7961&r2=7962&view=diff
==============================================================================
--- trunk/libzypp/zypp/sat/SATResolver.cc (original)
+++ trunk/libzypp/zypp/sat/SATResolver.cc Wed Nov 28 15:58:02 2007
@@ -185,10 +185,10 @@
 // if data != NULL, set as APPL_LOW (from establishPool())
 
 static void
-solution_to_pool (PoolItem_Ref item, const ResStatus & status, const 
ResStatus::TransactByValue causer)
+SATSolutionToPool (PoolItem_Ref item, const ResStatus & status, const 
ResStatus::TransactByValue causer)
 {
     if (triggeredSolution.find(item) != triggeredSolution.end()) {
-        _XDEBUG("solution_to_pool(" << item << ") is already in the pool --> 
skip");
+        _XDEBUG("SATSolutionToPool(" << item << ") is already in the pool --> 
skip");
         return;
     }
 
@@ -201,30 +201,30 @@
 
     if (status.isToBeInstalled()) {
        r = item.status().setToBeInstalled (causer);
-       _XDEBUG("solution_to_pool(" << item << ", " << status << ") install !" 
<< r);
+       _XDEBUG("SATSolutionToPool(" << item << ", " << status << ") install !" 
<< r);
     }
     else if (status.isToBeUninstalledDueToUpgrade()) {
        r = item.status().setToBeUninstalledDueToUpgrade (causer);
-       _XDEBUG("solution_to_pool(" << item << ", " << status << ") upgrade !" 
<< r);
+       _XDEBUG("SATSolutionToPool(" << item << ", " << status << ") upgrade !" 
<< r);
     }
     else if (status.isToBeUninstalled()) {
        r = item.status().setToBeUninstalled (causer);
-       _XDEBUG("solution_to_pool(" << item << ", " << status << ") remove !" 
<< r);
+       _XDEBUG("SATSolutionToPool(" << item << ", " << status << ") remove !" 
<< r);
     }
     else if (status.isIncomplete()
             || status.isNeeded()) {
        r = item.status().setIncomplete();
-       _XDEBUG("solution_to_pool(" << item << ", " << status << ") incomplete 
!" << r);
+       _XDEBUG("SATSolutionToPool(" << item << ", " << status << ") incomplete 
!" << r);
     }
     else if (status.isUnneeded()) {
        r = item.status().setUnneeded();
-       _XDEBUG("solution_to_pool(" << item << ", " << status << ") unneeded !" 
<< r);
+       _XDEBUG("SATSolutionToPool(" << item << ", " << status << ") unneeded 
!" << r);
     }
     else if (status.isSatisfied()) {
        r = item.status().setSatisfied();
-       _XDEBUG("solution_to_pool(" << item << ", " << status << ") satisfied 
!" << r);
+       _XDEBUG("SATSolutionToPool(" << item << ", " << status << ") satisfied 
!" << r);
     } else {
-       _XDEBUG("solution_to_pool(" << item << ", " << status << ") unchanged 
!");
+       _XDEBUG("SATSolutionToPool(" << item << ", " << status << ") unchanged 
!");
     }
     return;
 }
@@ -292,18 +292,18 @@
 
//------------------------------------------------------------------------------------------------------------
 
 
-struct CollectTransact : public resfilter::PoolItemFilterFunctor
+struct SATCollectTransact : public resfilter::PoolItemFilterFunctor
 {
     SATResolver & resolver;
 
-    CollectTransact (SATResolver & r)
+    SATCollectTransact (SATResolver & r)
        : resolver (r)
     { }
 
     bool operator()( PoolItem_Ref item )               // only transacts() 
items go here
     {
        ResStatus status = item.status();
-       _XDEBUG( "CollectTransact(" << item << ")" );
+       _XDEBUG( "SATCollectTransact(" << item << ")" );
        bool by_solver = (status.isBySolver() || status.isByApplLow());
 
        if (by_solver) {
@@ -357,10 +357,12 @@
 bool
 SATResolver::resolvePool()
 {
-    CollectTransact info (*this);
+    SATCollectTransact info (*this);
 
     MIL << "SATResolver::resolvePool()" << endl;
 
+    queue_init( &jobQueue );  
+
     invokeOnEach ( _pool.begin(), _pool.end(),
                   resfilter::ByTransact( ),                    // collect 
transacts from Pool to resolver queue
                   functor::functorRef<bool,PoolItem>(info) );
@@ -430,7 +432,7 @@
       if (poolItem) {
          ResStatus status;
          status.isToBeUninstalled();
-         solution_to_pool (poolItem, status, ResStatus::SOLVER);
+         SATSolutionToPool (poolItem, status, ResStatus::SOLVER);
       } else {
          ERR << "id " << i << " not found in ZYPP pool." << endl;
       }
@@ -449,7 +451,7 @@
       if (poolItem) {
          ResStatus status;
          status.isToBeInstalled();
-         solution_to_pool (poolItem, status, ResStatus::SOLVER);
+         SATSolutionToPool (poolItem, status, ResStatus::SOLVER);
       } else {
              ERR << "id " << p << " not found in ZYPP pool." << endl;
       }
@@ -471,7 +473,7 @@
 //----------------------------------------------------------------------------
 
 string
-conflictsString(Solver *solv, Solvable *s, Id pc)
+SATconflictsString(Solver *solv, Solvable *s, Id pc)
 {
     Pool *pool = solv->pool;
     Solvable *sc = pool->solvables + pc;
@@ -503,7 +505,7 @@
 
 
 string
-probleminfoString(Solver *solv, const Queue *job, Id problem)
+SATprobleminfoString(Solver *solv, const Queue *job, Id problem)
 {
   Pool *pool = solv->pool;
   Rule *r;
@@ -608,8 +610,8 @@
       if (sp->name == sd->name) {
          ret += str::form ("cannot install both %s and %s\n", 
solvable2str(pool, sp), solvable2str(pool, sd));
       } else {
-         ret += conflictsString (solv, pool->solvables + (-p), -d);
-         ret += conflictsString (solv, pool->solvables + (-d), -p);
+         ret += SATconflictsString (solv, pool->solvables + (-p), -d);
+         ret += SATconflictsString (solv, pool->solvables + (-d), -p);
       }
   } else {
       /* find requires of p that corresponds with our rule */
@@ -652,7 +654,7 @@
        while ((problem = solver_next_problem(solv, problem)) != 0) {
            MIL << "Problem " <<  pcnt << ":" << endl;
            MIL << "====================================" << endl;
-           string whatString = probleminfoString(solv, &jobQueue, problem);
+           string whatString = SATprobleminfoString(solv, &jobQueue, problem);
            ResolverProblem_Ptr resolverProblem = new ResolverProblem 
(whatString, "");
            solution = 0;
            while ((solution = solver_next_solution(solv, problem, solution)) 
!= 0) {

Modified: trunk/libzypp/zypp/solver/detail/Resolver.cc
URL: 
http://svn.opensuse.org/viewcvs/zypp/trunk/libzypp/zypp/solver/detail/Resolver.cc?rev=7962&r1=7961&r2=7962&view=diff
==============================================================================
--- trunk/libzypp/zypp/solver/detail/Resolver.cc (original)
+++ trunk/libzypp/zypp/solver/detail/Resolver.cc Wed Nov 28 15:58:02 2007
@@ -35,6 +35,8 @@
 #include "zypp/SystemResObject.h"
 #include "zypp/solver/detail/ResolverInfoNeededBy.h"
 #include "zypp/capability/FilesystemCap.h"
+#include "zypp/sat/Pool.h"
+#include "zypp/sat/SATResolver.h"
 
 
 /////////////////////////////////////////////////////////////////////////
@@ -1280,6 +1282,18 @@
 bool
 Resolver::resolvePool( bool tryAllPossibilities )
 {
+
+    // Solving with the satsolver
+    if ( getenv("ZYPP_SAT_SOLVER") ) {
+       MIL << "-------------- Calling SAT Solver -------------------" << endl; 
+       // syncing with sat pool
+       sat::Pool satPool( sat::Pool::instance() );
+       _pool.satSync();
+       
+       SATResolver satResolver(_pool, satPool.get());
+       return satResolver.resolvePool();
+    }
+    
     ResolverContext_Ptr saveContext = _best_context;
     CollectTransact info (*this);
 

--
To unsubscribe, e-mail: zypp-commit+unsubscribe@xxxxxxxxxxxx
For additional commands, e-mail: zypp-commit+help@xxxxxxxxxxxx