ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Sfm_Ntk_t_ Struct Reference

#include <sfmInt.h>

Collaboration diagram for Sfm_Ntk_t_:

Public Attributes

Sfm_Par_tpPars
 
int nPis
 
int nPos
 
int nNodes
 
int nObjs
 
int nLevelMax
 
Vec_Str_tvFixed
 
Vec_Str_tvEmpty
 
Vec_Wrd_tvTruths
 
Vec_Wec_t vFanins
 
Vec_Int_tvStarts
 
Vec_Wrd_tvTruths2
 
Vec_Wec_t vFanouts
 
Vec_Int_t vLevels
 
Vec_Int_t vLevelsR
 
Vec_Int_t vCounts
 
Vec_Int_t vId2Var
 
Vec_Int_t vVar2Id
 
Vec_Wec_tvCnfs
 
Vec_Int_tvCover
 
Vec_Int_t vTravIds
 
Vec_Int_t vTravIds2
 
int nTravIds
 
int nTravIds2
 
int iPivotNode
 
Vec_Int_tvNodes
 
Vec_Int_tvDivs
 
Vec_Int_tvRoots
 
Vec_Int_tvTfo
 
sat_solverpSat
 
int nSatVars
 
int nTryRemoves
 
int nTryImproves
 
int nTryResubs
 
int nRemoves
 
int nImproves
 
int nResubs
 
int nCexes
 
Vec_Wrd_tvDivCexes
 
Vec_Int_tvOrder
 
Vec_Int_tvDivVars
 
Vec_Int_tvDivIds
 
Vec_Int_tvLits
 
Vec_Int_tvValues
 
Vec_Wec_tvClauses
 
Vec_Int_tvFaninMap
 
word TtElems [SFM_FANIN_MAX][SFM_WORDS_MAX]
 
wordpTtElems [SFM_FANIN_MAX]
 
word pTruth [SFM_WORDS_MAX]
 
word pCube [SFM_WORDS_MAX]
 
int nTotalNodesBeg
 
int nTotalEdgesBeg
 
int nTotalNodesEnd
 
int nTotalEdgesEnd
 
int nNodesTried
 
int nTotalDivs
 
int nSatCalls
 
int nTimeOuts
 
int nMaxDivs
 
abctime timeWin
 
abctime timeDiv
 
abctime timeCnf
 
abctime timeSat
 
abctime timeOther
 
abctime timeTotal
 

Detailed Description

Definition at line 71 of file sfmInt.h.

Member Data Documentation

◆ iPivotNode

int Sfm_Ntk_t_::iPivotNode

Definition at line 103 of file sfmInt.h.

◆ nCexes

int Sfm_Ntk_t_::nCexes

Definition at line 118 of file sfmInt.h.

◆ nImproves

int Sfm_Ntk_t_::nImproves

Definition at line 115 of file sfmInt.h.

◆ nLevelMax

int Sfm_Ntk_t_::nLevelMax

Definition at line 80 of file sfmInt.h.

◆ nMaxDivs

int Sfm_Ntk_t_::nMaxDivs

Definition at line 141 of file sfmInt.h.

◆ nNodes

int Sfm_Ntk_t_::nNodes

Definition at line 78 of file sfmInt.h.

◆ nNodesTried

int Sfm_Ntk_t_::nNodesTried

Definition at line 137 of file sfmInt.h.

◆ nObjs

int Sfm_Ntk_t_::nObjs

Definition at line 79 of file sfmInt.h.

◆ nPis

int Sfm_Ntk_t_::nPis

Definition at line 76 of file sfmInt.h.

◆ nPos

int Sfm_Ntk_t_::nPos

Definition at line 77 of file sfmInt.h.

◆ nRemoves

int Sfm_Ntk_t_::nRemoves

Definition at line 114 of file sfmInt.h.

◆ nResubs

int Sfm_Ntk_t_::nResubs

Definition at line 116 of file sfmInt.h.

◆ nSatCalls

int Sfm_Ntk_t_::nSatCalls

Definition at line 139 of file sfmInt.h.

◆ nSatVars

int Sfm_Ntk_t_::nSatVars

Definition at line 110 of file sfmInt.h.

◆ nTimeOuts

int Sfm_Ntk_t_::nTimeOuts

Definition at line 140 of file sfmInt.h.

◆ nTotalDivs

int Sfm_Ntk_t_::nTotalDivs

Definition at line 138 of file sfmInt.h.

◆ nTotalEdgesBeg

int Sfm_Ntk_t_::nTotalEdgesBeg

Definition at line 134 of file sfmInt.h.

◆ nTotalEdgesEnd

int Sfm_Ntk_t_::nTotalEdgesEnd

Definition at line 136 of file sfmInt.h.

◆ nTotalNodesBeg

int Sfm_Ntk_t_::nTotalNodesBeg

Definition at line 133 of file sfmInt.h.

◆ nTotalNodesEnd

int Sfm_Ntk_t_::nTotalNodesEnd

Definition at line 135 of file sfmInt.h.

◆ nTravIds

int Sfm_Ntk_t_::nTravIds

Definition at line 100 of file sfmInt.h.

◆ nTravIds2

int Sfm_Ntk_t_::nTravIds2

Definition at line 101 of file sfmInt.h.

◆ nTryImproves

int Sfm_Ntk_t_::nTryImproves

Definition at line 112 of file sfmInt.h.

◆ nTryRemoves

int Sfm_Ntk_t_::nTryRemoves

Definition at line 111 of file sfmInt.h.

◆ nTryResubs

int Sfm_Ntk_t_::nTryResubs

Definition at line 113 of file sfmInt.h.

◆ pCube

word Sfm_Ntk_t_::pCube[SFM_WORDS_MAX]

Definition at line 131 of file sfmInt.h.

◆ pPars

Sfm_Par_t* Sfm_Ntk_t_::pPars

Definition at line 74 of file sfmInt.h.

◆ pSat

sat_solver* Sfm_Ntk_t_::pSat

Definition at line 109 of file sfmInt.h.

◆ pTruth

word Sfm_Ntk_t_::pTruth[SFM_WORDS_MAX]

Definition at line 130 of file sfmInt.h.

◆ pTtElems

word* Sfm_Ntk_t_::pTtElems[SFM_FANIN_MAX]

Definition at line 129 of file sfmInt.h.

◆ timeCnf

abctime Sfm_Ntk_t_::timeCnf

Definition at line 145 of file sfmInt.h.

◆ timeDiv

abctime Sfm_Ntk_t_::timeDiv

Definition at line 144 of file sfmInt.h.

◆ timeOther

abctime Sfm_Ntk_t_::timeOther

Definition at line 147 of file sfmInt.h.

◆ timeSat

abctime Sfm_Ntk_t_::timeSat

Definition at line 146 of file sfmInt.h.

◆ timeTotal

abctime Sfm_Ntk_t_::timeTotal

Definition at line 148 of file sfmInt.h.

◆ timeWin

abctime Sfm_Ntk_t_::timeWin

Definition at line 143 of file sfmInt.h.

◆ TtElems

word Sfm_Ntk_t_::TtElems[SFM_FANIN_MAX][SFM_WORDS_MAX]

Definition at line 128 of file sfmInt.h.

◆ vClauses

Vec_Wec_t* Sfm_Ntk_t_::vClauses

Definition at line 126 of file sfmInt.h.

◆ vCnfs

Vec_Wec_t* Sfm_Ntk_t_::vCnfs

Definition at line 95 of file sfmInt.h.

◆ vCounts

Vec_Int_t Sfm_Ntk_t_::vCounts

Definition at line 92 of file sfmInt.h.

◆ vCover

Vec_Int_t* Sfm_Ntk_t_::vCover

Definition at line 96 of file sfmInt.h.

◆ vDivCexes

Vec_Wrd_t* Sfm_Ntk_t_::vDivCexes

Definition at line 119 of file sfmInt.h.

◆ vDivIds

Vec_Int_t* Sfm_Ntk_t_::vDivIds

Definition at line 123 of file sfmInt.h.

◆ vDivs

Vec_Int_t* Sfm_Ntk_t_::vDivs

Definition at line 105 of file sfmInt.h.

◆ vDivVars

Vec_Int_t* Sfm_Ntk_t_::vDivVars

Definition at line 122 of file sfmInt.h.

◆ vEmpty

Vec_Str_t* Sfm_Ntk_t_::vEmpty

Definition at line 83 of file sfmInt.h.

◆ vFaninMap

Vec_Int_t* Sfm_Ntk_t_::vFaninMap

Definition at line 127 of file sfmInt.h.

◆ vFanins

Vec_Wec_t Sfm_Ntk_t_::vFanins

Definition at line 85 of file sfmInt.h.

◆ vFanouts

Vec_Wec_t Sfm_Ntk_t_::vFanouts

Definition at line 89 of file sfmInt.h.

◆ vFixed

Vec_Str_t* Sfm_Ntk_t_::vFixed

Definition at line 82 of file sfmInt.h.

◆ vId2Var

Vec_Int_t Sfm_Ntk_t_::vId2Var

Definition at line 93 of file sfmInt.h.

◆ vLevels

Vec_Int_t Sfm_Ntk_t_::vLevels

Definition at line 90 of file sfmInt.h.

◆ vLevelsR

Vec_Int_t Sfm_Ntk_t_::vLevelsR

Definition at line 91 of file sfmInt.h.

◆ vLits

Vec_Int_t* Sfm_Ntk_t_::vLits

Definition at line 124 of file sfmInt.h.

◆ vNodes

Vec_Int_t* Sfm_Ntk_t_::vNodes

Definition at line 104 of file sfmInt.h.

◆ vOrder

Vec_Int_t* Sfm_Ntk_t_::vOrder

Definition at line 121 of file sfmInt.h.

◆ vRoots

Vec_Int_t* Sfm_Ntk_t_::vRoots

Definition at line 106 of file sfmInt.h.

◆ vStarts

Vec_Int_t* Sfm_Ntk_t_::vStarts

Definition at line 86 of file sfmInt.h.

◆ vTfo

Vec_Int_t* Sfm_Ntk_t_::vTfo

Definition at line 107 of file sfmInt.h.

◆ vTravIds

Vec_Int_t Sfm_Ntk_t_::vTravIds

Definition at line 98 of file sfmInt.h.

◆ vTravIds2

Vec_Int_t Sfm_Ntk_t_::vTravIds2

Definition at line 99 of file sfmInt.h.

◆ vTruths

Vec_Wrd_t* Sfm_Ntk_t_::vTruths

Definition at line 84 of file sfmInt.h.

◆ vTruths2

Vec_Wrd_t* Sfm_Ntk_t_::vTruths2

Definition at line 87 of file sfmInt.h.

◆ vValues

Vec_Int_t* Sfm_Ntk_t_::vValues

Definition at line 125 of file sfmInt.h.

◆ vVar2Id

Vec_Int_t Sfm_Ntk_t_::vVar2Id

Definition at line 94 of file sfmInt.h.


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