22#include <solv/solver.h> 
   25#define ZYPP_USE_RESOLVER_INTERNALS 
   53    os << 
"[" << (
_soft?
"Soft":
"") << 
"InstallOneOf: ";
 
   54    for (PoolItemList::const_iterator iter = 
_oneOfList.begin();
 
 
   83    MIL << 
"Install one of " << (
_soft ? 
"(soft):" : 
":")<< endl;
 
   87        queue_push( &(q), SOLVER_INSTALL | SOLVER_SOLVABLE_ONE_OF | SOLVER_WEAK);
 
   89        queue_push( &(q), SOLVER_INSTALL | SOLVER_SOLVABLE_ONE_OF );
 
   94        Id 
id = (*iter)->satSolvable().id();
 
   96            ERR << *iter << 
" not found" << endl;
 
   99            MIL << 
"    candidate:" << *iter << 
" with the SAT-Pool ID: " << 
id << endl;
 
  100            queue_push( &(qs), 
id );
 
  104    queue_push( &(q), pool_queuetowhatprovides(satPool.
get(), &qs));
 
 
  114    new_installOneOf->SolverQueueItem::copy(
this);
 
  115    new_installOneOf->_soft = 
_soft;
 
  117    return new_installOneOf;
 
 
  123    int cmp = this->compare (item);
 
  126    SolverQueueItemInstallOneOf_constPtr install = dynamic_pointer_cast<const SolverQueueItemInstallOneOf>(item);
 
  128    return (
_oneOfList == install->_oneOfList) ? 0 : -1; 
 
 
static Pool instance()
Singleton ctor.
detail::CPool * get() const
Expert backdoor.
virtual bool addRule(sat::detail::CQueue &q)
virtual ~SolverQueueItemInstallOneOf()
virtual int cmp(SolverQueueItem_constPtr item) const
std::list< PoolItem > PoolItemList
virtual SolverQueueItem_Ptr copy(void) const
SolverQueueItemInstallOneOf(const ResPool &pool, PoolItemList itemList, bool soft=false)
virtual std::ostream & dumpOn(std::ostream &str) const
::s_Queue CQueue
Wrapped libsolv C data type exposed as backdoor.
Easy-to use interface to the ZYPP dependency resolver.
#define IMPL_PTR_TYPE(NAME)