22 #include <solv/solver.h> 25 #define ZYPP_USE_RESOLVER_INTERNALS 27 #include <zypp/base/Logger.h> 29 #include <zypp/Resolver.h> 52 os <<
"[" << (
_soft?
"Soft":
"") <<
"Delete: " 76 #define MAYBE_CLEANDEPS (pool().resolver().cleandepsOnRemove()?SOLVER_CLEANDEPS:0) 80 queue_push( &(q), SOLVER_ERASE | SOLVER_SOLVABLE_NAME | SOLVER_WEAK |
MAYBE_CLEANDEPS );
82 queue_push( &(q), SOLVER_ERASE | SOLVER_SOLVABLE_NAME |
MAYBE_CLEANDEPS );
84 queue_push( &(q),
id);
87 <<
" with SAT-Pool: " <<
id << endl;
95 new_delete->SolverQueueItem::copy(
this);
97 new_delete->_soft =
_soft;
104 int cmp = this->compare (item);
108 if (
_name != del->_name) {
109 return _name.compare(del->_name);
virtual SolverQueueItem_Ptr copy(void) const
virtual std::ostream & dumpOn(std::ostream &str) const
virtual ~SolverQueueItemDelete()
IdType id() const
Expert backdoor.
SolverQueueItemDelete(const ResPool &pool, std::string name, bool soft=false)
Access to the sat-pools string space.
virtual int cmp(SolverQueueItem_constPtr item) const
virtual bool addRule(sat::detail::CQueue &q)
IMPL_PTR_TYPE(SATResolver)
::s_Queue CQueue
Wrapped libsolv C data type exposed as backdoor.
Easy-to use interface to the ZYPP dependency resolver.