#include <fra.h>

Public Attributes
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.

Member Data Documentation

◆ fFraiging

int Fra_Ssw_t_::fFraiging

Definition at line 103 of file fra.h.

◆ fLatchCorr

int Fra_Ssw_t_::fLatchCorr

Definition at line 104 of file fra.h.

◆ fRewrite

int Fra_Ssw_t_::fRewrite

Definition at line 102 of file fra.h.

◆ fSilent

int Fra_Ssw_t_::fSilent

Definition at line 108 of file fra.h.

◆ fUse1Hot

int Fra_Ssw_t_::fUse1Hot

Definition at line 106 of file fra.h.

◆ fUseImps

int Fra_Ssw_t_::fUseImps

Definition at line 101 of file fra.h.

◆ fVerbose

int Fra_Ssw_t_::fVerbose

Definition at line 107 of file fra.h.

◆ fWriteImps

int Fra_Ssw_t_::fWriteImps

Definition at line 105 of file fra.h.

◆ nFramesK

int Fra_Ssw_t_::nFramesK

Definition at line 97 of file fra.h.

◆ nFramesP

int Fra_Ssw_t_::nFramesP

Definition at line 96 of file fra.h.

◆ nIters

int Fra_Ssw_t_::nIters

Definition at line 109 of file fra.h.

◆ nMaxImps

int Fra_Ssw_t_::nMaxImps

Definition at line 98 of file fra.h.

◆ nMaxLevs

int Fra_Ssw_t_::nMaxLevs

Definition at line 99 of file fra.h.

◆ nMinDomSize

int Fra_Ssw_t_::nMinDomSize

Definition at line 100 of file fra.h.

◆ nOverSize

int Fra_Ssw_t_::nOverSize

Definition at line 95 of file fra.h.

◆ nPartSize

int Fra_Ssw_t_::nPartSize

Definition at line 94 of file fra.h.

◆ TimeLimit

float Fra_Ssw_t_::TimeLimit

Definition at line 110 of file fra.h.

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

src/proof/fra/fra.h

Public Attributes