ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Aig_RMan_t_ Struct Reference
Collaboration diagram for Aig_RMan_t_:
Collaboration graph
[legend]

Public Attributes

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.

Member Data Documentation

◆ nBins

int Aig_RMan_t_::nBins

Definition at line 59 of file aigCanon.c.

◆ nEntries

int Aig_RMan_t_::nEntries

Definition at line 61 of file aigCanon.c.

◆ nTotal

int Aig_RMan_t_::nTotal

Definition at line 75 of file aigCanon.c.

◆ nTtDsd

int Aig_RMan_t_::nTtDsd

Definition at line 76 of file aigCanon.c.

◆ nTtDsdNot

int Aig_RMan_t_::nTtDsdNot

Definition at line 78 of file aigCanon.c.

◆ nTtDsdPart

int Aig_RMan_t_::nTtDsdPart

Definition at line 77 of file aigCanon.c.

◆ nUniqueVars

int Aig_RMan_t_::nUniqueVars

Definition at line 79 of file aigCanon.c.

◆ nVarFuncs

int Aig_RMan_t_::nVarFuncs[RMAN_MAXVARS+1]

Definition at line 74 of file aigCanon.c.

◆ nVars

int Aig_RMan_t_::nVars

Definition at line 56 of file aigCanon.c.

◆ pAig

Aig_Man_t* Aig_RMan_t_::pAig

Definition at line 57 of file aigCanon.c.

◆ pBidec

Bdc_Man_t* Aig_RMan_t_::pBidec

Definition at line 64 of file aigCanon.c.

◆ pBins

Aig_Tru_t** Aig_RMan_t_::pBins

Definition at line 60 of file aigCanon.c.

◆ pMemTrus

Aig_MmFlex_t* Aig_RMan_t_::pMemTrus

Definition at line 62 of file aigCanon.c.

◆ pMints

Aig_VSig_t Aig_RMan_t_::pMints[2 *RMAN_MAXVARS]

Definition at line 70 of file aigCanon.c.

◆ pPerm

char Aig_RMan_t_::pPerm[RMAN_MAXVARS]

Definition at line 71 of file aigCanon.c.

◆ pPermR

char Aig_RMan_t_::pPermR[RMAN_MAXVARS]

Definition at line 72 of file aigCanon.c.

◆ pTruth

unsigned Aig_RMan_t_::pTruth[RMAX_MAXWORD]

Definition at line 67 of file aigCanon.c.

◆ pTruthC

unsigned Aig_RMan_t_::pTruthC[RMAX_MAXWORD]

Definition at line 68 of file aigCanon.c.

◆ pTruthInit

unsigned Aig_RMan_t_::pTruthInit[RMAX_MAXWORD]

Definition at line 66 of file aigCanon.c.

◆ pTruthTemp

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: