Collaboration diagram for Spl_Man_t_:

[legend]

Public Attributes
Gia_Man_t *	pGia

int	iObj

int	Limit

int	fReverse

Vec_Bit_t *	vMarksCIO

Vec_Bit_t *	vMarksIn

Vec_Bit_t *	vMarksNo

Vec_Bit_t *	vMarksAnd

Vec_Int_t *	vRoots

Vec_Int_t *	vNodes

Vec_Int_t *	vLeaves

Vec_Int_t *	vAnds

Vec_Int_t *	vFanouts

Vec_Int_t *	vCands

Vec_Int_t *	vInputs

Detailed Description

Definition at line 32 of file giaSplit.c.

Member Data Documentation

◆ fReverse

int Spl_Man_t_::fReverse

Definition at line 38 of file giaSplit.c.

◆ iObj

int Spl_Man_t_::iObj

Definition at line 36 of file giaSplit.c.

◆ Limit

int Spl_Man_t_::Limit

Definition at line 37 of file giaSplit.c.

◆ pGia

Gia_Man_t* Spl_Man_t_::pGia

Definition at line 35 of file giaSplit.c.

◆ vAnds

Vec_Int_t* Spl_Man_t_::vAnds

Definition at line 47 of file giaSplit.c.

◆ vCands

Vec_Int_t* Spl_Man_t_::vCands

Definition at line 50 of file giaSplit.c.

◆ vFanouts

Vec_Int_t* Spl_Man_t_::vFanouts

Definition at line 49 of file giaSplit.c.

◆ vInputs

Vec_Int_t* Spl_Man_t_::vInputs

Definition at line 51 of file giaSplit.c.

◆ vLeaves

Vec_Int_t* Spl_Man_t_::vLeaves

Definition at line 46 of file giaSplit.c.

◆ vMarksAnd

Vec_Bit_t* Spl_Man_t_::vMarksAnd

Definition at line 43 of file giaSplit.c.

◆ vMarksCIO

Vec_Bit_t* Spl_Man_t_::vMarksCIO

Definition at line 40 of file giaSplit.c.

◆ vMarksIn

Vec_Bit_t* Spl_Man_t_::vMarksIn

Definition at line 41 of file giaSplit.c.

◆ vMarksNo

Vec_Bit_t* Spl_Man_t_::vMarksNo

Definition at line 42 of file giaSplit.c.

◆ vNodes

Vec_Int_t* Spl_Man_t_::vNodes

Definition at line 45 of file giaSplit.c.

◆ vRoots

Vec_Int_t* Spl_Man_t_::vRoots

Definition at line 44 of file giaSplit.c.

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

src/aig/gia/giaSplit.c

Public Attributes