diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-20 10:12:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-20 10:12:29 -0700 |
| commit | 73789120c17bb857976ccf0b8f34a59832dfadee (patch) | |
| tree | 6db8b37d6eb79ee673d6c78d0a9b508883ab8c3b /src/misc/util/utilNam.h | |
| parent | 3f6bb881c07c9bb6c2976a05bab32a98bed5cc89 (diff) | |
| download | abc-73789120c17bb857976ccf0b8f34a59832dfadee.tar.gz abc-73789120c17bb857976ccf0b8f34a59832dfadee.tar.bz2 abc-73789120c17bb857976ccf0b8f34a59832dfadee.zip | |
Misc changes.
Diffstat (limited to 'src/misc/util/utilNam.h')
| -rw-r--r-- | src/misc/util/utilNam.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/misc/util/utilNam.h b/src/misc/util/utilNam.h index fd29e537..be8067a9 100644 --- a/src/misc/util/utilNam.h +++ b/src/misc/util/utilNam.h @@ -60,6 +60,7 @@ extern int Abc_NamStrFindOrAdd( Abc_Nam_t * p, char * pStr, int * pf 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 ); +extern char * Abc_NamReportUnique( Vec_Int_t * vNameIds1, Abc_Nam_t * p1, Abc_Nam_t * p2 ); ABC_NAMESPACE_HEADER_END |