diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-29 14:36:26 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-29 14:36:26 -0800 |
| commit | 24f1ca07030c1246280dea98bb0975cfec8d5ea4 (patch) | |
| tree | 464415cd3f653f22860e4ff4e3f108299ab70f5b /src/misc/util/utilNam.h | |
| parent | c30a0ca0b973faf136b309600f03b32b78d0a733 (diff) | |
| download | abc-24f1ca07030c1246280dea98bb0975cfec8d5ea4.tar.gz abc-24f1ca07030c1246280dea98bb0975cfec8d5ea4.tar.bz2 abc-24f1ca07030c1246280dea98bb0975cfec8d5ea4.zip | |
New parser and framework.
Diffstat (limited to 'src/misc/util/utilNam.h')
| -rw-r--r-- | src/misc/util/utilNam.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/misc/util/utilNam.h b/src/misc/util/utilNam.h index 9f3048f3..86802802 100644 --- a/src/misc/util/utilNam.h +++ b/src/misc/util/utilNam.h @@ -59,7 +59,9 @@ 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_NamStrFindLim( Abc_Nam_t * p, char * pStr, char * pLim ); extern int Abc_NamStrFindOrAdd( Abc_Nam_t * p, char * pStr, int * pfFound ); +extern int Abc_NamStrFindOrAddLim( Abc_Nam_t * p, char * pStr, char * pLim, 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 ); |