Fraig_ManStruct_t_ Struct Reference

#include <fraigInt.h>

Data Fields
Fraig_NodeVec_t *	vInputs
Fraig_NodeVec_t *	vNodes
Fraig_NodeVec_t *	vOutputs
Fraig_Node_t *	pConst1
char **	ppInputNames
char **	ppOutputNames
Fraig_HashTable_t *	pTableS
Fraig_HashTable_t *	pTableF
Fraig_HashTable_t *	pTableF0
int	nWordsRand
int	nWordsDyna
int	nBTLimit
int	nSeconds
int	fFuncRed
int	fFeedBack
int	fDist1Pats
int	fDoSparse
int	fChoicing
int	fTryProve
int	fVerbose
int	fVerboseP
ABC_INT64_T	nInspLimit
int	nTravIds
int	nTravIds2
int	iWordStart
int	iWordPerm
int	iPatsPerm
Fraig_NodeVec_t *	vCones
Msat_IntVec_t *	vPatsReal
unsigned *	pSimsReal
unsigned *	pSimsDiff
unsigned *	pSimsTemp
int	nSuppWords
unsigned **	pSuppS
unsigned **	pSuppF
Fraig_MemFixed_t *	mmNodes
Fraig_MemFixed_t *	mmSims
Msat_Solver_t *	pSat
Msat_IntVec_t *	vProj
int	nSatNums
int *	pModel
Msat_IntVec_t *	vVarsInt
Msat_ClauseVec_t *	vAdjacents
Msat_IntVec_t *	vVarsUsed
int	nSatCalls
int	nSatProof
int	nSatCounter
int	nSatFails
int	nSatFailsReal
int	nSatCallsImp
int	nSatProofImp
int	nSatCounterImp
int	nSatFailsImp
int	nSatZeros
int	nSatSupps
int	nRefErrors
int	nImplies
int	nSatImpls
int	nVarsClauses
int	nSimplifies0
int	nSimplifies1
int	nImplies0
int	nImplies1
abctime	timeToAig
abctime	timeSims
abctime	timeTrav
abctime	timeFeed
abctime	timeImply
abctime	timeSat
abctime	timeToNet
abctime	timeTotal
abctime	time1
abctime	time2
abctime	time3
abctime	time4

Detailed Description

Definition at line 104 of file fraigInt.h.

Field Documentation

int Fraig_ManStruct_t_::fChoicing

Definition at line 130 of file fraigInt.h.

int Fraig_ManStruct_t_::fDist1Pats

Definition at line 128 of file fraigInt.h.

int Fraig_ManStruct_t_::fDoSparse

Definition at line 129 of file fraigInt.h.

int Fraig_ManStruct_t_::fFeedBack

Definition at line 127 of file fraigInt.h.

int Fraig_ManStruct_t_::fFuncRed

Definition at line 126 of file fraigInt.h.

int Fraig_ManStruct_t_::fTryProve

Definition at line 131 of file fraigInt.h.

int Fraig_ManStruct_t_::fVerbose

Definition at line 132 of file fraigInt.h.

int Fraig_ManStruct_t_::fVerboseP

Definition at line 133 of file fraigInt.h.

int Fraig_ManStruct_t_::iPatsPerm

Definition at line 142 of file fraigInt.h.

int Fraig_ManStruct_t_::iWordPerm

Definition at line 141 of file fraigInt.h.

int Fraig_ManStruct_t_::iWordStart

Definition at line 140 of file fraigInt.h.

Fraig_MemFixed_t* Fraig_ManStruct_t_::mmNodes

Definition at line 155 of file fraigInt.h.

Fraig_MemFixed_t* Fraig_ManStruct_t_::mmSims

Definition at line 156 of file fraigInt.h.

int Fraig_ManStruct_t_::nBTLimit

Definition at line 124 of file fraigInt.h.

int Fraig_ManStruct_t_::nImplies

Definition at line 183 of file fraigInt.h.

int Fraig_ManStruct_t_::nImplies0

Definition at line 188 of file fraigInt.h.

int Fraig_ManStruct_t_::nImplies1

Definition at line 189 of file fraigInt.h.

ABC_INT64_T Fraig_ManStruct_t_::nInspLimit

Definition at line 134 of file fraigInt.h.

int Fraig_ManStruct_t_::nRefErrors

Definition at line 182 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatCalls

Definition at line 169 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatCallsImp

Definition at line 175 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatCounter

Definition at line 171 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatCounterImp

Definition at line 177 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatFails

Definition at line 172 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatFailsImp

Definition at line 178 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatFailsReal

Definition at line 173 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatImpls

Definition at line 184 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatNums

Definition at line 161 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatProof

Definition at line 170 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatProofImp

Definition at line 176 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatSupps

Definition at line 181 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatZeros

Definition at line 180 of file fraigInt.h.

int Fraig_ManStruct_t_::nSeconds

Definition at line 125 of file fraigInt.h.

int Fraig_ManStruct_t_::nSimplifies0

Definition at line 186 of file fraigInt.h.

int Fraig_ManStruct_t_::nSimplifies1

Definition at line 187 of file fraigInt.h.

int Fraig_ManStruct_t_::nSuppWords

Definition at line 150 of file fraigInt.h.

int Fraig_ManStruct_t_::nTravIds

Definition at line 136 of file fraigInt.h.

int Fraig_ManStruct_t_::nTravIds2

Definition at line 137 of file fraigInt.h.

int Fraig_ManStruct_t_::nVarsClauses

Definition at line 185 of file fraigInt.h.

int Fraig_ManStruct_t_::nWordsDyna

Definition at line 123 of file fraigInt.h.

int Fraig_ManStruct_t_::nWordsRand

Definition at line 122 of file fraigInt.h.

Fraig_Node_t* Fraig_ManStruct_t_::pConst1

Definition at line 110 of file fraigInt.h.

int* Fraig_ManStruct_t_::pModel

Definition at line 162 of file fraigInt.h.

char** Fraig_ManStruct_t_::ppInputNames

Definition at line 113 of file fraigInt.h.

char** Fraig_ManStruct_t_::ppOutputNames

Definition at line 114 of file fraigInt.h.

Msat_Solver_t* Fraig_ManStruct_t_::pSat

Definition at line 159 of file fraigInt.h.

unsigned* Fraig_ManStruct_t_::pSimsDiff

Definition at line 146 of file fraigInt.h.

unsigned* Fraig_ManStruct_t_::pSimsReal

Definition at line 145 of file fraigInt.h.

unsigned* Fraig_ManStruct_t_::pSimsTemp

Definition at line 147 of file fraigInt.h.

unsigned** Fraig_ManStruct_t_::pSuppF

Definition at line 152 of file fraigInt.h.

unsigned** Fraig_ManStruct_t_::pSuppS

Definition at line 151 of file fraigInt.h.

Fraig_HashTable_t* Fraig_ManStruct_t_::pTableF

Definition at line 118 of file fraigInt.h.

Fraig_HashTable_t* Fraig_ManStruct_t_::pTableF0

Definition at line 119 of file fraigInt.h.

Fraig_HashTable_t* Fraig_ManStruct_t_::pTableS

Definition at line 117 of file fraigInt.h.

abctime Fraig_ManStruct_t_::time1

Definition at line 200 of file fraigInt.h.

abctime Fraig_ManStruct_t_::time2

Definition at line 201 of file fraigInt.h.

abctime Fraig_ManStruct_t_::time3

Definition at line 202 of file fraigInt.h.

abctime Fraig_ManStruct_t_::time4

Definition at line 203 of file fraigInt.h.

abctime Fraig_ManStruct_t_::timeFeed

Definition at line 195 of file fraigInt.h.

abctime Fraig_ManStruct_t_::timeImply

Definition at line 196 of file fraigInt.h.

abctime Fraig_ManStruct_t_::timeSat

Definition at line 197 of file fraigInt.h.

abctime Fraig_ManStruct_t_::timeSims

Definition at line 193 of file fraigInt.h.

abctime Fraig_ManStruct_t_::timeToAig

Definition at line 192 of file fraigInt.h.

abctime Fraig_ManStruct_t_::timeToNet

Definition at line 198 of file fraigInt.h.

abctime Fraig_ManStruct_t_::timeTotal

Definition at line 199 of file fraigInt.h.

abctime Fraig_ManStruct_t_::timeTrav

Definition at line 194 of file fraigInt.h.

Msat_ClauseVec_t* Fraig_ManStruct_t_::vAdjacents

Definition at line 165 of file fraigInt.h.

Fraig_NodeVec_t* Fraig_ManStruct_t_::vCones

Definition at line 143 of file fraigInt.h.

Fraig_NodeVec_t* Fraig_ManStruct_t_::vInputs

Definition at line 107 of file fraigInt.h.

Fraig_NodeVec_t* Fraig_ManStruct_t_::vNodes

Definition at line 108 of file fraigInt.h.

Fraig_NodeVec_t* Fraig_ManStruct_t_::vOutputs

Definition at line 109 of file fraigInt.h.

Msat_IntVec_t* Fraig_ManStruct_t_::vPatsReal

Definition at line 144 of file fraigInt.h.

Msat_IntVec_t* Fraig_ManStruct_t_::vProj

Definition at line 160 of file fraigInt.h.

Msat_IntVec_t* Fraig_ManStruct_t_::vVarsInt

Definition at line 164 of file fraigInt.h.

Msat_IntVec_t* Fraig_ManStruct_t_::vVarsUsed

Definition at line 166 of file fraigInt.h.

---

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

• fraigInt.h