Collaboration diagram for Gia_ManSup_t_:

[legend]

Public Attributes
int	nVarsMax

int	nWordsMax

Vec_Ptr_t *	vTruthVars

Vec_Ptr_t *	vTruthNodes

Gia_Man_t *	pGia

int	iData

int	iCare

Vec_Int_t *	vConeCare

Vec_Int_t *	vConeData

unsigned *	pTruthIn

unsigned *	pTruthOut

Detailed Description

Definition at line 33 of file giaSupMin.c.

Member Data Documentation

◆ iCare

int Gia_ManSup_t_::iCare

Definition at line 42 of file giaSupMin.c.

◆ iData

int Gia_ManSup_t_::iData

Definition at line 41 of file giaSupMin.c.

◆ nVarsMax

int Gia_ManSup_t_::nVarsMax

Definition at line 35 of file giaSupMin.c.

◆ nWordsMax

int Gia_ManSup_t_::nWordsMax

Definition at line 36 of file giaSupMin.c.

◆ pGia

Gia_Man_t* Gia_ManSup_t_::pGia

Definition at line 40 of file giaSupMin.c.

◆ pTruthIn

unsigned* Gia_ManSup_t_::pTruthIn

Definition at line 45 of file giaSupMin.c.

◆ pTruthOut

unsigned* Gia_ManSup_t_::pTruthOut

Definition at line 46 of file giaSupMin.c.

◆ vConeCare

Vec_Int_t* Gia_ManSup_t_::vConeCare

Definition at line 43 of file giaSupMin.c.

◆ vConeData

Vec_Int_t* Gia_ManSup_t_::vConeData

Definition at line 44 of file giaSupMin.c.

◆ vTruthNodes

Vec_Ptr_t* Gia_ManSup_t_::vTruthNodes

Definition at line 38 of file giaSupMin.c.

◆ vTruthVars

Vec_Ptr_t* Gia_ManSup_t_::vTruthVars

Definition at line 37 of file giaSupMin.c.

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

src/aig/gia/giaSupMin.c

Public Attributes