#include <mfs.h>

Public Attributes
int	nWinTfoLevs

int	nFanoutsMax

int	nDepthMax

int	nWinMax

int	nGrowthLevel

int	nBTLimit

int	fRrOnly

int	fResub

int	fArea

int	fMoreEffort

int	fSwapEdge

int	fOneHotness

int	fDelay

int	fPower

int	fGiaSat

int	fVerbose

int	fVeryVerbose

Detailed Description

Definition at line 43 of file mfs.h.

Member Data Documentation

◆ fArea

int Mfs_Par_t_::fArea

Definition at line 54 of file mfs.h.

◆ fDelay

int Mfs_Par_t_::fDelay

Definition at line 58 of file mfs.h.

◆ fGiaSat

int Mfs_Par_t_::fGiaSat

Definition at line 60 of file mfs.h.

◆ fMoreEffort

int Mfs_Par_t_::fMoreEffort

Definition at line 55 of file mfs.h.

◆ fOneHotness

int Mfs_Par_t_::fOneHotness

Definition at line 57 of file mfs.h.

◆ fPower

int Mfs_Par_t_::fPower

Definition at line 59 of file mfs.h.

◆ fResub

int Mfs_Par_t_::fResub

Definition at line 53 of file mfs.h.

◆ fRrOnly

int Mfs_Par_t_::fRrOnly

Definition at line 52 of file mfs.h.

◆ fSwapEdge

int Mfs_Par_t_::fSwapEdge

Definition at line 56 of file mfs.h.

◆ fVerbose

int Mfs_Par_t_::fVerbose

Definition at line 61 of file mfs.h.

◆ fVeryVerbose

int Mfs_Par_t_::fVeryVerbose

Definition at line 62 of file mfs.h.

◆ nBTLimit

int Mfs_Par_t_::nBTLimit

Definition at line 51 of file mfs.h.

◆ nDepthMax

int Mfs_Par_t_::nDepthMax

Definition at line 48 of file mfs.h.

◆ nFanoutsMax

int Mfs_Par_t_::nFanoutsMax

Definition at line 47 of file mfs.h.

◆ nGrowthLevel

int Mfs_Par_t_::nGrowthLevel

Definition at line 50 of file mfs.h.

◆ nWinMax

int Mfs_Par_t_::nWinMax

Definition at line 49 of file mfs.h.

◆ nWinTfoLevs

int Mfs_Par_t_::nWinTfoLevs

Definition at line 46 of file mfs.h.

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

src/opt/mfs/mfs.h

Public Attributes