Ssw_Pars_t_ Struct Reference

#include <ssw.h>

Data Fields
int	nPartSize
int	nOverSize
int	nFramesK
int	nFramesAddSim
int	fConstrs
int	fMergeFull
int	nMaxLevs
int	nBTLimit
int	nBTLimitGlobal
int	nMinDomSize
int	nItersStop
int	fDumpSRInit
int	nResimDelta
int	nStepsMax
int	TimeLimit
int	fPolarFlip
int	fLatchCorr
int	fConstCorr
int	fOutputCorr
int	fSemiFormal
int	fDynamic
int	fLocalSim
int	fPartSigCorr
int	nIsleDist
int	fScorrGia
int	fUseCSat
int	fVerbose
int	fFlopVerbose
int	fEquivDump
int	fStopWhenGone
int	fLatchCorrOpt
int	nSatVarMax
int	nRecycleCalls
int	nSatVarMax2
int	nRecycleCalls2
int	nIters
int	nConflicts
void *	pData
void *	pFunc

Detailed Description

Definition at line 41 of file ssw.h.

Field Documentation

int Ssw_Pars_t_::fConstCorr

Definition at line 60 of file ssw.h.

int Ssw_Pars_t_::fConstrs

Definition at line 47 of file ssw.h.

int Ssw_Pars_t_::fDumpSRInit

Definition at line 54 of file ssw.h.

int Ssw_Pars_t_::fDynamic

Definition at line 64 of file ssw.h.

int Ssw_Pars_t_::fEquivDump

Definition at line 72 of file ssw.h.

int Ssw_Pars_t_::fFlopVerbose

Definition at line 71 of file ssw.h.

int Ssw_Pars_t_::fLatchCorr

Definition at line 59 of file ssw.h.

int Ssw_Pars_t_::fLatchCorrOpt

Definition at line 75 of file ssw.h.

int Ssw_Pars_t_::fLocalSim

Definition at line 65 of file ssw.h.

int Ssw_Pars_t_::fMergeFull

Definition at line 48 of file ssw.h.

int Ssw_Pars_t_::fOutputCorr

Definition at line 61 of file ssw.h.

int Ssw_Pars_t_::fPartSigCorr

Definition at line 66 of file ssw.h.

int Ssw_Pars_t_::fPolarFlip

Definition at line 58 of file ssw.h.

int Ssw_Pars_t_::fScorrGia

Definition at line 68 of file ssw.h.

int Ssw_Pars_t_::fSemiFormal

Definition at line 62 of file ssw.h.

int Ssw_Pars_t_::fStopWhenGone

Definition at line 73 of file ssw.h.

int Ssw_Pars_t_::fUseCSat

Definition at line 69 of file ssw.h.

int Ssw_Pars_t_::fVerbose

Definition at line 70 of file ssw.h.

int Ssw_Pars_t_::nBTLimit

Definition at line 50 of file ssw.h.

int Ssw_Pars_t_::nBTLimitGlobal

Definition at line 51 of file ssw.h.

int Ssw_Pars_t_::nConflicts

Definition at line 83 of file ssw.h.

int Ssw_Pars_t_::nFramesAddSim

Definition at line 46 of file ssw.h.

int Ssw_Pars_t_::nFramesK

Definition at line 45 of file ssw.h.

int Ssw_Pars_t_::nIsleDist

Definition at line 67 of file ssw.h.

int Ssw_Pars_t_::nIters

Definition at line 82 of file ssw.h.

int Ssw_Pars_t_::nItersStop

Definition at line 53 of file ssw.h.

int Ssw_Pars_t_::nMaxLevs

Definition at line 49 of file ssw.h.

int Ssw_Pars_t_::nMinDomSize

Definition at line 52 of file ssw.h.

int Ssw_Pars_t_::nOverSize

Definition at line 44 of file ssw.h.

int Ssw_Pars_t_::nPartSize

Definition at line 43 of file ssw.h.

int Ssw_Pars_t_::nRecycleCalls

Definition at line 77 of file ssw.h.

int Ssw_Pars_t_::nRecycleCalls2

Definition at line 80 of file ssw.h.

int Ssw_Pars_t_::nResimDelta

Definition at line 55 of file ssw.h.

int Ssw_Pars_t_::nSatVarMax

Definition at line 76 of file ssw.h.

int Ssw_Pars_t_::nSatVarMax2

Definition at line 79 of file ssw.h.

int Ssw_Pars_t_::nStepsMax

Definition at line 56 of file ssw.h.

void* Ssw_Pars_t_::pData

Definition at line 85 of file ssw.h.

void* Ssw_Pars_t_::pFunc

Definition at line 86 of file ssw.h.

int Ssw_Pars_t_::TimeLimit

Definition at line 57 of file ssw.h.

---

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

• ssw.h