Resolver.h

Go to the documentation of this file.

/*---------------------------------------------------------------------\
|                          ____ _   __ __ ___                          |
|                         |__  / \ / / . \ . \                         |
|                           / / \ V /|  _/  _/                         |
|                          / /__ | | | | | |                           |
|                         /_____||_| |_| |_|                           |
|                                                                      |
\---------------------------------------------------------------------*/
#ifndef ZYPP_RESOLVER_H
#define ZYPP_RESOLVER_H
 
#include <iosfwd>
#include <functional>
 
#include <zypp/base/ReferenceCounted.h>
 
#include <zypp/solver/Types.h>
#include <zypp/solver/detail/Types.h>
 
namespace zypp
{ 
 
  namespace sat
  {
    class Transaction;
  }
 
  //
  //    CLASS NAME : Resolver
  //
  class Resolver : public base::ReferenceCounted, private base::NonCopyable
  {
  public:
 
    Resolver( const ResPool & pool );
    virtual ~Resolver();
 
    void setDefaultSolverFlags( bool all_r = true );
 
    bool verifySystem();
 
 
    bool resolvePool();
 
 
    bool resolveQueue( solver::detail::SolverQueueItemList & queue );
 
    /*
     * Undo solver changes done in resolvePool()
     * Throwing away all ignored dependencies.
     */
    void undo();
 
    /*
     * Resets solver information and verify option.
     */
    void reset();
 
 
    bool doUpgrade();
 
    void doUpdate( );
 
    std::list<PoolItem> problematicUpdateItems() const;
 
    ResolverProblemList problems();
 
 
    void applySolutions( const ProblemSolutionList & solutions );
 
    sat::Transaction getTransaction();
 
    void setFocus( ResolverFocus focus_r );
    ResolverFocus focus() const;
 
    void setForceResolve( bool force );
    bool forceResolve() const;
 
    void setIgnoreAlreadyRecommended( bool yesno_r );
    bool ignoreAlreadyRecommended() const;
 
    void setOnlyRequires( bool yesno_r );
    void resetOnlyRequires(); // set back to default (described in zypp.conf)
    bool onlyRequires() const;
 
    void setUpgradeMode( bool yesno_r );
    bool upgradeMode() const;
 
    void setUpdateMode( bool yesno_r );
    bool updateMode() const;
 
 
    void setAllowDowngrade( bool yesno_r );
    void setDefaultAllowDowngrade();    // Set back to default
    bool allowDowngrade() const;
 
    void setAllowNameChange( bool yesno_r );
    void setDefaultAllowNameChange();   // Set back to default
    bool allowNameChange() const;
 
    void setAllowArchChange( bool yesno_r );
    void setDefaultAllowArchChange();   // Set back to default
    bool allowArchChange() const;
 
    void setAllowVendorChange( bool yesno_r );
    void setDefaultAllowVendorChange(); // Set back to default
    bool allowVendorChange() const;
 
    void setSystemVerification( bool yesno_r );
    void setDefaultSystemVerification();
    bool systemVerification() const;
 
    void setSolveSrcPackages( bool yesno_r );
    void setDefaultSolveSrcPackages();
    bool solveSrcPackages() const;
 
    void setCleandepsOnRemove( bool yesno_r );
    void setDefaultCleandepsOnRemove(); // set back to default (in zypp.conf)
    bool cleandepsOnRemove() const;
 
    void dupSetAllowDowngrade( bool yesno_r );
    void dupSetDefaultAllowDowngrade();         // Set back to default (in zypp.conf)
    bool dupAllowDowngrade() const;
 
    void dupSetAllowNameChange( bool yesno_r );
    void dupSetDefaultAllowNameChange();        // Set back to default (in zypp.conf)
    bool dupAllowNameChange() const;
 
    void dupSetAllowArchChange( bool yesno_r );
    void dupSetDefaultAllowArchChange();        // Set back to default (in zypp.conf)
    bool dupAllowArchChange() const;
 
    void dupSetAllowVendorChange( bool yesno_r );
    void dupSetDefaultAllowVendorChange();      // Set back to default (in zypp.conf)
    bool dupAllowVendorChange() const;
 
    void addUpgradeRepo( Repository repo_r );
 
    bool upgradingRepos() const;
 
    bool upgradingRepo( Repository repo_r ) const;
 
    void removeUpgradeRepo( Repository repo_r );
 
    void removeUpgradeRepos();
 
    void addRequire( const Capability & capability );
 
    void addConflict( const Capability & capability );
 
    void removeRequire( const Capability & capability );
 
    void removeConflict( const Capability & capability );
 
    CapabilitySet getRequire() const;
 
    CapabilitySet getConflict() const;
 
    bool createSolverTestcase( const std::string & dumpPath = "/var/log/YaST2/solverTestcase", bool runSolver = true );
 
    solver::detail::ItemCapKindList isInstalledBy( const PoolItem & item );
 
    solver::detail::ItemCapKindList installs( const PoolItem & item );
 
    solver::detail::ItemCapKindList satifiedByInstalled( const PoolItem & item );
 
 
    solver::detail::ItemCapKindList installedSatisfied( const PoolItem & item );
 
  public:
    sat::detail::CSolver * get() const;
 
  private:
    friend std::ostream & operator<<( std::ostream & str, const Resolver & obj );
    zypp::RW_pointer<solver::detail::ResolverInternal> _pimpl;
  };
 
  std::ostream & operator<<( std::ostream & str, const Resolver & obj );
 
} // namespace zypp
#endif // ZYPP_RESOLVER_H