Deepsolver
|
Public Member Functions | |
void | build (const UserTask &task) |
SatBuilder (const AbstractPkgBackEnd &backend, const AbstractPkgScope &scope, const AbstractProvidePriority &providePriority) | |
const VarIdSet & | userTaskInstall () const |
const VarIdSet & | userTaskRemove () const |
virtual | ~SatBuilder () |
The destructor. | |
Public Attributes | |
RefCountedEntries | p |