Dar_RefPar_t_ Struct Reference

#include <dar.h>

Data Fields
int	nMffcMin
int	nLeafMax
int	nCutsMax
int	fExtend
int	fUpdateLevel
int	fUseZeros
int	fVerbose
int	fVeryVerbose

---

Detailed Description

Definition at line 54 of file dar.h.

---

Field Documentation

int Dar_RefPar_t_::fExtend

Definition at line 59 of file dar.h.

int Dar_RefPar_t_::fUpdateLevel

Definition at line 60 of file dar.h.

int Dar_RefPar_t_::fUseZeros

Definition at line 61 of file dar.h.

int Dar_RefPar_t_::fVerbose

Definition at line 62 of file dar.h.

int Dar_RefPar_t_::fVeryVerbose

Definition at line 63 of file dar.h.

int Dar_RefPar_t_::nCutsMax

Definition at line 58 of file dar.h.

int Dar_RefPar_t_::nLeafMax

Definition at line 57 of file dar.h.

int Dar_RefPar_t_::nMffcMin

Definition at line 56 of file dar.h.

---

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

• src/aig/dar/dar.h