Gia_RsbMan_t_ Struct Reference

Collaboration diagram for Gia_RsbMan_t_:

Public Attributes
Gia_Man_t *	pGia
word *	pOffSet
word *	pOnSet
int	nWords
int	nWordsT
Vec_Wrd_t *	vSims
Vec_Wrd_t *	vSimsT
Vec_Int_t *	vCands
Vec_Int_t *	vObjs
Vec_Int_t *	vObjs2
Vec_Wec_t *	vSets [2]
word *	pSet [3]
Vec_Int_t *	vActive

Detailed Description

Definition at line 1718 of file giaSimBase.c.

Member Data Documentation

nWords

int Gia_RsbMan_t_::nWords

Definition at line 1723 of file giaSimBase.c.

nWordsT

int Gia_RsbMan_t_::nWordsT

Definition at line 1724 of file giaSimBase.c.

pGia

Gia_Man_t* Gia_RsbMan_t_::pGia

Definition at line 1720 of file giaSimBase.c.

pOffSet

word* Gia_RsbMan_t_::pOffSet

Definition at line 1721 of file giaSimBase.c.

pOnSet

word* Gia_RsbMan_t_::pOnSet

Definition at line 1722 of file giaSimBase.c.

pSet

word* Gia_RsbMan_t_::pSet[3]

Definition at line 1731 of file giaSimBase.c.

vActive

Vec_Int_t* Gia_RsbMan_t_::vActive

Definition at line 1732 of file giaSimBase.c.

vCands

Vec_Int_t* Gia_RsbMan_t_::vCands

Definition at line 1727 of file giaSimBase.c.

vObjs

Vec_Int_t* Gia_RsbMan_t_::vObjs

Definition at line 1728 of file giaSimBase.c.

vObjs2

Vec_Int_t* Gia_RsbMan_t_::vObjs2

Definition at line 1729 of file giaSimBase.c.

vSets

Vec_Wec_t* Gia_RsbMan_t_::vSets[2]

Definition at line 1730 of file giaSimBase.c.

vSims

Vec_Wrd_t* Gia_RsbMan_t_::vSims

Definition at line 1725 of file giaSimBase.c.

vSimsT

Vec_Wrd_t* Gia_RsbMan_t_::vSimsT

Definition at line 1726 of file giaSimBase.c.

---

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

• src/aig/gia/giaSimBase.c