src/servers/package/PackageManager.cpp

103

fPackagesRemovedByUser.insert(solverPackage);

src/servers/package/PackageManager.cpp

119

if (fPackagesRemovedByUser.empty() && fPackagesAddedByUser.empty())

src/servers/package/PackageManager.cpp

184

if (fPackagesRemovedByUser.erase(package) == 0)

src/servers/package/PackageManager.cpp

242

if (fPackagesRemovedByUser.find(_SolverPackageFor(package))

src/servers/package/PackageManager.cpp

243

!= fPackagesRemovedByUser.end()) {

src/servers/package/PackageManager.cpp

264

fPackagesRemovedByUser)) {

src/servers/package/PackageManager.cpp

392

repository.PackagesToDeactivate(), fPackagesRemovedByUser);

src/servers/package/PackageManager.cpp

44

fPackagesRemovedByUser(),

src/servers/package/PackageManager.cpp

79

fPackagesRemovedByUser.insert(solverPackage);

src/servers/package/PackageManager.cpp

82

if (fPackagesRemovedByUser.empty())

src/servers/package/PackageManager.h

107

SolverPackageSet fPackagesRemovedByUser;

src/servers/package/ProblemWindow.cpp

123

fPackagesRemovedByUser = &packagesRemovedByUser;

src/servers/package/ProblemWindow.h

74

const SolverPackageSet* fPackagesRemovedByUser;