#include <ivy.h>

Public Attributes
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 132 of file ivy.h.

Member Data Documentation

◆ dActConeBumpMax

double Ivy_FraigParams_t_::dActConeBumpMax

Definition at line 139 of file ivy.h.

◆ dActConeRatio

double Ivy_FraigParams_t_::dActConeRatio

Definition at line 138 of file ivy.h.

◆ dSimSatur

double Ivy_FraigParams_t_::dSimSatur

Definition at line 135 of file ivy.h.

◆ fDoSparse

int Ivy_FraigParams_t_::fDoSparse

Definition at line 142 of file ivy.h.

◆ fPatScores

int Ivy_FraigParams_t_::fPatScores

Definition at line 136 of file ivy.h.

◆ fProve

int Ivy_FraigParams_t_::fProve

Definition at line 140 of file ivy.h.

◆ fVerbose

int Ivy_FraigParams_t_::fVerbose

Definition at line 141 of file ivy.h.

◆ MaxScore

int Ivy_FraigParams_t_::MaxScore

Definition at line 137 of file ivy.h.

◆ nBTLimitMiter

int Ivy_FraigParams_t_::nBTLimitMiter

Definition at line 144 of file ivy.h.

◆ nBTLimitNode

int Ivy_FraigParams_t_::nBTLimitNode

Definition at line 143 of file ivy.h.

◆ nSimWords

int Ivy_FraigParams_t_::nSimWords

Definition at line 134 of file ivy.h.

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

src/aig/ivy/ivy.h

Public Attributes