Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

Minisat::Internal::Solver::VarData Struct Reference

#include <ogdf/lib/minisat/core/Solver.h>

Public Attributes

int level
 
CRef reason
 

Detailed Description

Definition at line 161 of file Solver.h.

Member Data Documentation

◆ level

int Minisat::Internal::Solver::VarData::level

Definition at line 161 of file Solver.h.

◆ reason

CRef Minisat::Internal::Solver::VarData::reason

Definition at line 161 of file Solver.h.


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