ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Map_SuperLibStruct_t_ Struct Reference

#include <mapperInt.h>

Collaboration diagram for Map_SuperLibStruct_t_:

Public Attributes

char * pName
 
Mio_Library_tpGenlib
 
int nVarsMax
 
int nSupersAll
 
int nSupersReal
 
int nLines
 
int fVerbose
 
Map_Super_t ** ppSupers
 
Map_HashTable_ttTableC
 
Map_HashTable_ttTable
 
unsigned uTruths [6][2]
 
unsigned uMask [2]
 
Mio_Gate_tpGateInv
 
Map_Time_t tDelayInv
 
float AreaInv
 
float AreaBuf
 
Map_Super_tpSuperInv
 
Extra_MmFixed_tmmSupers
 
Extra_MmFixed_tmmEntries
 
Extra_MmFlex_tmmForms
 

Detailed Description

Definition at line 169 of file mapperInt.h.

Member Data Documentation

◆ AreaBuf

float Map_SuperLibStruct_t_::AreaBuf

Definition at line 195 of file mapperInt.h.

◆ AreaInv

float Map_SuperLibStruct_t_::AreaInv

Definition at line 194 of file mapperInt.h.

◆ fVerbose

int Map_SuperLibStruct_t_::fVerbose

Definition at line 180 of file mapperInt.h.

◆ mmEntries

Extra_MmFixed_t* Map_SuperLibStruct_t_::mmEntries

Definition at line 200 of file mapperInt.h.

◆ mmForms

Extra_MmFlex_t* Map_SuperLibStruct_t_::mmForms

Definition at line 201 of file mapperInt.h.

◆ mmSupers

Extra_MmFixed_t* Map_SuperLibStruct_t_::mmSupers

Definition at line 199 of file mapperInt.h.

◆ nLines

int Map_SuperLibStruct_t_::nLines

Definition at line 179 of file mapperInt.h.

◆ nSupersAll

int Map_SuperLibStruct_t_::nSupersAll

Definition at line 177 of file mapperInt.h.

◆ nSupersReal

int Map_SuperLibStruct_t_::nSupersReal

Definition at line 178 of file mapperInt.h.

◆ nVarsMax

int Map_SuperLibStruct_t_::nVarsMax

Definition at line 176 of file mapperInt.h.

◆ pGateInv

Mio_Gate_t* Map_SuperLibStruct_t_::pGateInv

Definition at line 192 of file mapperInt.h.

◆ pGenlib

Mio_Library_t* Map_SuperLibStruct_t_::pGenlib

Definition at line 173 of file mapperInt.h.

◆ pName

char* Map_SuperLibStruct_t_::pName

Definition at line 172 of file mapperInt.h.

◆ ppSupers

Map_Super_t** Map_SuperLibStruct_t_::ppSupers

Definition at line 183 of file mapperInt.h.

◆ pSuperInv

Map_Super_t* Map_SuperLibStruct_t_::pSuperInv

Definition at line 196 of file mapperInt.h.

◆ tDelayInv

Map_Time_t Map_SuperLibStruct_t_::tDelayInv

Definition at line 193 of file mapperInt.h.

◆ tTable

Map_HashTable_t* Map_SuperLibStruct_t_::tTable

Definition at line 185 of file mapperInt.h.

◆ tTableC

Map_HashTable_t* Map_SuperLibStruct_t_::tTableC

Definition at line 184 of file mapperInt.h.

◆ uMask

unsigned Map_SuperLibStruct_t_::uMask[2]

Definition at line 189 of file mapperInt.h.

◆ uTruths

unsigned Map_SuperLibStruct_t_::uTruths[6][2]

Definition at line 188 of file mapperInt.h.


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