moved SATResolver to solver/details
authorStefan Schubert <schubi@suse.de>
Tue, 15 Apr 2008 09:09:40 +0000 (09:09 +0000)
committerStefan Schubert <schubi@suse.de>
Tue, 15 Apr 2008 09:09:40 +0000 (09:09 +0000)
zypp/CMakeLists.txt
zypp/solver/detail/InstallOrder.cc
zypp/solver/detail/Resolver.cc
zypp/solver/detail/ResolverUpgrade.cc
zypp/solver/detail/Resolver_problems.cc
zypp/solver/detail/SATResolver.cc [moved from zypp/sat/SATResolver.cc with 99% similarity]
zypp/solver/detail/SATResolver.h [moved from zypp/sat/SATResolver.h with 100% similarity]

index 4c6f71a..a5b6967 100644 (file)
@@ -494,7 +494,7 @@ SET( zypp_solver_detail_SRCS
   solver/detail/SolverQueueItemDelete.cc
   solver/detail/SolverQueueItemUpdate.cc
   solver/detail/SolverQueueItemInstallOneOf.cc
-
+  solver/detail/SATResolver.cc
 )
 
 SET( zypp_solver_detail_HEADERS
@@ -515,7 +515,7 @@ SET( zypp_solver_detail_HEADERS
   solver/detail/SolverQueueItemDelete.h
   solver/detail/SolverQueueItemUpdate.h
   solver/detail/SolverQueueItemInstallOneOf.h
-
+  solver/detail/SATResolver.h
 )
 
 INSTALL(  FILES
@@ -531,7 +531,6 @@ SET( zypp_sat_SRCS
   sat/WhatProvides.cc
   sat/LocaleSupport.cc
   sat/LookupAttr.cc
-  sat/SATResolver.cc
   sat/SolvAttr.cc
 )
 
@@ -543,7 +542,6 @@ SET( zypp_sat_HEADERS
   sat/WhatProvides.h
   sat/LocaleSupport.h
   sat/LookupAttr.h
-  sat/SATResolver.h
   sat/SolvAttr.h
 )
 
index 5c00180..85c2485 100644 (file)
 #include "zypp/base/Iterator.h"
 #include "zypp/base/Algorithm.h"
 
+#include "zypp/solver/detail/SATResolver.h"
+
 #include "zypp/ResFilters.h"
 #include "zypp/ResStatus.h"
 #include "zypp/NameKindProxy.h"
-#include "zypp/sat/SATResolver.h"
 #include "zypp/sat/Pool.h"
 
 /////////////////////////////////////////////////////////////////////////
index 9f56116..acd50e1 100644 (file)
@@ -23,6 +23,7 @@
 #include "zypp/solver/detail/Resolver.h"
 #include "zypp/solver/detail/Helper.h"
 #include "zypp/solver/detail/Testcase.h"
+#include "zypp/solver/detail/SATResolver.h"
 
 #include "zypp/Capabilities.h"
 #include "zypp/ZConfig.h"
@@ -34,7 +35,6 @@
 #include "zypp/ResFilters.h"
 #include "zypp/sat/Pool.h"
 #include "zypp/sat/Solvable.h"
-#include "zypp/sat/SATResolver.h"
 
 #define MAXSOLVERRUNS 5
 
index 71aaf30..db7dcb7 100644 (file)
 #include "zypp/solver/detail/Helper.h"
 #include "zypp/solver/detail/Resolver.h"
 #include "zypp/solver/detail/Testcase.h"
+#include "zypp/solver/detail/SATResolver.h"
 #include "zypp/ResolverProblem.h"
 #include "zypp/ProblemSolution.h"
 #include "zypp/Target.h"
-#include "zypp/sat/SATResolver.h"
-
 
 /////////////////////////////////////////////////////////////////////////
 namespace zypp
index 8682f28..1d61e68 100644 (file)
@@ -23,9 +23,9 @@
 #include <sstream>
 
 #include "zypp/solver/detail/Resolver.h"
+#include "zypp/solver/detail/SATResolver.h"
 #include "zypp/Resolver.h"
 #include "zypp/ResolverProblem.h"
-#include "zypp/sat/SATResolver.h"
 
 #include "zypp/base/String.h"
 #include "zypp/base/Logger.h"
similarity index 99%
rename from zypp/sat/SATResolver.cc
rename to zypp/solver/detail/SATResolver.cc
index 8157eab..5b05b01 100644 (file)
@@ -31,9 +31,9 @@
 #include "zypp/ResPool.h"
 #include "zypp/ResFilters.h"
 #include "zypp/ZConfig.h"
-#include "zypp/sat/SATResolver.h"
 #include "zypp/sat/Pool.h"
 #include "zypp/sat/WhatProvides.h"
+#include "zypp/solver/detail/SATResolver.h"
 #include "zypp/solver/detail/ProblemSolutionCombi.h"
 
 extern "C" {