ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Dar_RwrPar_t_ Struct Reference

#include <dar.h>

Public Attributes

int nCutsMax
 
int nSubgMax
 
int nMinSaved
 
int fFanout
 
int fUpdateLevel
 
int fUseZeros
 
int fPower
 
int fRecycle
 
int fVerbose
 
int fVeryVerbose
 

Detailed Description

Definition at line 45 of file dar.h.

Member Data Documentation

◆ fFanout

int Dar_RwrPar_t_::fFanout

Definition at line 50 of file dar.h.

◆ fPower

int Dar_RwrPar_t_::fPower

Definition at line 53 of file dar.h.

◆ fRecycle

int Dar_RwrPar_t_::fRecycle

Definition at line 54 of file dar.h.

◆ fUpdateLevel

int Dar_RwrPar_t_::fUpdateLevel

Definition at line 51 of file dar.h.

◆ fUseZeros

int Dar_RwrPar_t_::fUseZeros

Definition at line 52 of file dar.h.

◆ fVerbose

int Dar_RwrPar_t_::fVerbose

Definition at line 55 of file dar.h.

◆ fVeryVerbose

int Dar_RwrPar_t_::fVeryVerbose

Definition at line 56 of file dar.h.

◆ nCutsMax

int Dar_RwrPar_t_::nCutsMax

Definition at line 47 of file dar.h.

◆ nMinSaved

int Dar_RwrPar_t_::nMinSaved

Definition at line 49 of file dar.h.

◆ nSubgMax

int Dar_RwrPar_t_::nSubgMax

Definition at line 48 of file dar.h.


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