Fraig_ManStruct_t_ Struct Reference

#include <fraigInt.h>

Collaboration diagram for Fraig_ManStruct_t_:

[legend]

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
sint64	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
int	timeToAig
int	timeSims
int	timeTrav
int	timeFeed
int	timeImply
int	timeSat
int	timeToNet
int	timeTotal
int	time1
int	time2
int	time3
int	time4

---

Detailed Description

Definition at line 125 of file fraigInt.h.

---

Field Documentation

int Fraig_ManStruct_t_::fChoicing

Definition at line 151 of file fraigInt.h.

int Fraig_ManStruct_t_::fDist1Pats

Definition at line 149 of file fraigInt.h.

int Fraig_ManStruct_t_::fDoSparse

Definition at line 150 of file fraigInt.h.

int Fraig_ManStruct_t_::fFeedBack

Definition at line 148 of file fraigInt.h.

int Fraig_ManStruct_t_::fFuncRed

Definition at line 147 of file fraigInt.h.

int Fraig_ManStruct_t_::fTryProve

Definition at line 152 of file fraigInt.h.

int Fraig_ManStruct_t_::fVerbose

Definition at line 153 of file fraigInt.h.

int Fraig_ManStruct_t_::fVerboseP

Definition at line 154 of file fraigInt.h.

int Fraig_ManStruct_t_::iPatsPerm

Definition at line 163 of file fraigInt.h.

int Fraig_ManStruct_t_::iWordPerm

Definition at line 162 of file fraigInt.h.

int Fraig_ManStruct_t_::iWordStart

Definition at line 161 of file fraigInt.h.

Fraig_MemFixed_t* Fraig_ManStruct_t_::mmNodes

Definition at line 176 of file fraigInt.h.

Fraig_MemFixed_t* Fraig_ManStruct_t_::mmSims

Definition at line 177 of file fraigInt.h.

int Fraig_ManStruct_t_::nBTLimit

Definition at line 145 of file fraigInt.h.

int Fraig_ManStruct_t_::nImplies

Definition at line 204 of file fraigInt.h.

int Fraig_ManStruct_t_::nImplies0

Definition at line 209 of file fraigInt.h.

int Fraig_ManStruct_t_::nImplies1

Definition at line 210 of file fraigInt.h.

sint64 Fraig_ManStruct_t_::nInspLimit

Definition at line 155 of file fraigInt.h.

int Fraig_ManStruct_t_::nRefErrors

Definition at line 203 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatCalls

Definition at line 190 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatCallsImp

Definition at line 196 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatCounter

Definition at line 192 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatCounterImp

Definition at line 198 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatFails

Definition at line 193 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatFailsImp

Definition at line 199 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatFailsReal

Definition at line 194 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatImpls

Definition at line 205 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatNums

Definition at line 182 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatProof

Definition at line 191 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatProofImp

Definition at line 197 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatSupps

Definition at line 202 of file fraigInt.h.

int Fraig_ManStruct_t_::nSatZeros

Definition at line 201 of file fraigInt.h.

int Fraig_ManStruct_t_::nSeconds

Definition at line 146 of file fraigInt.h.

int Fraig_ManStruct_t_::nSimplifies0

Definition at line 207 of file fraigInt.h.

int Fraig_ManStruct_t_::nSimplifies1

Definition at line 208 of file fraigInt.h.

int Fraig_ManStruct_t_::nSuppWords

Definition at line 171 of file fraigInt.h.

int Fraig_ManStruct_t_::nTravIds

Definition at line 157 of file fraigInt.h.

int Fraig_ManStruct_t_::nTravIds2

Definition at line 158 of file fraigInt.h.

int Fraig_ManStruct_t_::nVarsClauses

Definition at line 206 of file fraigInt.h.

int Fraig_ManStruct_t_::nWordsDyna

Definition at line 144 of file fraigInt.h.

int Fraig_ManStruct_t_::nWordsRand

Definition at line 143 of file fraigInt.h.

Fraig_Node_t* Fraig_ManStruct_t_::pConst1

Definition at line 131 of file fraigInt.h.

int* Fraig_ManStruct_t_::pModel

Definition at line 183 of file fraigInt.h.

char** Fraig_ManStruct_t_::ppInputNames

Definition at line 134 of file fraigInt.h.

char** Fraig_ManStruct_t_::ppOutputNames

Definition at line 135 of file fraigInt.h.

Msat_Solver_t* Fraig_ManStruct_t_::pSat

Definition at line 180 of file fraigInt.h.

unsigned* Fraig_ManStruct_t_::pSimsDiff

Definition at line 167 of file fraigInt.h.

unsigned* Fraig_ManStruct_t_::pSimsReal

Definition at line 166 of file fraigInt.h.

unsigned* Fraig_ManStruct_t_::pSimsTemp

Definition at line 168 of file fraigInt.h.

unsigned** Fraig_ManStruct_t_::pSuppF

Definition at line 173 of file fraigInt.h.

unsigned** Fraig_ManStruct_t_::pSuppS

Definition at line 172 of file fraigInt.h.

Fraig_HashTable_t* Fraig_ManStruct_t_::pTableF

Definition at line 139 of file fraigInt.h.

Fraig_HashTable_t* Fraig_ManStruct_t_::pTableF0

Definition at line 140 of file fraigInt.h.

Fraig_HashTable_t* Fraig_ManStruct_t_::pTableS

Definition at line 138 of file fraigInt.h.

int Fraig_ManStruct_t_::time1

Definition at line 221 of file fraigInt.h.

int Fraig_ManStruct_t_::time2

Definition at line 222 of file fraigInt.h.

int Fraig_ManStruct_t_::time3

Definition at line 223 of file fraigInt.h.

int Fraig_ManStruct_t_::time4

Definition at line 224 of file fraigInt.h.

int Fraig_ManStruct_t_::timeFeed

Definition at line 216 of file fraigInt.h.

int Fraig_ManStruct_t_::timeImply

Definition at line 217 of file fraigInt.h.

int Fraig_ManStruct_t_::timeSat

Definition at line 218 of file fraigInt.h.

int Fraig_ManStruct_t_::timeSims

Definition at line 214 of file fraigInt.h.

int Fraig_ManStruct_t_::timeToAig

Definition at line 213 of file fraigInt.h.

int Fraig_ManStruct_t_::timeToNet

Definition at line 219 of file fraigInt.h.

int Fraig_ManStruct_t_::timeTotal

Definition at line 220 of file fraigInt.h.

int Fraig_ManStruct_t_::timeTrav

Definition at line 215 of file fraigInt.h.

Msat_ClauseVec_t* Fraig_ManStruct_t_::vAdjacents

Definition at line 186 of file fraigInt.h.

Fraig_NodeVec_t* Fraig_ManStruct_t_::vCones

Definition at line 164 of file fraigInt.h.

Fraig_NodeVec_t* Fraig_ManStruct_t_::vInputs

Definition at line 128 of file fraigInt.h.

Fraig_NodeVec_t* Fraig_ManStruct_t_::vNodes

Definition at line 129 of file fraigInt.h.

Fraig_NodeVec_t* Fraig_ManStruct_t_::vOutputs

Definition at line 130 of file fraigInt.h.

Msat_IntVec_t* Fraig_ManStruct_t_::vPatsReal

Definition at line 165 of file fraigInt.h.

Msat_IntVec_t* Fraig_ManStruct_t_::vProj

Definition at line 181 of file fraigInt.h.

Msat_IntVec_t* Fraig_ManStruct_t_::vVarsInt

Definition at line 185 of file fraigInt.h.

Msat_IntVec_t* Fraig_ManStruct_t_::vVarsUsed

Definition at line 187 of file fraigInt.h.

---

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

• src/sat/fraig/fraigInt.h