Ivy_FraigMan_t_ Struct Reference

Collaboration diagram for Ivy_FraigMan_t_:

[legend]

Data Fields
Ivy_FraigParams_t *	pParams
sint64	nBTLimitGlobal
sint64	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
int	timeSim
int	timeTrav
int	timeSat
int	timeSatUnsat
int	timeSatSat
int	timeSatFail
int	timeRef
int	timeTotal
int	time1
int	time2

---

Detailed Description

Definition at line 49 of file ivyFraig.c.

---

Field Documentation

Ivy_FraigList_t Ivy_FraigMan_t_::lCand

Definition at line 69 of file ivyFraig.c.

Ivy_FraigList_t Ivy_FraigMan_t_::lClasses

Definition at line 68 of file ivyFraig.c.

sint64 Ivy_FraigMan_t_::nBTLimitGlobal

Definition at line 54 of file ivyFraig.c.

int Ivy_FraigMan_t_::nClassesBeg

Definition at line 81 of file ivyFraig.c.

int Ivy_FraigMan_t_::nClassesEnd

Definition at line 82 of file ivyFraig.c.

int Ivy_FraigMan_t_::nClassesZero

Definition at line 80 of file ivyFraig.c.

sint64 Ivy_FraigMan_t_::nInsLimitGlobal

Definition at line 55 of file ivyFraig.c.

int Ivy_FraigMan_t_::nNodesMiter

Definition at line 79 of file ivyFraig.c.

int Ivy_FraigMan_t_::nPairs

Definition at line 70 of file ivyFraig.c.

int Ivy_FraigMan_t_::nPairsBeg

Definition at line 83 of file ivyFraig.c.

int Ivy_FraigMan_t_::nPairsEnd

Definition at line 84 of file ivyFraig.c.

int Ivy_FraigMan_t_::nPatWords

Definition at line 64 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatCalls

Definition at line 85 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatCallsSat

Definition at line 86 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatCallsUnsat

Definition at line 87 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatFails

Definition at line 89 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatFailsReal

Definition at line 90 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatProof

Definition at line 88 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatVars

Definition at line 73 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSimRounds

Definition at line 78 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSimWords

Definition at line 60 of file ivyFraig.c.

Ivy_Man_t* Ivy_FraigMan_t_::pManAig

Definition at line 57 of file ivyFraig.c.

Ivy_Man_t* Ivy_FraigMan_t_::pManFraig

Definition at line 58 of file ivyFraig.c.

Ivy_FraigParams_t* Ivy_FraigMan_t_::pParams

Definition at line 52 of file ivyFraig.c.

int* Ivy_FraigMan_t_::pPatScores

Definition at line 66 of file ivyFraig.c.

unsigned* Ivy_FraigMan_t_::pPatWords

Definition at line 65 of file ivyFraig.c.

ProgressBar* Ivy_FraigMan_t_::pProgress

Definition at line 76 of file ivyFraig.c.

sat_solver* Ivy_FraigMan_t_::pSat

Definition at line 72 of file ivyFraig.c.

Ivy_FraigSim_t* Ivy_FraigMan_t_::pSimStart

Definition at line 62 of file ivyFraig.c.

char* Ivy_FraigMan_t_::pSimWords

Definition at line 61 of file ivyFraig.c.

int Ivy_FraigMan_t_::time1

Definition at line 100 of file ivyFraig.c.

int Ivy_FraigMan_t_::time2

Definition at line 101 of file ivyFraig.c.

int Ivy_FraigMan_t_::timeRef

Definition at line 98 of file ivyFraig.c.

int Ivy_FraigMan_t_::timeSat

Definition at line 94 of file ivyFraig.c.

int Ivy_FraigMan_t_::timeSatFail

Definition at line 97 of file ivyFraig.c.

int Ivy_FraigMan_t_::timeSatSat

Definition at line 96 of file ivyFraig.c.

int Ivy_FraigMan_t_::timeSatUnsat

Definition at line 95 of file ivyFraig.c.

int Ivy_FraigMan_t_::timeSim

Definition at line 92 of file ivyFraig.c.

int Ivy_FraigMan_t_::timeTotal

Definition at line 99 of file ivyFraig.c.

int Ivy_FraigMan_t_::timeTrav

Definition at line 93 of file ivyFraig.c.

Vec_Ptr_t* Ivy_FraigMan_t_::vPiVars

Definition at line 74 of file ivyFraig.c.

---

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

• src/aig/ivy/ivyFraig.c