Solver Member List

This is the complete list of members for Solver, 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
debug (defined in Solver) | Solver | protected
decisionLevel() (defined in Solver) | Solver | inline protected
Discover(Var var)=0 (defined in Solver) | Solver | protected pure virtual
Enqueue(Lit lit, const Clause *reason=nullptr) | Solver |
heap typedef (defined in Solver) | Solver | protected
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
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
~Solver() (defined in Solver) | Solver | virtual