diff options
Diffstat (limited to 'src/map/super/superInt.h')
| -rw-r--r-- | src/map/super/superInt.h | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/map/super/superInt.h b/src/map/super/superInt.h index ec6d0a38..0d4215ff 100644 --- a/src/map/super/superInt.h +++ b/src/map/super/superInt.h @@ -19,6 +19,7 @@ #ifndef __super_INT_H__ #define __super_INT_H__ + //////////////////////////////////////////////////////////////////////// /// INCLUDES /// //////////////////////////////////////////////////////////////////////// @@ -30,6 +31,9 @@ #include "stmm.h" #include "super.h" +ABC_NAMESPACE_HEADER_START + + //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// @@ -53,7 +57,11 @@ /*=== superAnd.c =============================================================*/ extern void Super2_Precompute( int nInputs, int nLevels, int fVerbose ); /*=== superGate.c =============================================================*/ -extern void Super_Precompute( Mio_Library_t * pLibGen, int nInputs, int nLevels, float tDelayMax, float tAreaMax, int TimeLimit, bool fSkipInv, bool fWriteOldFormat, int fVerbose ); +extern void Super_Precompute( Mio_Library_t * pLibGen, int nInputs, int nLevels, float tDelayMax, float tAreaMax, int TimeLimit, int fSkipInv, int fWriteOldFormat, int fVerbose ); + + + +ABC_NAMESPACE_HEADER_END #endif |