Dar_RwrPar_t_ Struct Reference

#include <dar.h>

Data Fields
int	nCutsMax
int	nSubgMax
int	fFanout
int	fUpdateLevel
int	fUseZeros
int	fVerbose
int	fVeryVerbose

---

Detailed Description

Definition at line 43 of file dar.h.

---

Field Documentation

int Dar_RwrPar_t_::fFanout

Definition at line 47 of file dar.h.

int Dar_RwrPar_t_::fUpdateLevel

Definition at line 48 of file dar.h.

int Dar_RwrPar_t_::fUseZeros

Definition at line 49 of file dar.h.

int Dar_RwrPar_t_::fVerbose

Definition at line 50 of file dar.h.

int Dar_RwrPar_t_::fVeryVerbose

Definition at line 51 of file dar.h.

int Dar_RwrPar_t_::nCutsMax

Definition at line 45 of file dar.h.

int Dar_RwrPar_t_::nSubgMax

Definition at line 46 of file dar.h.

---

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

• src/aig/dar/dar.h