|
apt 3.0.3
commandline package manager
|
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 | |
| LongWhyStr(Var var, bool decision, const Clause *rclause, std::string prefix, std::unordered_set< Var > &seen) const | Solver | |
| Pop() | Solver | |
| Push(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 |