diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-29 12:43:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-29 12:43:55 -0700 |
| commit | 6814c48bb4e748add7e4ebd37f0d4d00312e0c5a (patch) | |
| tree | 118acbcc21b7174ca030b547871f39073554befc /src/opt | |
| parent | bebd7ee6cb49f4876a7411e2986c12d4e72ff06a (diff) | |
| download | abc-6814c48bb4e748add7e4ebd37f0d4d00312e0c5a.tar.gz abc-6814c48bb4e748add7e4ebd37f0d4d00312e0c5a.tar.bz2 abc-6814c48bb4e748add7e4ebd37f0d4d00312e0c5a.zip | |
Added an API to convert a multi-output PLA into a shared AIG.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/fxu/fxu.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/opt/fxu/fxu.h b/src/opt/fxu/fxu.h index 822536a2..3c6384dc 100644 --- a/src/opt/fxu/fxu.h +++ b/src/opt/fxu/fxu.h @@ -76,7 +76,9 @@ struct FxuDataStruct //////////////////////////////////////////////////////////////////////// /*===== fxu.c ==========================================================*/ -extern int Fxu_FastExtract( Fxu_Data_t * pData ); +extern void Abc_NtkSetDefaultParams( Fxu_Data_t * p ); +extern int Abc_NtkFastExtract( Abc_Ntk_t * pNtk, Fxu_Data_t * p ); +extern void Abc_NtkFxuFreeInfo( Fxu_Data_t * p ); |