abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Data Fields
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
 
ABC_INT64_T nTotalBacktrackLimit
 
ABC_INT64_T nTotalInspectLimit
 
ABC_INT64_T nTotalBacktracksMade
 
ABC_INT64_T nTotalInspectsMade
 

Detailed Description

Definition at line 109 of file ivyFraig.c.

Field Documentation

int Prove_ParamsStruct_t_::fBddReorder

Definition at line 129 of file ivyFraig.c.

int Prove_ParamsStruct_t_::fUseBdds

Definition at line 114 of file ivyFraig.c.

int Prove_ParamsStruct_t_::fUseFraiging

Definition at line 112 of file ivyFraig.c.

int Prove_ParamsStruct_t_::fUseRewriting

Definition at line 113 of file ivyFraig.c.

int Prove_ParamsStruct_t_::fVerbose

Definition at line 115 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nBddSizeLimit

Definition at line 128 of file ivyFraig.c.

float Prove_ParamsStruct_t_::nFraigingLimitMulti

Definition at line 126 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nFraigingLimitStart

Definition at line 125 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nItersMax

Definition at line 117 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nMiteringLimitLast

Definition at line 131 of file ivyFraig.c.

float Prove_ParamsStruct_t_::nMiteringLimitMulti

Definition at line 120 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nMiteringLimitStart

Definition at line 119 of file ivyFraig.c.

float Prove_ParamsStruct_t_::nRewritingLimitMulti

Definition at line 123 of file ivyFraig.c.

int Prove_ParamsStruct_t_::nRewritingLimitStart

Definition at line 122 of file ivyFraig.c.

ABC_INT64_T Prove_ParamsStruct_t_::nTotalBacktrackLimit

Definition at line 133 of file ivyFraig.c.

ABC_INT64_T Prove_ParamsStruct_t_::nTotalBacktracksMade

Definition at line 136 of file ivyFraig.c.

ABC_INT64_T Prove_ParamsStruct_t_::nTotalInspectLimit

Definition at line 134 of file ivyFraig.c.

ABC_INT64_T Prove_ParamsStruct_t_::nTotalInspectsMade

Definition at line 137 of file ivyFraig.c.

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