12 #ifndef ZYPP_RESOLVER_H
13 #define ZYPP_RESOLVER_H
366 bool createSolverTestcase(
const std::string & dumpPath =
"/var/log/YaST2/solverTestcase",
bool runSolver =
true );
446 #endif // ZYPP_RESOLVER_H
bool upgradingRepos() const
Whether there is at least one UpgradeRepo request pending.
void doUpdate()
Update to newest package.
solver::detail::ItemCapKindList installs(const PoolItem &item)
Gives information about WHICH additional items will be installed due the installation of an item...
std::list< ProblemSolution_Ptr > ProblemSolutionList
bool resolvePool()
Resolve package dependencies:
sat::Transaction getTransaction()
Return the Transaction computed by the last solver run.
std::list< PoolItem > problematicUpdateItems() const
Unmaintained packages which does not fit to the updated system (broken dependencies) will be deleted...
void addUpgradeRepo(Repository repo_r)
Adding request to perform a dist upgrade restricted to this repository.
bool dupAllowVendorChange() const
void setDefaultAllowVendorChange()
bool createSolverTestcase(const std::string &dumpPath="/var/log/YaST2/solverTestcase", bool runSolver=true)
Generates a solver Testcase of the current state.
void setAllowDowngrade(bool yesno_r)
Whether to allow to downgrade installed solvable.
void setAllowNameChange(bool yesno_r)
Whether to allow to change name of installed solvable.
bool allowVendorChange() const
void setDefaultSolveSrcPackages()
void setCleandepsOnRemove(bool yesno_r)
Cleanup when deleting packages.
void removeRequire(const Capability &capability)
Remove the additional requirement set by addRequire(Capability).
void dupSetDefaultAllowNameChange()
void dupSetAllowNameChange(bool yesno_r)
dup mode: allow to change name of installed solvable
void setAllowVendorChange(bool yesno_r)
Whether to allow to change vendor of installed solvables.
zypp::RW_pointer< solver::detail::ResolverInternal > _pimpl
void setOnlyRequires(bool yesno_r)
Setting whether required packages are installed ONLY So recommended packages, language packages and p...
Libsolv transaction wrapper.
bool upgradingRepo(Repository repo_r) const
Whether there is an UpgradeRepo request pending for this repo.
bool doUpgrade()
Do an distribution upgrade (DUP)
std::list< SolverQueueItem_Ptr > SolverQueueItemList
friend std::ostream & operator<<(std::ostream &str, const Resolver &obj)
solver::detail::ItemCapKindList isInstalledBy(const PoolItem &item)
Gives information about WHO has pused an installation of an given item.
bool ignoreAlreadyRecommended() const
bool solveSrcPackages() const
bool dupAllowNameChange() const
bool resolveQueue(solver::detail::SolverQueueItemList &queue)
Resolve package dependencies:
ResolverProblemList problems()
Return the dependency problems found by the last call to resolveDependencies().
void removeUpgradeRepo(Repository repo_r)
Remove an upgrade request for this repo.
bool allowNameChange() const
solver::detail::ItemCapKindList installedSatisfied(const PoolItem &item)
Gives information about WHICH items require an already installed item.
void setDefaultAllowArchChange()
void setUpgradeMode(bool yesno_r)
Setting whether the solver should perform in 'upgrade' mode or not.
solver::detail::ItemCapKindList satifiedByInstalled(const PoolItem &item)
Gives information about WHICH installed items are requested by the installation of an item...
bool systemVerification() const
void setDefaultCleandepsOnRemove()
boost::noncopyable NonCopyable
Ensure derived classes cannot be copied.
std::list< ResolverProblem_Ptr > ResolverProblemList
Dependency resolver interface.
bool dupAllowArchChange() const
std::ostream & operator<<(std::ostream &str, const Exception &obj)
void setDefaultAllowNameChange()
void dupSetDefaultAllowArchChange()
bool cleandepsOnRemove() const
CapabilitySet getConflict() const
Get all the additional conflicts set by addConflict(Capability).
CapabilitySet getRequire() const
Get all the additional requirements set by addRequire(Capability).
void setAllowArchChange(bool yesno_r)
Whether to allow to change architecture of installed solvables.
void setDefaultAllowDowngrade()
bool forceResolve() const
void addConflict(const Capability &capability)
Adding additional conflict.
Base class for reference counted objects.
bool allowArchChange() const
void setSystemVerification(bool yesno_r)
System verification mode also monitors and repairs dependencies of already installed packages...
void applySolutions(const ProblemSolutionList &solutions)
Apply problem solutions.
std::unordered_set< Capability > CapabilitySet
void addRequire(const Capability &capability)
Adding additional requirement.
std::list< ItemCapKind > ItemCapKindList
void dupSetDefaultAllowDowngrade()
bool dupAllowDowngrade() const
void removeConflict(const Capability &capability)
Remove the additional conflict set by addConflict(Capability).
bool verifySystem()
Resolve package dependencies:
void setForceResolve(bool force)
Remove resolvables which are conflicts with others or have unfulfilled requirements.
Combining sat::Solvable and ResStatus.
void dupSetAllowDowngrade(bool yesno_r)
dup mode: allow to downgrade installed solvable
void dupSetAllowArchChange(bool yesno_r)
dup mode: allow to change architecture of installed solvables
void setIgnoreAlreadyRecommended(bool yesno_r)
Ignore recommended packages that were already recommended by the installed packages.
bool onlyRequires() const
bool allowDowngrade() const
void dupSetDefaultAllowVendorChange()
void setDefaultSystemVerification()
void removeUpgradeRepos()
Remove all upgrade repo requests.
void dupSetAllowVendorChange(bool yesno_r)
dup mode: allow to change vendor of installed solvables
void setSolveSrcPackages(bool yesno_r)
Set whether to solve source packages build dependencies per default.
Resolver(const ResPool &pool)
Ctor.