Go to the documentation of this file.
22 #include <solv/solver.h>
25 #define ZYPP_USE_RESOLVER_INTERNALS
50 os <<
"[" << (
_soft?
"Soft":
"") <<
"Update: " <<
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.
virtual bool addRule(sat::detail::CQueue &q)
virtual int cmp(SolverQueueItem_constPtr item) const
IdType id() const
Expert backdoor.
Solvable satSolvable() const
Return the corresponding sat::Solvable.
IMPL_PTR_TYPE(SATResolver)
virtual ~SolverQueueItemUpdate()
bool compareByNVRA(const SolvableType< Derived > &lhs, const Solvable &rhs)
This is an overloaded member function, provided for convenience. It differs from the above function o...
Easy-to use interface to the ZYPP dependency resolver.
::s_Queue CQueue
Wrapped libsolv C data type exposed as backdoor.
virtual std::ostream & dumpOn(std::ostream &str) const
SolverQueueItemUpdate(const ResPool &pool, const PoolItem &item, bool soft=false)
virtual SolverQueueItem_Ptr copy(void) const