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

DECLARATIONS ///. More...

Public Attributes

int nNodeSizeMax
 
int nConeSizeMax
 
int nNodeFanStop
 
int nConeFanStop
 
Vec_Ptr_t * vNodeLeaves
 
Vec_Ptr_t * vConeLeaves
 
Vec_Ptr_t * vVisited
 
Vec_Vec_t * vLevels
 
Vec_Ptr_t * vNodesTfo
 

Detailed Description

DECLARATIONS ///.

CFile****************************************************************

FileName [abcReconv.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Network and node package.]

Synopsis [Computation of reconvergence-driven cuts.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id
abcReconv.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 34 of file abcReconv.c.

Member Data Documentation

◆ nConeFanStop

int Abc_ManCut_t_::nConeFanStop

Definition at line 40 of file abcReconv.c.

◆ nConeSizeMax

int Abc_ManCut_t_::nConeSizeMax

Definition at line 38 of file abcReconv.c.

◆ nNodeFanStop

int Abc_ManCut_t_::nNodeFanStop

Definition at line 39 of file abcReconv.c.

◆ nNodeSizeMax

int Abc_ManCut_t_::nNodeSizeMax

Definition at line 37 of file abcReconv.c.

◆ vConeLeaves

Vec_Ptr_t* Abc_ManCut_t_::vConeLeaves

Definition at line 43 of file abcReconv.c.

◆ vLevels

Vec_Vec_t* Abc_ManCut_t_::vLevels

Definition at line 45 of file abcReconv.c.

◆ vNodeLeaves

Vec_Ptr_t* Abc_ManCut_t_::vNodeLeaves

Definition at line 42 of file abcReconv.c.

◆ vNodesTfo

Vec_Ptr_t* Abc_ManCut_t_::vNodesTfo

Definition at line 46 of file abcReconv.c.

◆ vVisited

Vec_Ptr_t* Abc_ManCut_t_::vVisited

Definition at line 44 of file abcReconv.c.

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