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

Public Attributes

int nMultiSize
 
int fVerbose
 
Abc_Ntk_t * pNtk
 
Vec_Ptr_t * vBuckets
 
Vec_Int_t * vObj2Lit
 
int nStartCols
 
int nCountGates
 
int nFoundGates
 

Detailed Description

Definition at line 33 of file abcExtract.c.

Member Data Documentation

◆ fVerbose

int Abc_ShaMan_t_::fVerbose

Definition at line 36 of file abcExtract.c.

◆ nCountGates

int Abc_ShaMan_t_::nCountGates

Definition at line 41 of file abcExtract.c.

◆ nFoundGates

int Abc_ShaMan_t_::nFoundGates

Definition at line 42 of file abcExtract.c.

◆ nMultiSize

int Abc_ShaMan_t_::nMultiSize

Definition at line 35 of file abcExtract.c.

◆ nStartCols

int Abc_ShaMan_t_::nStartCols

Definition at line 40 of file abcExtract.c.

◆ pNtk

Abc_Ntk_t* Abc_ShaMan_t_::pNtk

Definition at line 37 of file abcExtract.c.

◆ vBuckets

Vec_Ptr_t* Abc_ShaMan_t_::vBuckets

Definition at line 38 of file abcExtract.c.

◆ vObj2Lit

Vec_Int_t* Abc_ShaMan_t_::vObj2Lit

Definition at line 39 of file abcExtract.c.

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