Prove_ParamsStruct_t_ Struct Reference

#include <fraig.h>

Data Fields
int	fUseFraiging
int	fUseRewriting
int	fUseBdds
int	fVerbose
int	nItersMax
int	nMiteringLimitStart
float	nMiteringLimitMulti
int	nRewritingLimitStart
float	nRewritingLimitMulti
int	nFraigingLimitStart
float	nFraigingLimitMulti
int	nBddSizeLimit
int	fBddReorder
int	nMiteringLimitLast
sint64	nTotalBacktrackLimit
sint64	nTotalInspectLimit
sint64	nTotalBacktracksMade
sint64	nTotalInspectsMade

---

Detailed Description

Definition at line 105 of file ivyFraig.c.

---

Field Documentation

int Prove_ParamsStruct_t_::fBddReorder

Definition at line 125 of file ivyFraig.c.

int Prove_ParamsStruct_t_::fUseBdds

Definition at line 110 of file ivyFraig.c.

int Prove_ParamsStruct_t_::fUseFraiging

Definition at line 108 of file ivyFraig.c.

int Prove_ParamsStruct_t_::fUseRewriting

Definition at line 109 of file ivyFraig.c.

int Prove_ParamsStruct_t_::fVerbose

Definition at line 111 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nBddSizeLimit

Definition at line 124 of file ivyFraig.c.

float Prove_ParamsStruct_t_::nFraigingLimitMulti

Definition at line 122 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nFraigingLimitStart

Definition at line 121 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nItersMax

Definition at line 113 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nMiteringLimitLast

Definition at line 127 of file ivyFraig.c.

float Prove_ParamsStruct_t_::nMiteringLimitMulti

Definition at line 116 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nMiteringLimitStart

Definition at line 115 of file ivyFraig.c.

float Prove_ParamsStruct_t_::nRewritingLimitMulti

Definition at line 119 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nRewritingLimitStart

Definition at line 118 of file ivyFraig.c.

sint64 Prove_ParamsStruct_t_::nTotalBacktrackLimit

Definition at line 129 of file ivyFraig.c.

sint64 Prove_ParamsStruct_t_::nTotalBacktracksMade

Definition at line 132 of file ivyFraig.c.

sint64 Prove_ParamsStruct_t_::nTotalInspectLimit

Definition at line 130 of file ivyFraig.c.

sint64 Prove_ParamsStruct_t_::nTotalInspectsMade

Definition at line 133 of file ivyFraig.c.

---

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

• src/aig/ivy/ivyFraig.c
• src/sat/fraig/fraig.h