Gluco2::Solver::VarData Struct Reference

#include <Solver.h>

Collaboration diagram for Gluco2::Solver::VarData:

Public Attributes
CRef	reason
int	level

Detailed Description

Definition at line 207 of file Solver.h.

Member Data Documentation

level

int Gluco2::Solver::VarData::level

Definition at line 207 of file Solver.h.

reason

CRef Gluco2::Solver::VarData::reason

Definition at line 207 of file Solver.h.

---

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

• src/sat/glucose2/Solver.h