diff options
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 86802802..8083a566 100644 --- a/src/misc/util/utilNam.h +++ b/src/misc/util/utilNam.h @@ -62,7 +62,9 @@ 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 int Abc_NamStrFindOrAddF( Abc_Nam_t * p, const char * format, ... ); extern char * Abc_NamStr( Abc_Nam_t * p, int id ); +extern Vec_Str_t * Abc_NamBuffer( Abc_Nam_t * p ); 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 ); extern char * Abc_NamReportUnique( Vec_Int_t * vNameIds1, Abc_Nam_t * p1, Abc_Nam_t * p2 ); |