abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Sfm_Par_t_ Struct Reference

#include <sfm.h>

Data Fields

int nTfoLevMax
 
int nFanoutMax
 
int nDepthMax
 
int nWinSizeMax
 
int nGrowthLevel
 
int nBTLimit
 
int nNodesMax
 
int nFirstFixed
 
int fRrOnly
 
int fArea
 
int fMoreEffort
 
int fVerbose
 
int fVeryVerbose
 

Detailed Description

Definition at line 43 of file sfm.h.

Field Documentation

int Sfm_Par_t_::fArea

Definition at line 54 of file sfm.h.

int Sfm_Par_t_::fMoreEffort

Definition at line 55 of file sfm.h.

int Sfm_Par_t_::fRrOnly

Definition at line 53 of file sfm.h.

int Sfm_Par_t_::fVerbose

Definition at line 56 of file sfm.h.

int Sfm_Par_t_::fVeryVerbose

Definition at line 57 of file sfm.h.

int Sfm_Par_t_::nBTLimit

Definition at line 50 of file sfm.h.

int Sfm_Par_t_::nDepthMax

Definition at line 47 of file sfm.h.

int Sfm_Par_t_::nFanoutMax

Definition at line 46 of file sfm.h.

int Sfm_Par_t_::nFirstFixed

Definition at line 52 of file sfm.h.

int Sfm_Par_t_::nGrowthLevel

Definition at line 49 of file sfm.h.

int Sfm_Par_t_::nNodesMax

Definition at line 51 of file sfm.h.

int Sfm_Par_t_::nTfoLevMax

Definition at line 45 of file sfm.h.

int Sfm_Par_t_::nWinSizeMax

Definition at line 48 of file sfm.h.


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