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

Public Attributes

int nIters
 
int nRounds
 
int nWords
 
int nDivWords
 
Vec_Wrd_t * vIsfs
 
Vec_Int_t * vCands
 
Vec_Int_t * vWeights
 
Vec_Wrd_t * vSims
 
Vec_Wrd_t * vSimsC
 
Gia_Man_t * pGia
 
Vec_Wrd_t * vDivs [2]
 
Vec_Wrd_t * vDivsC [2]
 
Vec_Wrd_t * vPats [2]
 
Vec_Ptr_t * vMatrix
 
Vec_Wrd_t * vMask
 
Vec_Wrd_t * vRowTemp
 
Vec_Int_t * vCosts
 
Hsh_VecMan_t * pHash
 
Vec_Wrd_t * vSFuncs
 
Vec_Int_t * vSStarts
 
Vec_Int_t * vSCount
 
Vec_Int_t * vSPairs
 
Vec_Int_t * vTemp
 
Vec_Int_t * vTempSets
 
Vec_Int_t * vTempPairs
 
Vec_Wec_t * vSolutions
 
int nChunkSize
 
int nStepSize
 
char * pFreeBuf
 
int nFreeSize
 
Vec_Ptr_t * vMemory
 
Vec_Ptr_t * vFree
 

Detailed Description

Definition at line 35 of file giaSupps.c.

Member Data Documentation

◆ nChunkSize

int Supp_Man_t_::nChunkSize

Definition at line 43 of file abcPart.c.

◆ nDivWords

int Supp_Man_t_::nDivWords

Definition at line 41 of file giaSupps.c.

◆ nFreeSize

int Supp_Man_t_::nFreeSize

Definition at line 46 of file abcPart.c.

◆ nIters

int Supp_Man_t_::nIters

Definition at line 38 of file giaSupps.c.

◆ nRounds

int Supp_Man_t_::nRounds

Definition at line 39 of file giaSupps.c.

◆ nStepSize

int Supp_Man_t_::nStepSize

Definition at line 44 of file abcPart.c.

◆ nWords

int Supp_Man_t_::nWords

Definition at line 40 of file giaSupps.c.

◆ pFreeBuf

char* Supp_Man_t_::pFreeBuf

Definition at line 45 of file abcPart.c.

◆ pGia

Gia_Man_t* Supp_Man_t_::pGia

Definition at line 47 of file giaSupps.c.

◆ pHash

Hsh_VecMan_t* Supp_Man_t_::pHash

Definition at line 56 of file giaSupps.c.

◆ vCands

Vec_Int_t* Supp_Man_t_::vCands

Definition at line 43 of file giaSupps.c.

◆ vCosts

Vec_Int_t* Supp_Man_t_::vCosts

Definition at line 55 of file giaSupps.c.

◆ vDivs

Vec_Wrd_t* Supp_Man_t_::vDivs[2]

Definition at line 49 of file giaSupps.c.

◆ vDivsC

Vec_Wrd_t* Supp_Man_t_::vDivsC[2]

Definition at line 50 of file giaSupps.c.

◆ vFree

Vec_Ptr_t* Supp_Man_t_::vFree

Definition at line 48 of file abcPart.c.

◆ vIsfs

Vec_Wrd_t* Supp_Man_t_::vIsfs

Definition at line 42 of file giaSupps.c.

◆ vMask

Vec_Wrd_t* Supp_Man_t_::vMask

Definition at line 53 of file giaSupps.c.

◆ vMatrix

Vec_Ptr_t* Supp_Man_t_::vMatrix

Definition at line 52 of file giaSupps.c.

◆ vMemory

Vec_Ptr_t* Supp_Man_t_::vMemory

Definition at line 47 of file abcPart.c.

◆ vPats

Vec_Wrd_t* Supp_Man_t_::vPats[2]

Definition at line 51 of file giaSupps.c.

◆ vRowTemp

Vec_Wrd_t* Supp_Man_t_::vRowTemp

Definition at line 54 of file giaSupps.c.

◆ vSCount

Vec_Int_t* Supp_Man_t_::vSCount

Definition at line 59 of file giaSupps.c.

◆ vSFuncs

Vec_Wrd_t* Supp_Man_t_::vSFuncs

Definition at line 57 of file giaSupps.c.

◆ vSims

Vec_Wrd_t* Supp_Man_t_::vSims

Definition at line 45 of file giaSupps.c.

◆ vSimsC

Vec_Wrd_t* Supp_Man_t_::vSimsC

Definition at line 46 of file giaSupps.c.

◆ vSolutions

Vec_Wec_t* Supp_Man_t_::vSolutions

Definition at line 64 of file giaSupps.c.

◆ vSPairs

Vec_Int_t* Supp_Man_t_::vSPairs

Definition at line 60 of file giaSupps.c.

◆ vSStarts

Vec_Int_t* Supp_Man_t_::vSStarts

Definition at line 58 of file giaSupps.c.

◆ vTemp

Vec_Int_t* Supp_Man_t_::vTemp

Definition at line 61 of file giaSupps.c.

◆ vTempPairs

Vec_Int_t* Supp_Man_t_::vTempPairs

Definition at line 63 of file giaSupps.c.

◆ vTempSets

Vec_Int_t* Supp_Man_t_::vTempSets

Definition at line 62 of file giaSupps.c.

◆ vWeights

Vec_Int_t* Supp_Man_t_::vWeights

Definition at line 44 of file giaSupps.c.

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