ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Prove_ParamsStruct_t_ Struct Reference

#include <fraig.h>

Public Attributes

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.

Member Data Documentation

◆ fBddReorder

int Prove_ParamsStruct_t_::fBddReorder

Definition at line 129 of file ivyFraig.c.

◆ fUseBdds

int Prove_ParamsStruct_t_::fUseBdds

Definition at line 114 of file ivyFraig.c.

◆ fUseFraiging

int Prove_ParamsStruct_t_::fUseFraiging

Definition at line 112 of file ivyFraig.c.

◆ fUseRewriting

int Prove_ParamsStruct_t_::fUseRewriting

Definition at line 113 of file ivyFraig.c.

◆ fVerbose

int Prove_ParamsStruct_t_::fVerbose

Definition at line 115 of file ivyFraig.c.

◆ nBddSizeLimit

int Prove_ParamsStruct_t_::nBddSizeLimit

Definition at line 128 of file ivyFraig.c.

◆ nFraigingLimitMulti

float Prove_ParamsStruct_t_::nFraigingLimitMulti

Definition at line 126 of file ivyFraig.c.

◆ nFraigingLimitStart

int Prove_ParamsStruct_t_::nFraigingLimitStart

Definition at line 125 of file ivyFraig.c.

◆ nItersMax

int Prove_ParamsStruct_t_::nItersMax

Definition at line 117 of file ivyFraig.c.

◆ nMiteringLimitLast

int Prove_ParamsStruct_t_::nMiteringLimitLast

Definition at line 131 of file ivyFraig.c.

◆ nMiteringLimitMulti

float Prove_ParamsStruct_t_::nMiteringLimitMulti

Definition at line 120 of file ivyFraig.c.

◆ nMiteringLimitStart

int Prove_ParamsStruct_t_::nMiteringLimitStart

Definition at line 119 of file ivyFraig.c.

◆ nRewritingLimitMulti

float Prove_ParamsStruct_t_::nRewritingLimitMulti

Definition at line 123 of file ivyFraig.c.

◆ nRewritingLimitStart

int Prove_ParamsStruct_t_::nRewritingLimitStart

Definition at line 122 of file ivyFraig.c.

◆ nTotalBacktrackLimit

ABC_INT64_T Prove_ParamsStruct_t_::nTotalBacktrackLimit

Definition at line 133 of file ivyFraig.c.

◆ nTotalBacktracksMade

ABC_INT64_T Prove_ParamsStruct_t_::nTotalBacktracksMade

Definition at line 136 of file ivyFraig.c.

◆ nTotalInspectLimit

ABC_INT64_T Prove_ParamsStruct_t_::nTotalInspectLimit

Definition at line 134 of file ivyFraig.c.

◆ nTotalInspectsMade

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: