ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Ivy_FraigMan_t_ Struct Reference
Collaboration diagram for Ivy_FraigMan_t_:
Collaboration graph
[legend]

Public Attributes

Ivy_FraigParams_t * pParams
 
ABC_INT64_T nBTLimitGlobal
 
ABC_INT64_T nInsLimitGlobal
 
Ivy_Man_t * pManAig
 
Ivy_Man_t * pManFraig
 
int nSimWords
 
char * pSimWords
 
Ivy_FraigSim_t * pSimStart
 
int nPatWords
 
unsigned * pPatWords
 
int * pPatScores
 
Ivy_FraigList_t lClasses
 
Ivy_FraigList_t lCand
 
int nPairs
 
sat_solver * pSat
 
int nSatVars
 
Vec_Ptr_t * vPiVars
 
ProgressBar * pProgress
 
int nSimRounds
 
int nNodesMiter
 
int nClassesZero
 
int nClassesBeg
 
int nClassesEnd
 
int nPairsBeg
 
int nPairsEnd
 
int nSatCalls
 
int nSatCallsSat
 
int nSatCallsUnsat
 
int nSatProof
 
int nSatFails
 
int nSatFailsReal
 
abctime timeSim
 
abctime timeTrav
 
abctime timeSat
 
abctime timeSatUnsat
 
abctime timeSatSat
 
abctime timeSatFail
 
abctime timeRef
 
abctime timeTotal
 
abctime time1
 
abctime time2
 

Detailed Description

Definition at line 53 of file ivyFraig.c.

Member Data Documentation

◆ lCand

Ivy_FraigList_t Ivy_FraigMan_t_::lCand

Definition at line 73 of file ivyFraig.c.

◆ lClasses

Ivy_FraigList_t Ivy_FraigMan_t_::lClasses

Definition at line 72 of file ivyFraig.c.

◆ nBTLimitGlobal

ABC_INT64_T Ivy_FraigMan_t_::nBTLimitGlobal

Definition at line 58 of file ivyFraig.c.

◆ nClassesBeg

int Ivy_FraigMan_t_::nClassesBeg

Definition at line 85 of file ivyFraig.c.

◆ nClassesEnd

int Ivy_FraigMan_t_::nClassesEnd

Definition at line 86 of file ivyFraig.c.

◆ nClassesZero

int Ivy_FraigMan_t_::nClassesZero

Definition at line 84 of file ivyFraig.c.

◆ nInsLimitGlobal

ABC_INT64_T Ivy_FraigMan_t_::nInsLimitGlobal

Definition at line 59 of file ivyFraig.c.

◆ nNodesMiter

int Ivy_FraigMan_t_::nNodesMiter

Definition at line 83 of file ivyFraig.c.

◆ nPairs

int Ivy_FraigMan_t_::nPairs

Definition at line 74 of file ivyFraig.c.

◆ nPairsBeg

int Ivy_FraigMan_t_::nPairsBeg

Definition at line 87 of file ivyFraig.c.

◆ nPairsEnd

int Ivy_FraigMan_t_::nPairsEnd

Definition at line 88 of file ivyFraig.c.

◆ nPatWords

int Ivy_FraigMan_t_::nPatWords

Definition at line 68 of file ivyFraig.c.

◆ nSatCalls

int Ivy_FraigMan_t_::nSatCalls

Definition at line 89 of file ivyFraig.c.

◆ nSatCallsSat

int Ivy_FraigMan_t_::nSatCallsSat

Definition at line 90 of file ivyFraig.c.

◆ nSatCallsUnsat

int Ivy_FraigMan_t_::nSatCallsUnsat

Definition at line 91 of file ivyFraig.c.

◆ nSatFails

int Ivy_FraigMan_t_::nSatFails

Definition at line 93 of file ivyFraig.c.

◆ nSatFailsReal

int Ivy_FraigMan_t_::nSatFailsReal

Definition at line 94 of file ivyFraig.c.

◆ nSatProof

int Ivy_FraigMan_t_::nSatProof

Definition at line 92 of file ivyFraig.c.

◆ nSatVars

int Ivy_FraigMan_t_::nSatVars

Definition at line 77 of file ivyFraig.c.

◆ nSimRounds

int Ivy_FraigMan_t_::nSimRounds

Definition at line 82 of file ivyFraig.c.

◆ nSimWords

int Ivy_FraigMan_t_::nSimWords

Definition at line 64 of file ivyFraig.c.

◆ pManAig

Ivy_Man_t* Ivy_FraigMan_t_::pManAig

Definition at line 61 of file ivyFraig.c.

◆ pManFraig

Ivy_Man_t* Ivy_FraigMan_t_::pManFraig

Definition at line 62 of file ivyFraig.c.

◆ pParams

Ivy_FraigParams_t* Ivy_FraigMan_t_::pParams

Definition at line 56 of file ivyFraig.c.

◆ pPatScores

int* Ivy_FraigMan_t_::pPatScores

Definition at line 70 of file ivyFraig.c.

◆ pPatWords

unsigned* Ivy_FraigMan_t_::pPatWords

Definition at line 69 of file ivyFraig.c.

◆ pProgress

ProgressBar* Ivy_FraigMan_t_::pProgress

Definition at line 80 of file ivyFraig.c.

◆ pSat

sat_solver* Ivy_FraigMan_t_::pSat

Definition at line 76 of file ivyFraig.c.

◆ pSimStart

Ivy_FraigSim_t* Ivy_FraigMan_t_::pSimStart

Definition at line 66 of file ivyFraig.c.

◆ pSimWords

char* Ivy_FraigMan_t_::pSimWords

Definition at line 65 of file ivyFraig.c.

◆ time1

abctime Ivy_FraigMan_t_::time1

Definition at line 104 of file ivyFraig.c.

◆ time2

abctime Ivy_FraigMan_t_::time2

Definition at line 105 of file ivyFraig.c.

◆ timeRef

abctime Ivy_FraigMan_t_::timeRef

Definition at line 102 of file ivyFraig.c.

◆ timeSat

abctime Ivy_FraigMan_t_::timeSat

Definition at line 98 of file ivyFraig.c.

◆ timeSatFail

abctime Ivy_FraigMan_t_::timeSatFail

Definition at line 101 of file ivyFraig.c.

◆ timeSatSat

abctime Ivy_FraigMan_t_::timeSatSat

Definition at line 100 of file ivyFraig.c.

◆ timeSatUnsat

abctime Ivy_FraigMan_t_::timeSatUnsat

Definition at line 99 of file ivyFraig.c.

◆ timeSim

abctime Ivy_FraigMan_t_::timeSim

Definition at line 96 of file ivyFraig.c.

◆ timeTotal

abctime Ivy_FraigMan_t_::timeTotal

Definition at line 103 of file ivyFraig.c.

◆ timeTrav

abctime Ivy_FraigMan_t_::timeTrav

Definition at line 97 of file ivyFraig.c.

◆ vPiVars

Vec_Ptr_t* Ivy_FraigMan_t_::vPiVars

Definition at line 78 of file ivyFraig.c.

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