abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Minisat::Solver::VarData Struct Reference

#include <Solver.h>

Data Fields

CRef reason
 
int level
 

Detailed Description

Definition at line 145 of file Solver.h.

Field Documentation

int Minisat::Solver::VarData::level

Definition at line 145 of file Solver.h.

CRef Minisat::Solver::VarData::reason

Definition at line 145 of file Solver.h.


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