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) |