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

Public Attributes

int nVars
 
int nWords
 
int fVerbose
 
Mio_Cell2_tpCells
 
int nCells
 
int fDelay
 
int nObjs
 
int nObjsAlloc
 
Sfm_Fun_tpObjs
 
Vec_Mem_tvTtMem
 
Vec_Int_t vLists
 
Vec_Int_t vCounts
 
Vec_Int_t vHits
 
Vec_Int_t vProfs
 
Vec_Int_t vStore
 
Vec_Int_t vTemp
 
int nObjSkipped
 
int nObjRemoved
 

Detailed Description

Definition at line 45 of file sfmLib.c.

Member Data Documentation

◆ fDelay

int Sfm_Lib_t_::fDelay

Definition at line 52 of file sfmLib.c.

◆ fVerbose

int Sfm_Lib_t_::fVerbose

Definition at line 49 of file sfmLib.c.

◆ nCells

int Sfm_Lib_t_::nCells

Definition at line 51 of file sfmLib.c.

◆ nObjRemoved

int Sfm_Lib_t_::nObjRemoved

Definition at line 64 of file sfmLib.c.

◆ nObjs

int Sfm_Lib_t_::nObjs

Definition at line 53 of file sfmLib.c.

◆ nObjsAlloc

int Sfm_Lib_t_::nObjsAlloc

Definition at line 54 of file sfmLib.c.

◆ nObjSkipped

int Sfm_Lib_t_::nObjSkipped

Definition at line 63 of file sfmLib.c.

◆ nVars

int Sfm_Lib_t_::nVars

Definition at line 47 of file sfmLib.c.

◆ nWords

int Sfm_Lib_t_::nWords

Definition at line 48 of file sfmLib.c.

◆ pCells

Mio_Cell2_t* Sfm_Lib_t_::pCells

Definition at line 50 of file sfmLib.c.

◆ pObjs

Sfm_Fun_t* Sfm_Lib_t_::pObjs

Definition at line 55 of file sfmLib.c.

◆ vCounts

Vec_Int_t Sfm_Lib_t_::vCounts

Definition at line 58 of file sfmLib.c.

◆ vHits

Vec_Int_t Sfm_Lib_t_::vHits

Definition at line 59 of file sfmLib.c.

◆ vLists

Vec_Int_t Sfm_Lib_t_::vLists

Definition at line 57 of file sfmLib.c.

◆ vProfs

Vec_Int_t Sfm_Lib_t_::vProfs

Definition at line 60 of file sfmLib.c.

◆ vStore

Vec_Int_t Sfm_Lib_t_::vStore

Definition at line 61 of file sfmLib.c.

◆ vTemp

Vec_Int_t Sfm_Lib_t_::vTemp

Definition at line 62 of file sfmLib.c.

◆ vTtMem

Vec_Mem_t* Sfm_Lib_t_::vTtMem

Definition at line 56 of file sfmLib.c.


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