ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Sbl_Man_t_ Struct Reference
Collaboration diagram for Sbl_Man_t_:
Collaboration graph
[legend]

Public Attributes

sat_solver * pSat
 
Vec_Int_t * vCardVars
 
int nVars
 
int LogN
 
int Power2
 
int FirstVar
 
int nTried
 
int nImproved
 
int nRuns
 
int nHashWins
 
int nSmallWins
 
int nLargeWins
 
int nIterOuts
 
int LutSize
 
int nBTLimit
 
int DelayMax
 
int nEdges
 
int fDelay
 
int fReverse
 
int fVerbose
 
int fVeryVerbose
 
int fVeryVeryVerbose
 
Gia_Man_t * pGia
 
Vec_Int_t * vLeaves
 
Vec_Int_t * vAnds
 
Vec_Int_t * vNodes
 
Vec_Int_t * vRoots
 
Vec_Int_t * vRootVars
 
Hsh_VecMan_t * pHash
 
Vec_Int_t * vArrs
 
Vec_Int_t * vReqs
 
Vec_Wec_t * vWindow
 
Vec_Int_t * vPath
 
Vec_Int_t * vEdges
 
Vec_Wrd_t * vCutsI1
 
Vec_Wrd_t * vCutsI2
 
Vec_Wrd_t * vCutsN1
 
Vec_Wrd_t * vCutsN2
 
Vec_Int_t * vCutsNum
 
Vec_Int_t * vCutsStart
 
Vec_Int_t * vCutsObj
 
Vec_Wrd_t * vTempI1
 
Vec_Wrd_t * vTempI2
 
Vec_Wrd_t * vTempN1
 
Vec_Wrd_t * vTempN2
 
Vec_Int_t * vSolInit
 
Vec_Int_t * vSolCur
 
Vec_Int_t * vSolBest
 
Vec_Int_t * vLits
 
Vec_Int_t * vAssump
 
Vec_Int_t * vPolar
 
abctime timeWin
 
abctime timeCut
 
abctime timeSat
 
abctime timeSatSat
 
abctime timeSatUns
 
abctime timeSatUnd
 
abctime timeTime
 
abctime timeStart
 
abctime timeTotal
 
abctime timeOther
 

Detailed Description

Definition at line 43 of file giaSatLut.c.

Member Data Documentation

◆ DelayMax

int Sbl_Man_t_::DelayMax

Definition at line 62 of file giaSatLut.c.

◆ fDelay

int Sbl_Man_t_::fDelay

Definition at line 64 of file giaSatLut.c.

◆ FirstVar

int Sbl_Man_t_::FirstVar

Definition at line 50 of file giaSatLut.c.

◆ fReverse

int Sbl_Man_t_::fReverse

Definition at line 65 of file giaSatLut.c.

◆ fVerbose

int Sbl_Man_t_::fVerbose

Definition at line 66 of file giaSatLut.c.

◆ fVeryVerbose

int Sbl_Man_t_::fVeryVerbose

Definition at line 67 of file giaSatLut.c.

◆ fVeryVeryVerbose

int Sbl_Man_t_::fVeryVeryVerbose

Definition at line 68 of file giaSatLut.c.

◆ LogN

int Sbl_Man_t_::LogN

Definition at line 48 of file giaSatLut.c.

◆ LutSize

int Sbl_Man_t_::LutSize

Definition at line 60 of file giaSatLut.c.

◆ nBTLimit

int Sbl_Man_t_::nBTLimit

Definition at line 61 of file giaSatLut.c.

◆ nEdges

int Sbl_Man_t_::nEdges

Definition at line 63 of file giaSatLut.c.

◆ nHashWins

int Sbl_Man_t_::nHashWins

Definition at line 55 of file giaSatLut.c.

◆ nImproved

int Sbl_Man_t_::nImproved

Definition at line 53 of file giaSatLut.c.

◆ nIterOuts

int Sbl_Man_t_::nIterOuts

Definition at line 58 of file giaSatLut.c.

◆ nLargeWins

int Sbl_Man_t_::nLargeWins

Definition at line 57 of file giaSatLut.c.

◆ nRuns

int Sbl_Man_t_::nRuns

Definition at line 54 of file giaSatLut.c.

◆ nSmallWins

int Sbl_Man_t_::nSmallWins

Definition at line 56 of file giaSatLut.c.

◆ nTried

int Sbl_Man_t_::nTried

Definition at line 52 of file giaSatLut.c.

◆ nVars

int Sbl_Man_t_::nVars

Definition at line 47 of file giaSatLut.c.

◆ pGia

Gia_Man_t* Sbl_Man_t_::pGia

Definition at line 70 of file giaSatLut.c.

◆ pHash

Hsh_VecMan_t* Sbl_Man_t_::pHash

Definition at line 76 of file giaSatLut.c.

◆ Power2

int Sbl_Man_t_::Power2

Definition at line 49 of file giaSatLut.c.

◆ pSat

sat_solver* Sbl_Man_t_::pSat

Definition at line 45 of file giaSatLut.c.

◆ timeCut

abctime Sbl_Man_t_::timeCut

Definition at line 104 of file giaSatLut.c.

◆ timeOther

abctime Sbl_Man_t_::timeOther

Definition at line 112 of file giaSatLut.c.

◆ timeSat

abctime Sbl_Man_t_::timeSat

Definition at line 105 of file giaSatLut.c.

◆ timeSatSat

abctime Sbl_Man_t_::timeSatSat

Definition at line 106 of file giaSatLut.c.

◆ timeSatUnd

abctime Sbl_Man_t_::timeSatUnd

Definition at line 108 of file giaSatLut.c.

◆ timeSatUns

abctime Sbl_Man_t_::timeSatUns

Definition at line 107 of file giaSatLut.c.

◆ timeStart

abctime Sbl_Man_t_::timeStart

Definition at line 110 of file giaSatLut.c.

◆ timeTime

abctime Sbl_Man_t_::timeTime

Definition at line 109 of file giaSatLut.c.

◆ timeTotal

abctime Sbl_Man_t_::timeTotal

Definition at line 111 of file giaSatLut.c.

◆ timeWin

abctime Sbl_Man_t_::timeWin

Definition at line 103 of file giaSatLut.c.

◆ vAnds

Vec_Int_t* Sbl_Man_t_::vAnds

Definition at line 72 of file giaSatLut.c.

◆ vArrs

Vec_Int_t* Sbl_Man_t_::vArrs

Definition at line 78 of file giaSatLut.c.

◆ vAssump

Vec_Int_t* Sbl_Man_t_::vAssump

Definition at line 100 of file giaSatLut.c.

◆ vCardVars

Vec_Int_t* Sbl_Man_t_::vCardVars

Definition at line 46 of file giaSatLut.c.

◆ vCutsI1

Vec_Wrd_t* Sbl_Man_t_::vCutsI1

Definition at line 84 of file giaSatLut.c.

◆ vCutsI2

Vec_Wrd_t* Sbl_Man_t_::vCutsI2

Definition at line 85 of file giaSatLut.c.

◆ vCutsN1

Vec_Wrd_t* Sbl_Man_t_::vCutsN1

Definition at line 86 of file giaSatLut.c.

◆ vCutsN2

Vec_Wrd_t* Sbl_Man_t_::vCutsN2

Definition at line 87 of file giaSatLut.c.

◆ vCutsNum

Vec_Int_t* Sbl_Man_t_::vCutsNum

Definition at line 88 of file giaSatLut.c.

◆ vCutsObj

Vec_Int_t* Sbl_Man_t_::vCutsObj

Definition at line 90 of file giaSatLut.c.

◆ vCutsStart

Vec_Int_t* Sbl_Man_t_::vCutsStart

Definition at line 89 of file giaSatLut.c.

◆ vEdges

Vec_Int_t* Sbl_Man_t_::vEdges

Definition at line 82 of file giaSatLut.c.

◆ vLeaves

Vec_Int_t* Sbl_Man_t_::vLeaves

Definition at line 71 of file giaSatLut.c.

◆ vLits

Vec_Int_t* Sbl_Man_t_::vLits

Definition at line 99 of file giaSatLut.c.

◆ vNodes

Vec_Int_t* Sbl_Man_t_::vNodes

Definition at line 73 of file giaSatLut.c.

◆ vPath

Vec_Int_t* Sbl_Man_t_::vPath

Definition at line 81 of file giaSatLut.c.

◆ vPolar

Vec_Int_t* Sbl_Man_t_::vPolar

Definition at line 101 of file giaSatLut.c.

◆ vReqs

Vec_Int_t* Sbl_Man_t_::vReqs

Definition at line 79 of file giaSatLut.c.

◆ vRoots

Vec_Int_t* Sbl_Man_t_::vRoots

Definition at line 74 of file giaSatLut.c.

◆ vRootVars

Vec_Int_t* Sbl_Man_t_::vRootVars

Definition at line 75 of file giaSatLut.c.

◆ vSolBest

Vec_Int_t* Sbl_Man_t_::vSolBest

Definition at line 97 of file giaSatLut.c.

◆ vSolCur

Vec_Int_t* Sbl_Man_t_::vSolCur

Definition at line 96 of file giaSatLut.c.

◆ vSolInit

Vec_Int_t* Sbl_Man_t_::vSolInit

Definition at line 95 of file giaSatLut.c.

◆ vTempI1

Vec_Wrd_t* Sbl_Man_t_::vTempI1

Definition at line 91 of file giaSatLut.c.

◆ vTempI2

Vec_Wrd_t* Sbl_Man_t_::vTempI2

Definition at line 92 of file giaSatLut.c.

◆ vTempN1

Vec_Wrd_t* Sbl_Man_t_::vTempN1

Definition at line 93 of file giaSatLut.c.

◆ vTempN2

Vec_Wrd_t* Sbl_Man_t_::vTempN2

Definition at line 94 of file giaSatLut.c.

◆ vWindow

Vec_Wec_t* Sbl_Man_t_::vWindow

Definition at line 80 of file giaSatLut.c.

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