Collaboration diagram for Gia_Man2Min_t_:

[legend]

Public Attributes
Gia_Man_t *	pGia

int	iLits [2]

Vec_Int_t *	vCis [2]

Vec_Int_t *	vObjs [2]

satoko_t *	pSat

Vec_Wrd_t *	vSims

Vec_Ptr_t *	vFrontier

Vec_Ptr_t *	vFanins

Vec_Int_t *	vSatVars

int	nCisOld

int	iPattern

int	nSatSat

int	nSatUnsat

int	nCalls

int	nSims

int	nSupps

Detailed Description

Definition at line 336 of file giaSupp.c.

Member Data Documentation

◆ iLits

int Gia_Man2Min_t_::iLits[2]

Definition at line 340 of file giaSupp.c.

◆ iPattern

int Gia_Man2Min_t_::iPattern

Definition at line 351 of file giaSupp.c.

◆ nCalls

int Gia_Man2Min_t_::nCalls

Definition at line 354 of file giaSupp.c.

◆ nCisOld

int Gia_Man2Min_t_::nCisOld

Definition at line 350 of file giaSupp.c.

◆ nSatSat

int Gia_Man2Min_t_::nSatSat

Definition at line 352 of file giaSupp.c.

◆ nSatUnsat

int Gia_Man2Min_t_::nSatUnsat

Definition at line 353 of file giaSupp.c.

◆ nSims

int Gia_Man2Min_t_::nSims

Definition at line 355 of file giaSupp.c.

◆ nSupps

int Gia_Man2Min_t_::nSupps

Definition at line 356 of file giaSupp.c.

◆ pGia

Gia_Man_t* Gia_Man2Min_t_::pGia

Definition at line 339 of file giaSupp.c.

◆ pSat

satoko_t* Gia_Man2Min_t_::pSat

Definition at line 345 of file giaSupp.c.

◆ vCis

Vec_Int_t* Gia_Man2Min_t_::vCis[2]

Definition at line 342 of file giaSupp.c.

◆ vFanins

Vec_Ptr_t* Gia_Man2Min_t_::vFanins

Definition at line 348 of file giaSupp.c.

◆ vFrontier

Vec_Ptr_t* Gia_Man2Min_t_::vFrontier

Definition at line 347 of file giaSupp.c.

◆ vObjs

Vec_Int_t* Gia_Man2Min_t_::vObjs[2]

Definition at line 343 of file giaSupp.c.

◆ vSatVars

Vec_Int_t* Gia_Man2Min_t_::vSatVars

Definition at line 349 of file giaSupp.c.

◆ vSims

Vec_Wrd_t* Gia_Man2Min_t_::vSims

Definition at line 346 of file giaSupp.c.

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

src/aig/gia/giaSupp.c

Public Attributes