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

#include <acbPar.h>

Public Attributes

int nLutSize
 
int nTfoLevMax
 
int nTfiLevMax
 
int nFanoutMax
 
int nWinNodeMax
 
int nGrowthLevel
 
int nBTLimit
 
int nNodesMax
 
int fUseAshen
 
int iNodeOne
 
int fArea
 
int fMoreEffort
 
int fVerbose
 
int fVeryVerbose
 

Detailed Description

Definition at line 39 of file acbPar.h.

Member Data Documentation

◆ fArea

int Acb_Par_t_::fArea

Definition at line 51 of file acbPar.h.

◆ fMoreEffort

int Acb_Par_t_::fMoreEffort

Definition at line 52 of file acbPar.h.

◆ fUseAshen

int Acb_Par_t_::fUseAshen

Definition at line 49 of file acbPar.h.

◆ fVerbose

int Acb_Par_t_::fVerbose

Definition at line 53 of file acbPar.h.

◆ fVeryVerbose

int Acb_Par_t_::fVeryVerbose

Definition at line 54 of file acbPar.h.

◆ iNodeOne

int Acb_Par_t_::iNodeOne

Definition at line 50 of file acbPar.h.

◆ nBTLimit

int Acb_Par_t_::nBTLimit

Definition at line 47 of file acbPar.h.

◆ nFanoutMax

int Acb_Par_t_::nFanoutMax

Definition at line 44 of file acbPar.h.

◆ nGrowthLevel

int Acb_Par_t_::nGrowthLevel

Definition at line 46 of file acbPar.h.

◆ nLutSize

int Acb_Par_t_::nLutSize

Definition at line 41 of file acbPar.h.

◆ nNodesMax

int Acb_Par_t_::nNodesMax

Definition at line 48 of file acbPar.h.

◆ nTfiLevMax

int Acb_Par_t_::nTfiLevMax

Definition at line 43 of file acbPar.h.

◆ nTfoLevMax

int Acb_Par_t_::nTfoLevMax

Definition at line 42 of file acbPar.h.

◆ nWinNodeMax

int Acb_Par_t_::nWinNodeMax

Definition at line 45 of file acbPar.h.


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