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 ZYPP_API Resolver : public base::ReferenceCounted, private base::NonCopyable
  {
  public:

    Resolver( const ResPool & pool );
    ~Resolver() override;

    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 setRemoveOrphaned( bool yesno_r );
    bool removeOrphaned() const;

    void setRemoveUnneeded( bool yesno_r );
    bool removeUnneeded() 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