ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Fraig_ManStruct_t_ Struct Reference

#include <fraigInt.h>

Collaboration diagram for Fraig_ManStruct_t_:
Collaboration graph
[legend]

Public Attributes

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.

Member Data Documentation

◆ fChoicing

int Fraig_ManStruct_t_::fChoicing

Definition at line 130 of file fraigInt.h.

◆ fDist1Pats

int Fraig_ManStruct_t_::fDist1Pats

Definition at line 128 of file fraigInt.h.

◆ fDoSparse

int Fraig_ManStruct_t_::fDoSparse

Definition at line 129 of file fraigInt.h.

◆ fFeedBack

int Fraig_ManStruct_t_::fFeedBack

Definition at line 127 of file fraigInt.h.

◆ fFuncRed

int Fraig_ManStruct_t_::fFuncRed

Definition at line 126 of file fraigInt.h.

◆ fTryProve

int Fraig_ManStruct_t_::fTryProve

Definition at line 131 of file fraigInt.h.

◆ fVerbose

int Fraig_ManStruct_t_::fVerbose

Definition at line 132 of file fraigInt.h.

◆ fVerboseP

int Fraig_ManStruct_t_::fVerboseP

Definition at line 133 of file fraigInt.h.

◆ iPatsPerm

int Fraig_ManStruct_t_::iPatsPerm

Definition at line 142 of file fraigInt.h.

◆ iWordPerm

int Fraig_ManStruct_t_::iWordPerm

Definition at line 141 of file fraigInt.h.

◆ iWordStart

int Fraig_ManStruct_t_::iWordStart

Definition at line 140 of file fraigInt.h.

◆ mmNodes

Fraig_MemFixed_t* Fraig_ManStruct_t_::mmNodes

Definition at line 155 of file fraigInt.h.

◆ mmSims

Fraig_MemFixed_t* Fraig_ManStruct_t_::mmSims

Definition at line 156 of file fraigInt.h.

◆ nBTLimit

int Fraig_ManStruct_t_::nBTLimit

Definition at line 124 of file fraigInt.h.

◆ nImplies

int Fraig_ManStruct_t_::nImplies

Definition at line 183 of file fraigInt.h.

◆ nImplies0

int Fraig_ManStruct_t_::nImplies0

Definition at line 188 of file fraigInt.h.

◆ nImplies1

int Fraig_ManStruct_t_::nImplies1

Definition at line 189 of file fraigInt.h.

◆ nInspLimit

ABC_INT64_T Fraig_ManStruct_t_::nInspLimit

Definition at line 134 of file fraigInt.h.

◆ nRefErrors

int Fraig_ManStruct_t_::nRefErrors

Definition at line 182 of file fraigInt.h.

◆ nSatCalls

int Fraig_ManStruct_t_::nSatCalls

Definition at line 169 of file fraigInt.h.

◆ nSatCallsImp

int Fraig_ManStruct_t_::nSatCallsImp

Definition at line 175 of file fraigInt.h.

◆ nSatCounter

int Fraig_ManStruct_t_::nSatCounter

Definition at line 171 of file fraigInt.h.

◆ nSatCounterImp

int Fraig_ManStruct_t_::nSatCounterImp

Definition at line 177 of file fraigInt.h.

◆ nSatFails

int Fraig_ManStruct_t_::nSatFails

Definition at line 172 of file fraigInt.h.

◆ nSatFailsImp

int Fraig_ManStruct_t_::nSatFailsImp

Definition at line 178 of file fraigInt.h.

◆ nSatFailsReal

int Fraig_ManStruct_t_::nSatFailsReal

Definition at line 173 of file fraigInt.h.

◆ nSatImpls

int Fraig_ManStruct_t_::nSatImpls

Definition at line 184 of file fraigInt.h.

◆ nSatNums

int Fraig_ManStruct_t_::nSatNums

Definition at line 161 of file fraigInt.h.

◆ nSatProof

int Fraig_ManStruct_t_::nSatProof

Definition at line 170 of file fraigInt.h.

◆ nSatProofImp

int Fraig_ManStruct_t_::nSatProofImp

Definition at line 176 of file fraigInt.h.

◆ nSatSupps

int Fraig_ManStruct_t_::nSatSupps

Definition at line 181 of file fraigInt.h.

◆ nSatZeros

int Fraig_ManStruct_t_::nSatZeros

Definition at line 180 of file fraigInt.h.

◆ nSeconds

int Fraig_ManStruct_t_::nSeconds

Definition at line 125 of file fraigInt.h.

◆ nSimplifies0

int Fraig_ManStruct_t_::nSimplifies0

Definition at line 186 of file fraigInt.h.

◆ nSimplifies1

int Fraig_ManStruct_t_::nSimplifies1

Definition at line 187 of file fraigInt.h.

◆ nSuppWords

int Fraig_ManStruct_t_::nSuppWords

Definition at line 150 of file fraigInt.h.

◆ nTravIds

int Fraig_ManStruct_t_::nTravIds

Definition at line 136 of file fraigInt.h.

◆ nTravIds2

int Fraig_ManStruct_t_::nTravIds2

Definition at line 137 of file fraigInt.h.

◆ nVarsClauses

int Fraig_ManStruct_t_::nVarsClauses

Definition at line 185 of file fraigInt.h.

◆ nWordsDyna

int Fraig_ManStruct_t_::nWordsDyna

Definition at line 123 of file fraigInt.h.

◆ nWordsRand

int Fraig_ManStruct_t_::nWordsRand

Definition at line 122 of file fraigInt.h.

◆ pConst1

Fraig_Node_t* Fraig_ManStruct_t_::pConst1

Definition at line 110 of file fraigInt.h.

◆ pModel

int* Fraig_ManStruct_t_::pModel

Definition at line 162 of file fraigInt.h.

◆ ppInputNames

char** Fraig_ManStruct_t_::ppInputNames

Definition at line 113 of file fraigInt.h.

◆ ppOutputNames

char** Fraig_ManStruct_t_::ppOutputNames

Definition at line 114 of file fraigInt.h.

◆ pSat

Msat_Solver_t* Fraig_ManStruct_t_::pSat

Definition at line 159 of file fraigInt.h.

◆ pSimsDiff

unsigned* Fraig_ManStruct_t_::pSimsDiff

Definition at line 146 of file fraigInt.h.

◆ pSimsReal

unsigned* Fraig_ManStruct_t_::pSimsReal

Definition at line 145 of file fraigInt.h.

◆ pSimsTemp

unsigned* Fraig_ManStruct_t_::pSimsTemp

Definition at line 147 of file fraigInt.h.

◆ pSuppF

unsigned** Fraig_ManStruct_t_::pSuppF

Definition at line 152 of file fraigInt.h.

◆ pSuppS

unsigned** Fraig_ManStruct_t_::pSuppS

Definition at line 151 of file fraigInt.h.

◆ pTableF

Fraig_HashTable_t* Fraig_ManStruct_t_::pTableF

Definition at line 118 of file fraigInt.h.

◆ pTableF0

Fraig_HashTable_t* Fraig_ManStruct_t_::pTableF0

Definition at line 119 of file fraigInt.h.

◆ pTableS

Fraig_HashTable_t* Fraig_ManStruct_t_::pTableS

Definition at line 117 of file fraigInt.h.

◆ time1

abctime Fraig_ManStruct_t_::time1

Definition at line 200 of file fraigInt.h.

◆ time2

abctime Fraig_ManStruct_t_::time2

Definition at line 201 of file fraigInt.h.

◆ time3

abctime Fraig_ManStruct_t_::time3

Definition at line 202 of file fraigInt.h.

◆ time4

abctime Fraig_ManStruct_t_::time4

Definition at line 203 of file fraigInt.h.

◆ timeFeed

abctime Fraig_ManStruct_t_::timeFeed

Definition at line 195 of file fraigInt.h.

◆ timeImply

abctime Fraig_ManStruct_t_::timeImply

Definition at line 196 of file fraigInt.h.

◆ timeSat

abctime Fraig_ManStruct_t_::timeSat

Definition at line 197 of file fraigInt.h.

◆ timeSims

abctime Fraig_ManStruct_t_::timeSims

Definition at line 193 of file fraigInt.h.

◆ timeToAig

abctime Fraig_ManStruct_t_::timeToAig

Definition at line 192 of file fraigInt.h.

◆ timeToNet

abctime Fraig_ManStruct_t_::timeToNet

Definition at line 198 of file fraigInt.h.

◆ timeTotal

abctime Fraig_ManStruct_t_::timeTotal

Definition at line 199 of file fraigInt.h.

◆ timeTrav

abctime Fraig_ManStruct_t_::timeTrav

Definition at line 194 of file fraigInt.h.

◆ vAdjacents

Msat_ClauseVec_t* Fraig_ManStruct_t_::vAdjacents

Definition at line 165 of file fraigInt.h.

◆ vCones

Fraig_NodeVec_t* Fraig_ManStruct_t_::vCones

Definition at line 143 of file fraigInt.h.

◆ vInputs

Fraig_NodeVec_t* Fraig_ManStruct_t_::vInputs

Definition at line 107 of file fraigInt.h.

◆ vNodes

Fraig_NodeVec_t* Fraig_ManStruct_t_::vNodes

Definition at line 108 of file fraigInt.h.

◆ vOutputs

Fraig_NodeVec_t* Fraig_ManStruct_t_::vOutputs

Definition at line 109 of file fraigInt.h.

◆ vPatsReal

Msat_IntVec_t* Fraig_ManStruct_t_::vPatsReal

Definition at line 144 of file fraigInt.h.

◆ vProj

Msat_IntVec_t* Fraig_ManStruct_t_::vProj

Definition at line 160 of file fraigInt.h.

◆ vVarsInt

Msat_IntVec_t* Fraig_ManStruct_t_::vVarsInt

Definition at line 164 of file fraigInt.h.

◆ vVarsUsed

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: