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