22 #ifndef ZYPP_SOLVER_DETAIL_SAT_RESOLVER_H
23 #define ZYPP_SOLVER_DETAIL_SAT_RESOLVER_H
24 #ifndef ZYPP_USE_RESOLVER_INTERNALS
25 #error Do not directly include this file!
29 #include <solv/solver.h>
30 #include <solv/pool.h>
65 class SATResolver :
public base::ReferenceCounted,
private base::NonCopyable,
private sat::detail::PoolMember
75 PoolItemList _problem_items;
78 PoolItemList _items_to_install;
79 PoolItemList _items_to_remove;
80 PoolItemList _items_to_lock;
81 PoolItemList _items_to_keep;
84 PoolItemList _result_items_to_install;
85 PoolItemList _result_items_to_remove;
90 bool _allowdowngrade:1;
91 bool _allownamechange:1;
92 bool _allowarchchange:1;
94 bool _allowuninstall:1;
96 bool _noupdateprovide:1;
97 bool _dosplitprovides:1;
99 bool _ignorealreadyrecommended:1;
101 bool _distupgrade_removeunsupported:1;
106 bool _solveSrcPackages:1;
107 bool _cleandepsOnRemove:1;
111 std::string SATprobleminfoString (Id problem, std::string &detail, Id &ignoreId);
112 void resetItemTransaction (PoolItem item);
115 void solverInit(
const PoolItemList & weakItems);
124 void setSystemRequirements();
132 sat::Solvable mapSolvable (
const Id &
id);
133 PoolItem mapItem (
const PoolItem &item);
138 virtual ~SATResolver();
142 virtual std::ostream &
dumpOn( std::ostream & str )
const;
143 friend std::ostream&
operator<<(std::ostream& str,
const SATResolver & obj)
144 {
return obj.dumpOn (str); }
146 ResPool pool (
void)
const;
147 void setPool (
const ResPool & pool) { _pool = pool; }
152 const PoolItemList & weakItems,
153 const std::set<Repository> & upgradeRepos
157 const PoolItemList & weakItems
165 bool fixsystem ()
const {
return _fixsystem;}
166 void setFixsystem (
const bool fixsystem) { _fixsystem = fixsystem;}
168 bool ignorealreadyrecommended ()
const {
return _ignorealreadyrecommended;}
169 void setIgnorealreadyrecommended (
const bool ignorealreadyrecommended) { _ignorealreadyrecommended = ignorealreadyrecommended;}
171 bool distupgrade ()
const {
return _distupgrade;}
172 void setDistupgrade (
const bool distupgrade) { _distupgrade = distupgrade;}
174 bool distupgrade_removeunsupported ()
const {
return _distupgrade_removeunsupported;}
175 void setDistupgrade_removeunsupported (
const bool distupgrade_removeunsupported) { _distupgrade_removeunsupported = distupgrade_removeunsupported;}
177 bool allowdowngrade ()
const {
return _allowdowngrade;}
178 void setAllowdowngrade (
const bool allowdowngrade) { _allowdowngrade = allowdowngrade;}
180 bool allowarchchange ()
const {
return _allowarchchange;}
181 void setAllowarchchange (
const bool allowarchchange) { _allowarchchange = allowarchchange;}
184 void setAllowvendorchange (
const bool allowvendorchange) {
_allowvendorchange = allowvendorchange;}
186 bool allowuninstall ()
const {
return _allowuninstall;}
187 void setAllowuninstall (
const bool allowuninstall) { _allowuninstall = allowuninstall;}
189 bool updatesystem ()
const {
return _updatesystem;}
190 void setUpdatesystem (
const bool updatesystem) { _updatesystem = updatesystem;}
192 bool noupdateprovide ()
const {
return _noupdateprovide;}
193 void setNoupdateprovide (
const bool noupdateprovide) { _noupdateprovide = noupdateprovide;}
195 bool dosplitprovides ()
const {
return _dosplitprovides;}
196 void setDosplitprovides (
const bool dosplitprovides) { _dosplitprovides = dosplitprovides;}
198 bool onlyRequires ()
const {
return _onlyRequires;}
199 void setOnlyRequires (
const bool onlyRequires) { _onlyRequires = onlyRequires;}
201 bool solveSrcPackages()
const {
return _solveSrcPackages; }
202 void setSolveSrcPackages(
bool state_r ) { _solveSrcPackages = state_r; }
204 bool cleandepsOnRemove()
const {
return _cleandepsOnRemove; }
205 void setCleandepsOnRemove(
bool state_r ) { _cleandepsOnRemove = state_r; }
207 PoolItemList problematicUpdateItems(
void )
const {
return _problem_items; }
208 PoolItemList problematicUpdateItems() {
return _problem_items; }
210 PoolItemList resultItemsToInstall () {
return _result_items_to_install; }
211 PoolItemList resultItemsToRemove () {
return _result_items_to_remove; }
226 #endif // ZYPP_USE_RESOLVER_INTERNALS
227 #endif // ZYPP_SOLVER_DETAIL_SAT_RESOLVER_H
std::list< ProblemSolution_Ptr > ProblemSolutionList
Common types used in the Resolver public API and need to be passed down to the details tree...
ResolverFocus
The resolvers general attitude.
::_Pool CPool
Wrapped libsolv C data type exposed as backdoor.
std::list< SolverQueueItem_Ptr > SolverQueueItemList
::_Solver CSolver
Wrapped libsolv C data type exposed as backdoor.
Queue StringQueue
Queue with String ids.
boost::noncopyable NonCopyable
Ensure derived classes cannot be copied.
std::list< ResolverProblem_Ptr > ResolverProblemList
ostream & operator<<(ostream &os, const SolutionActionList &actionlist)
std::ostream & dumpOn(std::ostream &str, const Capability &obj)
std::unordered_set< Capability > CapabilitySet
::_Queue CQueue
Wrapped libsolv C data type exposed as backdoor.