14 #define ZYPP_USE_RESOLVER_INTERNALS 30 using namespace solver;
39 Resolver::Resolver(
const ResPool & pool )
112 #define ZOLV_FLAG_BOOL( ZSETTER, ZGETTER ) \ 113 void Resolver::ZSETTER( bool yesno_r ){ _pimpl->ZSETTER( yesno_r ); } \ 114 bool Resolver::ZGETTER() const { return _pimpl->ZGETTER(); } \ 116 #define ZOLV_FLAG_TRIBOOL( ZSETTER, ZDEFAULT, ZGETTER ) \ 117 ZOLV_FLAG_BOOL( ZSETTER , ZGETTER ) \ 118 void Resolver::ZDEFAULT() { _pimpl->ZSETTER( indeterminate ); } \ 125 #undef ZOLV_FLAG_BOOL 126 #undef ZOLV_FLAG_TRIBOOL 146 solver::detail::Testcase testcase (dumpPath);
147 return testcase.createTestcase(*
_pimpl,
true, runSolver);
166 {
return str << *obj.
_pimpl; }
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.
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)
Setting whether the solver should allow or disallow vendor changes.
String related utilities and Regular expression matching.
zypp::RW_pointer< solver::detail::ResolverInternal > _pimpl
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)
void setOnlyRequires(bool yesno_r)
Setting whether required packages are installed ONLY So recommended packages, language packages and p...
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.
solver::detail::ItemCapKindList installedSatisfied(const PoolItem &item)
Gives information about WHICH items require an already installed item.
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()
std::list< ResolverProblem_Ptr > ResolverProblemList
Dependency resolver interface.
bool dupAllowArchChange() const
#define ZOLV_FLAG_TRIBOOL(ZSETTER, ZDEFAULT, ZGETTER)
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).
bool forceResolve() const
void addConflict(const Capability &capability)
Adding additional conflict.
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
Resolver ResolverInternal
Preferred name in API.
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
Easy-to use interface to the ZYPP dependency resolver.
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
#define IMPL_PTR_TYPE(NAME)
void setSolveSrcPackages(bool yesno_r)
Set whether to solve source packages build dependencies per default.