22#include <solv/solver.h> 
   25#define ZYPP_USE_RESOLVER_INTERNALS 
   50    os << 
"[" << (
_soft?
"Soft":
"") << 
"Update: " <<
 
 
   75    ::Id 
id = 
_item.satSolvable().id();
 
   77        ERR << 
"Update explicit: " << 
_item << 
" not found" << endl;
 
   80    MIL << 
"Update explicit " << 
_item << 
" with the SAT-Pool ID: " << 
id << endl;
 
   81    queue_push( &(q), SOLVER_UPDATE | SOLVER_SOLVABLE );
 
   82    queue_push( &(q), 
id );
 
 
   90    new_update->SolverQueueItem::copy(
this);
 
   92    new_update->_soft = 
_soft;
 
 
   99    int cmp = this->compare (item);
 
  102    SolverQueueItemUpdate_constPtr update = dynamic_pointer_cast<const SolverQueueItemUpdate>(item);
 
 
Combining sat::Solvable and ResStatus.
int compareByNVRA(const Resolvable::constPtr &lhs, const Resolvable::constPtr &rhs)
Compare Resolvable::constPtr according to kind, name, edition and arch.
virtual SolverQueueItem_Ptr copy(void) const
virtual std::ostream & dumpOn(std::ostream &str) const
SolverQueueItemUpdate(const ResPool &pool, const PoolItem &item, bool soft=false)
virtual ~SolverQueueItemUpdate()
virtual int cmp(SolverQueueItem_constPtr item) const
virtual bool addRule(sat::detail::CQueue &q)
::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)