diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-02 00:06:56 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-02 00:06:56 -0700 |
| commit | bd7b55115fd0a62997c7dc0dd971014a86da43bd (patch) | |
| tree | f48012bbf56079e16b313c93a85adddd876e8b66 /src/base/abc/abc.h | |
| parent | a20e32f9e3b470c923f903d7cb2ac6ed8c5e76d8 (diff) | |
| download | abc-bd7b55115fd0a62997c7dc0dd971014a86da43bd.tar.gz abc-bd7b55115fd0a62997c7dc0dd971014a86da43bd.tar.bz2 abc-bd7b55115fd0a62997c7dc0dd971014a86da43bd.zip | |
Improvements to LMS code.
Diffstat (limited to 'src/base/abc/abc.h')
| -rw-r--r-- | src/base/abc/abc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abc/abc.h b/src/base/abc/abc.h index e08e11d9..85555ad2 100644 --- a/src/base/abc/abc.h +++ b/src/base/abc/abc.h @@ -806,6 +806,7 @@ extern ABC_DLL void Abc_NtkRecPs3(int fPrintLib); extern ABC_DLL Gia_Man_t * Abc_NtkRecGetGia3(); extern ABC_DLL int Abc_NtkRecIsRunning3(); extern ABC_DLL void Abc_NtkRecLibMerge3(Gia_Man_t * pGia); +extern ABC_DLL int Abc_NtkRecInputNum3(); //extern ABC_DLL void Abc_NtkRecFilter3(int nLimit); /*=== abcReconv.c ==========================================================*/ extern ABC_DLL Abc_ManCut_t * Abc_NtkManCutStart( int nNodeSizeMax, int nConeSizeMax, int nNodeFanStop, int nConeFanStop ); |