Raig_Man_t_ Struct Reference

Data Fields
Aig_Man_t *	pAig
int	nWords
int	nPis
int	nPos
int	nCis
int	nCos
int	nNodes
int	nObjs
int *	pFans0
int *	pFans1
Vec_Int_t *	vCis2Ids
Vec_Int_t *	vLos
Vec_Int_t *	vLis
int *	pRefs
unsigned *	pSims
unsigned *	pMems
int	nWordsAlloc
int	nMems
int	nMemsMax
int	MemFree

Detailed Description

Definition at line 33 of file saigSimSeq.c.

Field Documentation

int Raig_Man_t_::MemFree

Definition at line 58 of file saigSimSeq.c.

int Raig_Man_t_::nCis

Definition at line 41 of file saigSimSeq.c.

int Raig_Man_t_::nCos

Definition at line 42 of file saigSimSeq.c.

int Raig_Man_t_::nMems

Definition at line 56 of file saigSimSeq.c.

int Raig_Man_t_::nMemsMax

Definition at line 57 of file saigSimSeq.c.

int Raig_Man_t_::nNodes

Definition at line 43 of file saigSimSeq.c.

int Raig_Man_t_::nObjs

Definition at line 44 of file saigSimSeq.c.

int Raig_Man_t_::nPis

Definition at line 39 of file saigSimSeq.c.

int Raig_Man_t_::nPos

Definition at line 40 of file saigSimSeq.c.

int Raig_Man_t_::nWords

Definition at line 37 of file saigSimSeq.c.

int Raig_Man_t_::nWordsAlloc

Definition at line 55 of file saigSimSeq.c.

Aig_Man_t* Raig_Man_t_::pAig

Definition at line 36 of file saigSimSeq.c.

int* Raig_Man_t_::pFans0

Definition at line 45 of file saigSimSeq.c.

int* Raig_Man_t_::pFans1

Definition at line 46 of file saigSimSeq.c.

unsigned* Raig_Man_t_::pMems

Definition at line 54 of file saigSimSeq.c.

int* Raig_Man_t_::pRefs

Definition at line 51 of file saigSimSeq.c.

unsigned* Raig_Man_t_::pSims

Definition at line 52 of file saigSimSeq.c.

Vec_Int_t* Raig_Man_t_::vCis2Ids

Definition at line 47 of file saigSimSeq.c.

Vec_Int_t* Raig_Man_t_::vLis

Definition at line 49 of file saigSimSeq.c.

Vec_Int_t* Raig_Man_t_::vLos

Definition at line 48 of file saigSimSeq.c.

---

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

• saigSimSeq.c