Ivy_FraigParams_t_ Struct Reference

#include <ivy.h>

Data Fields
int	nSimWords
double	dSimSatur
int	fPatScores
int	MaxScore
double	dActConeRatio
double	dActConeBumpMax
int	fProve
int	fVerbose
int	fDoSparse
int	nBTLimitNode
int	nBTLimitMiter

---

Detailed Description

Definition at line 130 of file ivy.h.

---

Field Documentation

double Ivy_FraigParams_t_::dActConeBumpMax

Definition at line 137 of file ivy.h.

double Ivy_FraigParams_t_::dActConeRatio

Definition at line 136 of file ivy.h.

double Ivy_FraigParams_t_::dSimSatur

Definition at line 133 of file ivy.h.

int Ivy_FraigParams_t_::fDoSparse

Definition at line 140 of file ivy.h.

int Ivy_FraigParams_t_::fPatScores

Definition at line 134 of file ivy.h.

int Ivy_FraigParams_t_::fProve

Definition at line 138 of file ivy.h.

int Ivy_FraigParams_t_::fVerbose

Definition at line 139 of file ivy.h.

int Ivy_FraigParams_t_::MaxScore

Definition at line 135 of file ivy.h.

int Ivy_FraigParams_t_::nBTLimitMiter

Definition at line 142 of file ivy.h.

int Ivy_FraigParams_t_::nBTLimitNode

Definition at line 141 of file ivy.h.

int Ivy_FraigParams_t_::nSimWords

Definition at line 132 of file ivy.h.

---

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

• src/aig/ivy/ivy.h