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

Public Attributes

Extra_MmFixed_t * pMem
 
st__table * tTable
 
Cut_Cell_t * pSameVar [CUT_CELL_MVAR+1]
 
unsigned uInputs [CUT_CELL_MVAR][1<<(CUT_CELL_MVAR-5)]
 
unsigned uTemp1 [22][1<<(CUT_CELL_MVAR-5)]
 
unsigned uTemp2 [22][1<<(CUT_CELL_MVAR-5)]
 
unsigned uTemp3 [22][1<<(CUT_CELL_MVAR-5)]
 
unsigned uFinal [1<<(CUT_CELL_MVAR-5)]
 
unsigned puAux [1<<(CUT_CELL_MVAR-5)]
 
int nTotal
 
int nGood
 
int nVarCounts [CUT_CELL_MVAR+1]
 
int nSymGroups [CUT_CELL_MVAR+1]
 
int nSymGroupsE [CUT_CELL_MVAR+1]
 
abctime timeCanon
 
abctime timeSupp
 
abctime timeTable
 
int nCellFound
 
int nCellNotFound
 

Detailed Description

Definition at line 52 of file cutPre22.c.

Member Data Documentation

◆ nCellFound

int Cut_CMan_t_::nCellFound

Definition at line 75 of file cutPre22.c.

◆ nCellNotFound

int Cut_CMan_t_::nCellNotFound

Definition at line 76 of file cutPre22.c.

◆ nGood

int Cut_CMan_t_::nGood

Definition at line 68 of file cutPre22.c.

◆ nSymGroups

int Cut_CMan_t_::nSymGroups[CUT_CELL_MVAR+1]

Definition at line 70 of file cutPre22.c.

◆ nSymGroupsE

int Cut_CMan_t_::nSymGroupsE[CUT_CELL_MVAR+1]

Definition at line 71 of file cutPre22.c.

◆ nTotal

int Cut_CMan_t_::nTotal

Definition at line 67 of file cutPre22.c.

◆ nVarCounts

int Cut_CMan_t_::nVarCounts[CUT_CELL_MVAR+1]

Definition at line 69 of file cutPre22.c.

◆ pMem

Extra_MmFixed_t* Cut_CMan_t_::pMem

Definition at line 55 of file cutPre22.c.

◆ pSameVar

Cut_Cell_t* Cut_CMan_t_::pSameVar[CUT_CELL_MVAR+1]

Definition at line 57 of file cutPre22.c.

◆ puAux

unsigned Cut_CMan_t_::puAux[1<<(CUT_CELL_MVAR-5)]

Definition at line 65 of file cutPre22.c.

◆ timeCanon

abctime Cut_CMan_t_::timeCanon

Definition at line 72 of file cutPre22.c.

◆ timeSupp

abctime Cut_CMan_t_::timeSupp

Definition at line 73 of file cutPre22.c.

◆ timeTable

abctime Cut_CMan_t_::timeTable

Definition at line 74 of file cutPre22.c.

◆ tTable

st__table* Cut_CMan_t_::tTable

Definition at line 56 of file cutPre22.c.

◆ uFinal

unsigned Cut_CMan_t_::uFinal[1<<(CUT_CELL_MVAR-5)]

Definition at line 64 of file cutPre22.c.

◆ uInputs

unsigned Cut_CMan_t_::uInputs[CUT_CELL_MVAR][1<<(CUT_CELL_MVAR-5)]

Definition at line 59 of file cutPre22.c.

◆ uTemp1

unsigned Cut_CMan_t_::uTemp1[22][1<<(CUT_CELL_MVAR-5)]

Definition at line 61 of file cutPre22.c.

◆ uTemp2

unsigned Cut_CMan_t_::uTemp2[22][1<<(CUT_CELL_MVAR-5)]

Definition at line 62 of file cutPre22.c.

◆ uTemp3

unsigned Cut_CMan_t_::uTemp3[22][1<<(CUT_CELL_MVAR-5)]

Definition at line 63 of file cutPre22.c.

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