22 #include <solv/solver.h>
47 os <<
"[" << (_soft?
"Soft":
"") <<
"Update: " <<
74 ERR <<
"Update explicit: " <<
_item <<
" not found" << endl;
77 MIL <<
"Update explicit " <<
_item <<
" with the SAT-Pool ID: " <<
id << endl;
78 queue_push( &(q), SOLVER_UPDATE | SOLVER_SOLVABLE );
79 queue_push( &(q),
id );
87 new_update->SolverQueueItem::copy(
this);
89 new_update->_soft =
_soft;
SolverQueueItemUpdate(const ResPool &pool, const PoolItem &item, bool soft=false)
virtual SolverQueueItem_Ptr copy(void) const
virtual bool addRule(_Queue &q)
ResObject::constPtr resolvable() const
Returns the ResObject::constPtr.
virtual std::ostream & dumpOn(std::ostream &str) const
Overload to realize std::ostream & operator<<.
virtual int cmp(SolverQueueItem_constPtr item) const
IMPL_PTR_TYPE(ProblemSolutionCombi)
sat::Solvable satSolvable() const
Return the corresponding sat::Solvable.
Reference to a PoolItem connecting ResObject and ResStatus.
IdType id() const
Expert backdoor.
int compare(SolverQueueItem_constPtr item) const
virtual ~SolverQueueItemUpdate()