Solver::Solved Struct Reference

A solved item. More...

#include <apt-pkg/solver3.h>

Collaboration diagram for Solver::Solved:

Public Attributes
Var	assigned
std::optional< Work >	work

Detailed Description

A solved item.

Here we keep track of solved clauses and variable assignments such that we can easily undo them.

---

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

• apt-pkg/solver3.h