Aig_RMan_t_ Struct Reference

Data Fields
int	nVars
Aig_Man_t *	pAig
int	nBins
Aig_Tru_t **	pBins
int	nEntries
Aig_MmFlex_t *	pMemTrus
Bdc_Man_t *	pBidec
unsigned	pTruthInit [RMAX_MAXWORD]
unsigned	pTruth [RMAX_MAXWORD]
unsigned	pTruthC [RMAX_MAXWORD]
unsigned	pTruthTemp [RMAX_MAXWORD]
Aig_VSig_t	pMints [2 *RMAN_MAXVARS]
char	pPerm [RMAN_MAXVARS]
char	pPermR [RMAN_MAXVARS]
int	nVarFuncs [RMAN_MAXVARS+1]
int	nTotal
int	nTtDsd
int	nTtDsdPart
int	nTtDsdNot
int	nUniqueVars

Detailed Description

Definition at line 54 of file aigCanon.c.

Field Documentation

int Aig_RMan_t_::nBins

Definition at line 59 of file aigCanon.c.

int Aig_RMan_t_::nEntries

Definition at line 61 of file aigCanon.c.

int Aig_RMan_t_::nTotal

Definition at line 75 of file aigCanon.c.

int Aig_RMan_t_::nTtDsd

Definition at line 76 of file aigCanon.c.

int Aig_RMan_t_::nTtDsdNot

Definition at line 78 of file aigCanon.c.

int Aig_RMan_t_::nTtDsdPart

Definition at line 77 of file aigCanon.c.

int Aig_RMan_t_::nUniqueVars

Definition at line 79 of file aigCanon.c.

int Aig_RMan_t_::nVarFuncs[RMAN_MAXVARS+1]

Definition at line 74 of file aigCanon.c.

int Aig_RMan_t_::nVars

Definition at line 56 of file aigCanon.c.

Aig_Man_t* Aig_RMan_t_::pAig

Definition at line 57 of file aigCanon.c.

Bdc_Man_t* Aig_RMan_t_::pBidec

Definition at line 64 of file aigCanon.c.

Aig_Tru_t** Aig_RMan_t_::pBins

Definition at line 60 of file aigCanon.c.

Aig_MmFlex_t* Aig_RMan_t_::pMemTrus

Definition at line 62 of file aigCanon.c.

Aig_VSig_t Aig_RMan_t_::pMints[2 *RMAN_MAXVARS]

Definition at line 70 of file aigCanon.c.

char Aig_RMan_t_::pPerm[RMAN_MAXVARS]

Definition at line 71 of file aigCanon.c.

char Aig_RMan_t_::pPermR[RMAN_MAXVARS]

Definition at line 72 of file aigCanon.c.

unsigned Aig_RMan_t_::pTruth[RMAX_MAXWORD]

Definition at line 67 of file aigCanon.c.

unsigned Aig_RMan_t_::pTruthC[RMAX_MAXWORD]

Definition at line 68 of file aigCanon.c.

unsigned Aig_RMan_t_::pTruthInit[RMAX_MAXWORD]

Definition at line 66 of file aigCanon.c.

unsigned Aig_RMan_t_::pTruthTemp[RMAX_MAXWORD]

Definition at line 69 of file aigCanon.c.

---

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

• aigCanon.c