ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Rewire::Miaig_Data Struct Reference

#include <rewire_miaig.h>

Collaboration diagram for Rewire::Miaig_Data:
Collaboration graph
[legend]

Public Attributes

char * pName
 
int refcount
 
int nIns
 
int nOuts
 
int nObjs
 
int nObjsAlloc
 
int nWords
 
int nTravIds
 
int * pTravIds
 
int * pCopy
 
int * pRefs
 
int * pLevel
 
int * pDist
 
word * pTruths [3]
 
word * pCare
 
word * pProd
 
word * pExc
 
vi * vOrder
 
vi * vOrderF
 
vi * vOrderF2
 
vi * vTfo
 
vi * pvFans
 
int * pTable
 
int TableSize
 
float nTransistor
 
vi * pNtkMapped
 

Detailed Description

Definition at line 162 of file rewire_miaig.h.

Member Data Documentation

◆ nIns

int Rewire::Miaig_Data::nIns

Definition at line 165 of file rewire_miaig.h.

◆ nObjs

int Rewire::Miaig_Data::nObjs

Definition at line 167 of file rewire_miaig.h.

◆ nObjsAlloc

int Rewire::Miaig_Data::nObjsAlloc

Definition at line 168 of file rewire_miaig.h.

◆ nOuts

int Rewire::Miaig_Data::nOuts

Definition at line 166 of file rewire_miaig.h.

◆ nTransistor

float Rewire::Miaig_Data::nTransistor

Definition at line 187 of file rewire_miaig.h.

◆ nTravIds

int Rewire::Miaig_Data::nTravIds

Definition at line 170 of file rewire_miaig.h.

◆ nWords

int Rewire::Miaig_Data::nWords

Definition at line 169 of file rewire_miaig.h.

◆ pCare

word* Rewire::Miaig_Data::pCare

Definition at line 177 of file rewire_miaig.h.

◆ pCopy

int* Rewire::Miaig_Data::pCopy

Definition at line 172 of file rewire_miaig.h.

◆ pDist

int* Rewire::Miaig_Data::pDist

Definition at line 175 of file rewire_miaig.h.

◆ pExc

word* Rewire::Miaig_Data::pExc

Definition at line 179 of file rewire_miaig.h.

◆ pLevel

int* Rewire::Miaig_Data::pLevel

Definition at line 174 of file rewire_miaig.h.

◆ pName

char* Rewire::Miaig_Data::pName

Definition at line 163 of file rewire_miaig.h.

◆ pNtkMapped

vi* Rewire::Miaig_Data::pNtkMapped

Definition at line 188 of file rewire_miaig.h.

◆ pProd

word* Rewire::Miaig_Data::pProd

Definition at line 178 of file rewire_miaig.h.

◆ pRefs

int* Rewire::Miaig_Data::pRefs

Definition at line 173 of file rewire_miaig.h.

◆ pTable

int* Rewire::Miaig_Data::pTable

Definition at line 185 of file rewire_miaig.h.

◆ pTravIds

int* Rewire::Miaig_Data::pTravIds

Definition at line 171 of file rewire_miaig.h.

◆ pTruths

word* Rewire::Miaig_Data::pTruths[3]

Definition at line 176 of file rewire_miaig.h.

◆ pvFans

vi* Rewire::Miaig_Data::pvFans

Definition at line 184 of file rewire_miaig.h.

◆ refcount

int Rewire::Miaig_Data::refcount

Definition at line 164 of file rewire_miaig.h.

◆ TableSize

int Rewire::Miaig_Data::TableSize

Definition at line 186 of file rewire_miaig.h.

◆ vOrder

vi* Rewire::Miaig_Data::vOrder

Definition at line 180 of file rewire_miaig.h.

◆ vOrderF

vi* Rewire::Miaig_Data::vOrderF

Definition at line 181 of file rewire_miaig.h.

◆ vOrderF2

vi* Rewire::Miaig_Data::vOrderF2

Definition at line 182 of file rewire_miaig.h.

◆ vTfo

vi* Rewire::Miaig_Data::vTfo

Definition at line 183 of file rewire_miaig.h.

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