Deepsolver
|
build(const UserTask &task) (defined in Deepsolver::Solver::SatBuilder) | Deepsolver::Solver::SatBuilder | |
p (defined in Deepsolver::Solver::SatBuilder) | Deepsolver::Solver::SatBuilder | |
SatBuilder(const AbstractPkgBackEnd &backend, const AbstractPkgScope &scope, const AbstractProvidePriority &providePriority) (defined in Deepsolver::Solver::SatBuilder) | Deepsolver::Solver::SatBuilder | [inline] |
userTaskInstall() const (defined in Deepsolver::Solver::SatBuilder) | Deepsolver::Solver::SatBuilder | [inline] |
userTaskRemove() const (defined in Deepsolver::Solver::SatBuilder) | Deepsolver::Solver::SatBuilder | [inline] |
~SatBuilder() | Deepsolver::Solver::SatBuilder | [inline, virtual] |