Solver::State Struct Reference

The solver state. More...

#include <apt-pkg/solver3.h>

Collaboration diagram for Solver::State:

Public Attributes
const Clause *	reason {}
depth_type	depth {0}
Decision	decision {Decision::NONE}
struct {
bool   discovered {}
bool   manual {}
}	flags
std::vector< std::unique_ptr< Clause > >	clauses
std::vector< const Clause * >	rclauses

Detailed Description

The solver state.

For each version, the solver records a decision at a certain level. It maintains an array mapping from version ID to state.

---

The documentation for this struct was generated from the following file:

• apt-pkg/solver3.h