22 #include <solv/solver.h>
25 #define ZYPP_USE_RESOLVER_INTERNALS
49 os <<
"[" << (_soft?
"Soft":
"") <<
"Lock: " <<
76 ERR <<
"Lock : " <<
_item <<
" not found" << endl;
79 MIL <<
"Lock " <<
_item <<
" with the SAT-Pool ID: " <<
id << endl;
82 queue_push( &(q), SOLVER_INSTALL | SOLVER_SOLVABLE | SOLVER_WEAK );
84 queue_push( &(q), SOLVER_INSTALL | SOLVER_SOLVABLE );
88 queue_push( &(q), SOLVER_ERASE | SOLVER_SOLVABLE | SOLVER_WEAK );
90 queue_push( &(q), SOLVER_ERASE | SOLVER_SOLVABLE );
93 queue_push( &(q),
id );
101 new_lock->SolverQueueItem::copy(
this);
103 new_lock->_soft =
_soft;
110 int cmp = this->compare (item);
bool compareByNVRA(const SolvableType< Derived > &lhs, const Solvable &rhs)
virtual ~SolverQueueItemLock()
virtual std::ostream & dumpOn(std::ostream &str) const
ResStatus & status() const
Returns the current status.
Solvable satSolvable() const
Return the corresponding sat::Solvable.
virtual SolverQueueItem_Ptr copy(void) const
virtual int cmp(SolverQueueItem_constPtr item) const
IMPL_PTR_TYPE(SATResolver)
Combining sat::Solvable and ResStatus.
IdType id() const
Expert backdoor.
::_Queue CQueue
Wrapped libsolv C data type exposed as backdoor.
SolverQueueItemLock(const ResPool &pool, const PoolItem &item, bool soft=false)
virtual bool addRule(sat::detail::CQueue &q)