diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-13 15:43:09 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-13 15:43:09 -0800 |
| commit | 095345fc4a8208364d4c1fdf645e0217d3921b8e (patch) | |
| tree | 5d6d68b940f540453b693d6eeafc05ebfbcfe92d /src/misc/util/utilNam.h | |
| parent | cb2d12bb043bd3521c706e747cd9579273090583 (diff) | |
| download | abc-095345fc4a8208364d4c1fdf645e0217d3921b8e.tar.gz abc-095345fc4a8208364d4c1fdf645e0217d3921b8e.tar.bz2 abc-095345fc4a8208364d4c1fdf645e0217d3921b8e.zip | |
Added new name manager and modified hierarchy manager to use it.
Diffstat (limited to 'src/misc/util/utilNam.h')
| -rw-r--r-- | src/misc/util/utilNam.h | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/src/misc/util/utilNam.h b/src/misc/util/utilNam.h new file mode 100644 index 00000000..ae2c099c --- /dev/null +++ b/src/misc/util/utilNam.h @@ -0,0 +1,72 @@ +/**CFile**************************************************************** + + FileName [utilNam.h] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Memory recycling utilities.] + + Synopsis [Internal declarations.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: utilNam.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#ifndef __UTIL_NAM_H__ +#define __UTIL_NAM_H__ + + +//////////////////////////////////////////////////////////////////////// +/// INCLUDES /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// PARAMETERS /// +//////////////////////////////////////////////////////////////////////// + +ABC_NAMESPACE_HEADER_START + +//////////////////////////////////////////////////////////////////////// +/// BASIC TYPES /// +//////////////////////////////////////////////////////////////////////// + +typedef struct Abc_Nam_t_ Abc_Nam_t; + +//////////////////////////////////////////////////////////////////////// +/// MACRO DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +/*=== utilNam.c ===============================================================*/ +extern Abc_Nam_t * Abc_NamStart( int nObjs, int nAveSize ); +extern void Abc_NamStop( Abc_Nam_t * p ); +extern void Abc_NamPrint( Abc_Nam_t * p ); +extern Abc_Nam_t * Abc_NamRef( Abc_Nam_t * p ); +extern void Abc_NamDeref( Abc_Nam_t * p ); +extern int Abc_NamObjNumMax( Abc_Nam_t * p ); +extern int Abc_NamMemUsed( Abc_Nam_t * p ); +extern int Abc_NamMemAlloc( Abc_Nam_t * p ); +extern int Abc_NamStrFind( Abc_Nam_t * p, char * pStr ); +extern int Abc_NamStrFindOrAdd( Abc_Nam_t * p, char * pStr, int * pfFound ); +extern char * Abc_NamStr( Abc_Nam_t * p, int id ); +extern Vec_Int_t * Abc_NamComputeIdMap( Abc_Nam_t * p1, Abc_Nam_t * p2 ); +extern int Abc_NamReportCommon( Vec_Int_t * vNameIds1, Abc_Nam_t * p1, Abc_Nam_t * p2 ); + + +ABC_NAMESPACE_HEADER_END + +#endif + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + |