Fra_Par_t_ Struct Reference

#include <fra.h>

Data Fields
int	nSimWords
double	dSimSatur
int	fPatScores
int	MaxScore
double	dActConeRatio
double	dActConeBumpMax
int	fChoicing
int	fSpeculate
int	fProve
int	fVerbose
int	fDoSparse
int	fConeBias
int	nBTLimitNode
int	nBTLimitMiter
int	nFramesP
int	nFramesK
int	nMaxImps
int	fRewrite
int	fLatchCorr
int	fUseImps
int	fWriteImps

---

Detailed Description

Definition at line 59 of file fra.h.

---

Field Documentation

double Fra_Par_t_::dActConeBumpMax

Definition at line 66 of file fra.h.

double Fra_Par_t_::dActConeRatio

Definition at line 65 of file fra.h.

double Fra_Par_t_::dSimSatur

Definition at line 62 of file fra.h.

int Fra_Par_t_::fChoicing

Definition at line 67 of file fra.h.

int Fra_Par_t_::fConeBias

Definition at line 72 of file fra.h.

int Fra_Par_t_::fDoSparse

Definition at line 71 of file fra.h.

int Fra_Par_t_::fLatchCorr

Definition at line 79 of file fra.h.

int Fra_Par_t_::fPatScores

Definition at line 63 of file fra.h.

int Fra_Par_t_::fProve

Definition at line 69 of file fra.h.

int Fra_Par_t_::fRewrite

Definition at line 78 of file fra.h.

int Fra_Par_t_::fSpeculate

Definition at line 68 of file fra.h.

int Fra_Par_t_::fUseImps

Definition at line 80 of file fra.h.

int Fra_Par_t_::fVerbose

Definition at line 70 of file fra.h.

int Fra_Par_t_::fWriteImps

Definition at line 81 of file fra.h.

int Fra_Par_t_::MaxScore

Definition at line 64 of file fra.h.

int Fra_Par_t_::nBTLimitMiter

Definition at line 74 of file fra.h.

int Fra_Par_t_::nBTLimitNode

Definition at line 73 of file fra.h.

int Fra_Par_t_::nFramesK

Definition at line 76 of file fra.h.

int Fra_Par_t_::nFramesP

Definition at line 75 of file fra.h.

int Fra_Par_t_::nMaxImps

Definition at line 77 of file fra.h.

int Fra_Par_t_::nSimWords

Definition at line 61 of file fra.h.

---

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

• src/aig/fra/fra.h