Fra_Ssw_t_ Struct Reference

#include <fra.h>

Data Fields
int	nPartSize
int	nOverSize
int	nFramesP
int	nFramesK
int	nMaxImps
int	nMaxLevs
int	nMinDomSize
int	fUseImps
int	fRewrite
int	fFraiging
int	fLatchCorr
int	fWriteImps
int	fUse1Hot
int	fVerbose
int	fSilent
int	nIters
float	TimeLimit

Detailed Description

Definition at line 92 of file fra.h.

Field Documentation

int Fra_Ssw_t_::fFraiging

Definition at line 103 of file fra.h.

int Fra_Ssw_t_::fLatchCorr

Definition at line 104 of file fra.h.

int Fra_Ssw_t_::fRewrite

Definition at line 102 of file fra.h.

int Fra_Ssw_t_::fSilent

Definition at line 108 of file fra.h.

int Fra_Ssw_t_::fUse1Hot

Definition at line 106 of file fra.h.

int Fra_Ssw_t_::fUseImps

Definition at line 101 of file fra.h.

int Fra_Ssw_t_::fVerbose

Definition at line 107 of file fra.h.

int Fra_Ssw_t_::fWriteImps

Definition at line 105 of file fra.h.

int Fra_Ssw_t_::nFramesK

Definition at line 97 of file fra.h.

int Fra_Ssw_t_::nFramesP

Definition at line 96 of file fra.h.

int Fra_Ssw_t_::nIters

Definition at line 109 of file fra.h.

int Fra_Ssw_t_::nMaxImps

Definition at line 98 of file fra.h.

int Fra_Ssw_t_::nMaxLevs

Definition at line 99 of file fra.h.

int Fra_Ssw_t_::nMinDomSize

Definition at line 100 of file fra.h.

int Fra_Ssw_t_::nOverSize

Definition at line 95 of file fra.h.

int Fra_Ssw_t_::nPartSize

Definition at line 94 of file fra.h.

float Fra_Ssw_t_::TimeLimit

Definition at line 110 of file fra.h.

---

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

• fra.h