|
Deepsolver
|
Static Public Member Functions | |
| static void | fillWithhInstalledPackages (AbstractPackageBackEnd &backEnd, PackageScopeContent &content) |
| static void | prepareReversedMaps (const PackageScopeContent &content, ProvideMap &provideMap, InstalledReferences &requires, InstalledReferences &conflicts) |
| static void | printSolution (const AbstractPackageScope &scope, const VarIdVector &install, const VarIdVector &remove) |
| static std::string | satToString (const AbstractPackageScope &scope, const Sat &sat, const StringVector &annotations) |
1.7.5.1