apt 3.1.11 commandline package manager

Solver Member List

This is the complete list of members for Solver, including all inherited members.

AddWork(Work &&work) (defined in Solver) | Solver |
Assume(Var var, bool decision, const Clause *reason=nullptr) (defined in Solver) | Solver |
Decision enum name (defined in Solver) | Solver |
Enqueue(Var var, bool decision, const Clause *reason=nullptr) (defined in Solver) | Solver |
FromDepCache(pkgDepCache &depcache) (defined in Solver) | Solver |
InternalCliWhy(pkgDepCache &depcache, pkgCache::PkgIterator Pkg, bool decision) (defined in Solver) | Solver | static
LongWhyStr(Var var, bool decision, const Clause *rclause, std::string prefix, std::unordered_set< Var > &seen) const | Solver |
Pop() | Solver |
Push(Var var, Work work) (defined in Solver) | Solver |
Solve() (defined in Solver) | Solver |
Solver(pkgCache &Cache, pkgDepCache::Policy &Policy, EDSP::Request::Flags requestFlags) | Solver |
std::hash< APT::Solver::Var > (defined in Solver) | Solver | friend
ToDepCache(pkgDepCache &depcache) const (defined in Solver) | Solver |
UndoOne() | Solver |
WhyStr(Var reason) const (defined in Solver) | Solver |
~Solver() (defined in Solver) | Solver |