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

#include <fsimInt.h>

Collaboration diagram for Fsim_Man_t_:
Collaboration graph
[legend]

Public Attributes

Aig_Man_t * pAig
 
int nWords
 
int nPis
 
int nPos
 
int nCis
 
int nCos
 
int nNodes
 
int nObjs
 
int * pFans0
 
int * pFans1
 
int * pRefs
 
int * pRefsCopy
 
Vec_Int_t * vCis2Ids
 
Vec_Int_t * vLos
 
Vec_Int_t * vLis
 
int nCrossCut
 
int nCrossCutMax
 
int nFront
 
int nDataAig
 
unsigned char * pDataAig
 
unsigned char * pDataCur
 
int iNodePrev
 
int iNumber
 
Fsim_Obj_t Obj
 
int * pDataAig2
 
int * pDataCur2
 
unsigned * pDataSim
 
unsigned * pDataSimCis
 
unsigned * pDataSimCos
 
int * pData1
 
int * pData2
 

Detailed Description

Definition at line 55 of file fsimInt.h.

Member Data Documentation

◆ iNodePrev

int Fsim_Man_t_::iNodePrev

Definition at line 82 of file fsimInt.h.

◆ iNumber

int Fsim_Man_t_::iNumber

Definition at line 83 of file fsimInt.h.

◆ nCis

int Fsim_Man_t_::nCis

Definition at line 63 of file fsimInt.h.

◆ nCos

int Fsim_Man_t_::nCos

Definition at line 64 of file fsimInt.h.

◆ nCrossCut

int Fsim_Man_t_::nCrossCut

Definition at line 75 of file fsimInt.h.

◆ nCrossCutMax

int Fsim_Man_t_::nCrossCutMax

Definition at line 76 of file fsimInt.h.

◆ nDataAig

int Fsim_Man_t_::nDataAig

Definition at line 79 of file fsimInt.h.

◆ nFront

int Fsim_Man_t_::nFront

Definition at line 77 of file fsimInt.h.

◆ nNodes

int Fsim_Man_t_::nNodes

Definition at line 65 of file fsimInt.h.

◆ nObjs

int Fsim_Man_t_::nObjs

Definition at line 66 of file fsimInt.h.

◆ nPis

int Fsim_Man_t_::nPis

Definition at line 61 of file fsimInt.h.

◆ nPos

int Fsim_Man_t_::nPos

Definition at line 62 of file fsimInt.h.

◆ nWords

int Fsim_Man_t_::nWords

Definition at line 59 of file fsimInt.h.

◆ Obj

Fsim_Obj_t Fsim_Man_t_::Obj

Definition at line 84 of file fsimInt.h.

◆ pAig

Aig_Man_t* Fsim_Man_t_::pAig

Definition at line 58 of file fsimInt.h.

◆ pData1

int* Fsim_Man_t_::pData1

Definition at line 93 of file fsimInt.h.

◆ pData2

int* Fsim_Man_t_::pData2

Definition at line 94 of file fsimInt.h.

◆ pDataAig

unsigned char* Fsim_Man_t_::pDataAig

Definition at line 80 of file fsimInt.h.

◆ pDataAig2

int* Fsim_Man_t_::pDataAig2

Definition at line 86 of file fsimInt.h.

◆ pDataCur

unsigned char* Fsim_Man_t_::pDataCur

Definition at line 81 of file fsimInt.h.

◆ pDataCur2

int* Fsim_Man_t_::pDataCur2

Definition at line 87 of file fsimInt.h.

◆ pDataSim

unsigned* Fsim_Man_t_::pDataSim

Definition at line 89 of file fsimInt.h.

◆ pDataSimCis

unsigned* Fsim_Man_t_::pDataSimCis

Definition at line 90 of file fsimInt.h.

◆ pDataSimCos

unsigned* Fsim_Man_t_::pDataSimCos

Definition at line 91 of file fsimInt.h.

◆ pFans0

int* Fsim_Man_t_::pFans0

Definition at line 67 of file fsimInt.h.

◆ pFans1

int* Fsim_Man_t_::pFans1

Definition at line 68 of file fsimInt.h.

◆ pRefs

int* Fsim_Man_t_::pRefs

Definition at line 69 of file fsimInt.h.

◆ pRefsCopy

int* Fsim_Man_t_::pRefsCopy

Definition at line 70 of file fsimInt.h.

◆ vCis2Ids

Vec_Int_t* Fsim_Man_t_::vCis2Ids

Definition at line 71 of file fsimInt.h.

◆ vLis

Vec_Int_t* Fsim_Man_t_::vLis

Definition at line 73 of file fsimInt.h.

◆ vLos

Vec_Int_t* Fsim_Man_t_::vLos

Definition at line 72 of file fsimInt.h.

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