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