Ivy_FraigMan_t_ Struct Reference

Data Fields
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.

Field Documentation

Ivy_FraigList_t Ivy_FraigMan_t_::lCand

Definition at line 73 of file ivyFraig.c.

Ivy_FraigList_t Ivy_FraigMan_t_::lClasses

Definition at line 72 of file ivyFraig.c.

ABC_INT64_T Ivy_FraigMan_t_::nBTLimitGlobal

Definition at line 58 of file ivyFraig.c.

int Ivy_FraigMan_t_::nClassesBeg

Definition at line 85 of file ivyFraig.c.

int Ivy_FraigMan_t_::nClassesEnd

Definition at line 86 of file ivyFraig.c.

int Ivy_FraigMan_t_::nClassesZero

Definition at line 84 of file ivyFraig.c.

ABC_INT64_T Ivy_FraigMan_t_::nInsLimitGlobal

Definition at line 59 of file ivyFraig.c.

int Ivy_FraigMan_t_::nNodesMiter

Definition at line 83 of file ivyFraig.c.

int Ivy_FraigMan_t_::nPairs

Definition at line 74 of file ivyFraig.c.

int Ivy_FraigMan_t_::nPairsBeg

Definition at line 87 of file ivyFraig.c.

int Ivy_FraigMan_t_::nPairsEnd

Definition at line 88 of file ivyFraig.c.

int Ivy_FraigMan_t_::nPatWords

Definition at line 68 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatCalls

Definition at line 89 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatCallsSat

Definition at line 90 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatCallsUnsat

Definition at line 91 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatFails

Definition at line 93 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatFailsReal

Definition at line 94 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatProof

Definition at line 92 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSatVars

Definition at line 77 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSimRounds

Definition at line 82 of file ivyFraig.c.

int Ivy_FraigMan_t_::nSimWords

Definition at line 64 of file ivyFraig.c.

Ivy_Man_t* Ivy_FraigMan_t_::pManAig

Definition at line 61 of file ivyFraig.c.

Ivy_Man_t* Ivy_FraigMan_t_::pManFraig

Definition at line 62 of file ivyFraig.c.

Ivy_FraigParams_t* Ivy_FraigMan_t_::pParams

Definition at line 56 of file ivyFraig.c.

int* Ivy_FraigMan_t_::pPatScores

Definition at line 70 of file ivyFraig.c.

unsigned* Ivy_FraigMan_t_::pPatWords

Definition at line 69 of file ivyFraig.c.

ProgressBar* Ivy_FraigMan_t_::pProgress

Definition at line 80 of file ivyFraig.c.

sat_solver* Ivy_FraigMan_t_::pSat

Definition at line 76 of file ivyFraig.c.

Ivy_FraigSim_t* Ivy_FraigMan_t_::pSimStart

Definition at line 66 of file ivyFraig.c.

char* Ivy_FraigMan_t_::pSimWords

Definition at line 65 of file ivyFraig.c.

abctime Ivy_FraigMan_t_::time1

Definition at line 104 of file ivyFraig.c.

abctime Ivy_FraigMan_t_::time2

Definition at line 105 of file ivyFraig.c.

abctime Ivy_FraigMan_t_::timeRef

Definition at line 102 of file ivyFraig.c.

abctime Ivy_FraigMan_t_::timeSat

Definition at line 98 of file ivyFraig.c.

abctime Ivy_FraigMan_t_::timeSatFail

Definition at line 101 of file ivyFraig.c.

abctime Ivy_FraigMan_t_::timeSatSat

Definition at line 100 of file ivyFraig.c.

abctime Ivy_FraigMan_t_::timeSatUnsat

Definition at line 99 of file ivyFraig.c.

abctime Ivy_FraigMan_t_::timeSim

Definition at line 96 of file ivyFraig.c.

abctime Ivy_FraigMan_t_::timeTotal

Definition at line 103 of file ivyFraig.c.

abctime Ivy_FraigMan_t_::timeTrav

Definition at line 97 of file ivyFraig.c.

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:

• ivyFraig.c