Deepsolver
Public Member Functions | Public Attributes
Deepsolver::Solver::SatBuilder Class Reference

List of all members.

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