#include <ssw.h>

Public Attributes
int	nPartSize

int	nOverSize

int	nProcs

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	nLimitMax

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	fEquivDump2

int	fStopWhenGone

int	nSkip

int	nSkipLimit

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.

Member Data Documentation

◆ fConstCorr

int Ssw_Pars_t_::fConstCorr

Definition at line 62 of file ssw.h.

◆ fConstrs

int Ssw_Pars_t_::fConstrs

Definition at line 48 of file ssw.h.

◆ fDumpSRInit

int Ssw_Pars_t_::fDumpSRInit

Definition at line 55 of file ssw.h.

◆ fDynamic

int Ssw_Pars_t_::fDynamic

Definition at line 66 of file ssw.h.

◆ fEquivDump

int Ssw_Pars_t_::fEquivDump

Definition at line 74 of file ssw.h.

◆ fEquivDump2

int Ssw_Pars_t_::fEquivDump2

Definition at line 75 of file ssw.h.

◆ fFlopVerbose

int Ssw_Pars_t_::fFlopVerbose

Definition at line 73 of file ssw.h.

◆ fLatchCorr

int Ssw_Pars_t_::fLatchCorr

Definition at line 61 of file ssw.h.

◆ fLatchCorrOpt

int Ssw_Pars_t_::fLatchCorrOpt

Definition at line 80 of file ssw.h.

◆ fLocalSim

int Ssw_Pars_t_::fLocalSim

Definition at line 67 of file ssw.h.

◆ fMergeFull

int Ssw_Pars_t_::fMergeFull

Definition at line 49 of file ssw.h.

◆ fOutputCorr

int Ssw_Pars_t_::fOutputCorr

Definition at line 63 of file ssw.h.

◆ fPartSigCorr

int Ssw_Pars_t_::fPartSigCorr

Definition at line 68 of file ssw.h.

◆ fPolarFlip

int Ssw_Pars_t_::fPolarFlip

Definition at line 60 of file ssw.h.

◆ fScorrGia

int Ssw_Pars_t_::fScorrGia

Definition at line 70 of file ssw.h.

◆ fSemiFormal

int Ssw_Pars_t_::fSemiFormal

Definition at line 64 of file ssw.h.

◆ fStopWhenGone

int Ssw_Pars_t_::fStopWhenGone

Definition at line 76 of file ssw.h.

◆ fUseCSat

int Ssw_Pars_t_::fUseCSat

Definition at line 71 of file ssw.h.

◆ fVerbose

int Ssw_Pars_t_::fVerbose

Definition at line 72 of file ssw.h.

◆ nBTLimit

int Ssw_Pars_t_::nBTLimit

Definition at line 51 of file ssw.h.

◆ nBTLimitGlobal

int Ssw_Pars_t_::nBTLimitGlobal

Definition at line 52 of file ssw.h.

◆ nConflicts

int Ssw_Pars_t_::nConflicts

Definition at line 88 of file ssw.h.

◆ nFramesAddSim

int Ssw_Pars_t_::nFramesAddSim

Definition at line 47 of file ssw.h.

◆ nFramesK

int Ssw_Pars_t_::nFramesK

Definition at line 46 of file ssw.h.

◆ nIsleDist

int Ssw_Pars_t_::nIsleDist

Definition at line 69 of file ssw.h.

◆ nIters

int Ssw_Pars_t_::nIters

Definition at line 87 of file ssw.h.

◆ nItersStop

int Ssw_Pars_t_::nItersStop

Definition at line 54 of file ssw.h.

◆ nLimitMax

int Ssw_Pars_t_::nLimitMax

Definition at line 59 of file ssw.h.

◆ nMaxLevs

int Ssw_Pars_t_::nMaxLevs

Definition at line 50 of file ssw.h.

◆ nMinDomSize

int Ssw_Pars_t_::nMinDomSize

Definition at line 53 of file ssw.h.

◆ nOverSize

int Ssw_Pars_t_::nOverSize

Definition at line 44 of file ssw.h.

◆ nPartSize

int Ssw_Pars_t_::nPartSize

Definition at line 43 of file ssw.h.

◆ nProcs

int Ssw_Pars_t_::nProcs

Definition at line 45 of file ssw.h.

◆ nRecycleCalls

int Ssw_Pars_t_::nRecycleCalls

Definition at line 82 of file ssw.h.

◆ nRecycleCalls2

int Ssw_Pars_t_::nRecycleCalls2

Definition at line 85 of file ssw.h.

◆ nResimDelta

int Ssw_Pars_t_::nResimDelta

Definition at line 56 of file ssw.h.

◆ nSatVarMax

int Ssw_Pars_t_::nSatVarMax

Definition at line 81 of file ssw.h.

◆ nSatVarMax2

int Ssw_Pars_t_::nSatVarMax2

Definition at line 84 of file ssw.h.

◆ nSkip

int Ssw_Pars_t_::nSkip

Definition at line 77 of file ssw.h.

◆ nSkipLimit

int Ssw_Pars_t_::nSkipLimit

Definition at line 78 of file ssw.h.

◆ nStepsMax

int Ssw_Pars_t_::nStepsMax

Definition at line 57 of file ssw.h.

◆ pData

void* Ssw_Pars_t_::pData

Definition at line 90 of file ssw.h.

◆ pFunc

void* Ssw_Pars_t_::pFunc

Definition at line 91 of file ssw.h.

◆ TimeLimit

int Ssw_Pars_t_::TimeLimit

Definition at line 58 of file ssw.h.

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

src/proof/ssw/ssw.h

Public Attributes