apt 3.2.0 commandline package manager

DependencySolver Member List

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

AddWork(Work &&work) (defined in Solver) | Solver |
Assume(Lit lit, const Clause *reason=nullptr) (defined in Solver) | Solver |
bestReason(Clause const *clause, Var var) const noexcept (defined in Solver) | Solver | protected
cache (defined in Solver) | Solver | protected
CompareProviders3 (defined in DependencySolver) | DependencySolver | friend
debug (defined in Solver) | Solver | protected
decisionLevel() (defined in Solver) | Solver | inline protected
DependencySolver(pkgCache &Cache, pkgDepCache::Policy &Policy, EDSP::Request::Flags requestFlags) | DependencySolver |
Enqueue(Lit lit, const Clause *reason=nullptr) | Solver |
FromDepCache(pkgDepCache &depcache) | DependencySolver |
heap typedef (defined in Solver) | Solver | protected
InternalCliWhy(pkgDepCache &depcache, pkgCache::PkgIterator Pkg, bool assignment) | DependencySolver | static
level_type typedef (defined in Solver) | Solver | protected
LongWhyStr(Var var, bool assignment, const Clause *rclause, std::string prefix, std::unordered_set< Var > &seen) const | Solver | virtual
operator[](const pkgCache::Package *P) noexcept (defined in Solver) | Solver | inline protected
operator[](const pkgCache::Package *P) const noexcept (defined in Solver) | Solver | inline protected
operator[](const pkgCache::Version *V) noexcept (defined in Solver) | Solver | inline protected
operator[](const pkgCache::Version *V) const noexcept (defined in Solver) | Solver | inline protected
operator[](Var r) noexcept (defined in Solver) | Solver | protected
operator[](Var r) const noexcept (defined in Solver) | Solver | protected
pkgStates (defined in Solver) | Solver | protected
Pop() | Solver |
Propagate() (defined in Solver) | Solver | protected
Propagate(const Clause *clause, Lit lit) (defined in Solver) | Solver | protected
propQ (defined in Solver) | Solver | protected
rootState (defined in Solver) | Solver | protected
Solve() (defined in Solver) | Solver |
Solver(pkgCache &Cache) (defined in Solver) | Solver |
startTime (defined in Solver) | Solver | protected
Timeout (defined in Solver) | Solver | protected
ToDepCache(pkgDepCache &depcache) const | DependencySolver |
trail | Solver | protected
trailLim | Solver | protected
UndoOne() | Solver |
value(Lit lit) const noexcept (defined in Solver) | Solver | protected
version | Solver | protected
verStates (defined in Solver) | Solver | protected
watches(Lit lit) noexcept (defined in Solver) | Solver | protected
WhyStr(Var reason) const (defined in Solver) | Solver | virtual
work (defined in Solver) | Solver | protected
~DependencySolver() override (defined in DependencySolver) | DependencySolver |
~Solver() (defined in Solver) | Solver | virtual