22 #include <solv/solver.h> 25 #define ZYPP_USE_RESOLVER_INTERNALS 51 os <<
"[" << (_soft?
"Soft":
"") <<
"Install: " 78 queue_push( &(q), SOLVER_INSTALL | SOLVER_SOLVABLE_NAME | SOLVER_WEAK );
80 queue_push( &(q), SOLVER_INSTALL | SOLVER_SOLVABLE_NAME );
82 queue_push( &(q),
id);
85 <<
" with SAT-PoolID: " <<
id << endl;
93 new_install->SolverQueueItem::copy(
this);
95 new_install->_soft =
_soft;
102 int cmp = this->compare (item);
106 if (
_name != ins->_name) {
107 return _name.compare(ins->_name);
IdType id() const
Expert backdoor.
virtual int cmp(SolverQueueItem_constPtr item) const
Access to the sat-pools string space.
virtual std::ostream & dumpOn(std::ostream &str) const
virtual ~SolverQueueItemInstall()
SolverQueueItemInstall(const ResPool &pool, std::string name, bool soft=false)
IMPL_PTR_TYPE(SATResolver)
::_Queue CQueue
Wrapped libsolv C data type exposed as backdoor.
Easy-to use interface to the ZYPP dependency resolver.
virtual SolverQueueItem_Ptr copy(void) const
virtual bool addRule(sat::detail::CQueue &q)