Collaboration diagram for Gia_SimAbsMan_t_:

[legend]

Public Attributes
Gia_Man_t *	pGia

word *	pSet [2]

int	nCands

int	nWords

Vec_Wrd_t *	vSims

Vec_Int_t *	vResub

int	fVerbose

Vec_Int_t *	vValues

Vec_Int_t *	vPatPairs

int	nWordsTable

word *	pTableTemp

Vec_Wrd_t *	vCoverTable

Vec_Int_t *	vTtMints

Detailed Description

Definition at line 51 of file giaSimBase.c.

Member Data Documentation

◆ fVerbose

int Gia_SimAbsMan_t_::fVerbose

Definition at line 60 of file giaSimBase.c.

◆ nCands

int Gia_SimAbsMan_t_::nCands

Definition at line 56 of file giaSimBase.c.

◆ nWords

int Gia_SimAbsMan_t_::nWords

Definition at line 57 of file giaSimBase.c.

◆ nWordsTable

int Gia_SimAbsMan_t_::nWordsTable

Definition at line 64 of file giaSimBase.c.

◆ pGia

Gia_Man_t* Gia_SimAbsMan_t_::pGia

Definition at line 54 of file giaSimBase.c.

◆ pSet

word* Gia_SimAbsMan_t_::pSet[2]

Definition at line 55 of file giaSimBase.c.

◆ pTableTemp

word* Gia_SimAbsMan_t_::pTableTemp

Definition at line 65 of file giaSimBase.c.

◆ vCoverTable

Vec_Wrd_t* Gia_SimAbsMan_t_::vCoverTable

Definition at line 66 of file giaSimBase.c.

◆ vPatPairs

Vec_Int_t* Gia_SimAbsMan_t_::vPatPairs

Definition at line 63 of file giaSimBase.c.

◆ vResub

Vec_Int_t* Gia_SimAbsMan_t_::vResub

Definition at line 59 of file giaSimBase.c.

◆ vSims

Vec_Wrd_t* Gia_SimAbsMan_t_::vSims

Definition at line 58 of file giaSimBase.c.

◆ vTtMints

Vec_Int_t* Gia_SimAbsMan_t_::vTtMints

Definition at line 67 of file giaSimBase.c.

◆ vValues

Vec_Int_t* Gia_SimAbsMan_t_::vValues

Definition at line 62 of file giaSimBase.c.

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

src/aig/gia/giaSimBase.c

Public Attributes