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/base/PtrTypes.h"

#include "zypp/ResPool.h"
#include "zypp/solver/detail/Resolver.h"
#include "zypp/solver/detail/SolverQueueItem.h"
#include "zypp/ProblemTypes.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();

    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 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 setAllowVendorChange( bool yesno_r );
    void setDefaultAllowVendorChange(); // set back to default (in zypp.conf)
    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 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 );


  private:
    friend std::ostream & operator<<( std::ostream & str, const Resolver & obj );

    typedef solver::detail::Resolver Impl;
    zypp::RW_pointer<Impl,rw_pointer::Intrusive<Impl> > _pimpl;
  };

  std::ostream & operator<<( std::ostream & str, const Resolver & obj );

} // namespace zypp
#endif // ZYPP_RESOLVER_H