22 #include <solv/solver.h>
49 os <<
"[" << (_soft?
"Soft":
"") <<
"Delete: "
73 #define MAYBE_CLEANDEPS (pool().resolver().cleandepsOnRemove()?SOLVER_CLEANDEPS:0)
77 queue_push( &(q), SOLVER_ERASE | SOLVER_SOLVABLE_NAME | SOLVER_WEAK |
MAYBE_CLEANDEPS );
79 queue_push( &(q), SOLVER_ERASE | SOLVER_SOLVABLE_NAME |
MAYBE_CLEANDEPS );
81 queue_push( &(q),
id);
84 <<
" with SAT-Pool: " <<
id << endl;
92 new_delete->SolverQueueItem::copy(
this);
94 new_delete->_soft =
_soft;
105 if (
_name != del->_name) {
106 return _name.compare(del->_name);
IdType id() const
Expert backdoor.
virtual bool addRule(_Queue &q)
virtual ~SolverQueueItemDelete()
SolverQueueItemDelete(const ResPool &pool, std::string name, bool soft=false)
Access to the sat-pools string space.
virtual int cmp(SolverQueueItem_constPtr item) const
IMPL_PTR_TYPE(ProblemSolutionCombi)
virtual SolverQueueItem_Ptr copy(void) const
int compare(SolverQueueItem_constPtr item) const
virtual std::ostream & dumpOn(std::ostream &str) const
Overload to realize std::ostream & operator<<.