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

#include <sfm.h>

Public Attributes

int nTfoLevMax
 
int nTfiLevMax
 
int nFanoutMax
 
int nDepthMax
 
int nVarMax
 
int nMffcMin
 
int nMffcMax
 
int nDecMax
 
int nWinSizeMax
 
int nGrowthLevel
 
int nBTLimit
 
int nNodesMax
 
int iNodeOne
 
int nFirstFixed
 
int nTimeWin
 
int DeltaCrit
 
int DelAreaRatio
 
int fRrOnly
 
int fArea
 
int fAreaRev
 
int fMoreEffort
 
int fUseAndOr
 
int fZeroCost
 
int fUseSim
 
int fUseDcs
 
int fPrintDecs
 
int fAllBoxes
 
int fLibVerbose
 
int fDelayVerbose
 
int fVerbose
 
int fVeryVerbose
 

Detailed Description

Definition at line 43 of file sfm.h.

Member Data Documentation

◆ DelAreaRatio

int Sfm_Par_t_::DelAreaRatio

Definition at line 61 of file sfm.h.

◆ DeltaCrit

int Sfm_Par_t_::DeltaCrit

Definition at line 60 of file sfm.h.

◆ fAllBoxes

int Sfm_Par_t_::fAllBoxes

Definition at line 71 of file sfm.h.

◆ fArea

int Sfm_Par_t_::fArea

Definition at line 63 of file sfm.h.

◆ fAreaRev

int Sfm_Par_t_::fAreaRev

Definition at line 64 of file sfm.h.

◆ fDelayVerbose

int Sfm_Par_t_::fDelayVerbose

Definition at line 73 of file sfm.h.

◆ fLibVerbose

int Sfm_Par_t_::fLibVerbose

Definition at line 72 of file sfm.h.

◆ fMoreEffort

int Sfm_Par_t_::fMoreEffort

Definition at line 65 of file sfm.h.

◆ fPrintDecs

int Sfm_Par_t_::fPrintDecs

Definition at line 70 of file sfm.h.

◆ fRrOnly

int Sfm_Par_t_::fRrOnly

Definition at line 62 of file sfm.h.

◆ fUseAndOr

int Sfm_Par_t_::fUseAndOr

Definition at line 66 of file sfm.h.

◆ fUseDcs

int Sfm_Par_t_::fUseDcs

Definition at line 69 of file sfm.h.

◆ fUseSim

int Sfm_Par_t_::fUseSim

Definition at line 68 of file sfm.h.

◆ fVerbose

int Sfm_Par_t_::fVerbose

Definition at line 74 of file sfm.h.

◆ fVeryVerbose

int Sfm_Par_t_::fVeryVerbose

Definition at line 75 of file sfm.h.

◆ fZeroCost

int Sfm_Par_t_::fZeroCost

Definition at line 67 of file sfm.h.

◆ iNodeOne

int Sfm_Par_t_::iNodeOne

Definition at line 57 of file sfm.h.

◆ nBTLimit

int Sfm_Par_t_::nBTLimit

Definition at line 55 of file sfm.h.

◆ nDecMax

int Sfm_Par_t_::nDecMax

Definition at line 52 of file sfm.h.

◆ nDepthMax

int Sfm_Par_t_::nDepthMax

Definition at line 48 of file sfm.h.

◆ nFanoutMax

int Sfm_Par_t_::nFanoutMax

Definition at line 47 of file sfm.h.

◆ nFirstFixed

int Sfm_Par_t_::nFirstFixed

Definition at line 58 of file sfm.h.

◆ nGrowthLevel

int Sfm_Par_t_::nGrowthLevel

Definition at line 54 of file sfm.h.

◆ nMffcMax

int Sfm_Par_t_::nMffcMax

Definition at line 51 of file sfm.h.

◆ nMffcMin

int Sfm_Par_t_::nMffcMin

Definition at line 50 of file sfm.h.

◆ nNodesMax

int Sfm_Par_t_::nNodesMax

Definition at line 56 of file sfm.h.

◆ nTfiLevMax

int Sfm_Par_t_::nTfiLevMax

Definition at line 46 of file sfm.h.

◆ nTfoLevMax

int Sfm_Par_t_::nTfoLevMax

Definition at line 45 of file sfm.h.

◆ nTimeWin

int Sfm_Par_t_::nTimeWin

Definition at line 59 of file sfm.h.

◆ nVarMax

int Sfm_Par_t_::nVarMax

Definition at line 49 of file sfm.h.

◆ nWinSizeMax

int Sfm_Par_t_::nWinSizeMax

Definition at line 53 of file sfm.h.


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