diff options
Diffstat (limited to 'src/base/abci/abcGen.c')
| -rw-r--r-- | src/base/abci/abcGen.c | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/base/abci/abcGen.c b/src/base/abci/abcGen.c index f6111dfd..dc376826 100644 --- a/src/base/abci/abcGen.c +++ b/src/base/abci/abcGen.c @@ -20,6 +20,8 @@ #include "abc.h" +ABC_NAMESPACE_IMPL_START + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -565,7 +567,7 @@ void Abc_GenOneHotIntervals( char * pFileName, int nPis, int nRegs, Vec_Ptr_t * fprintf( pFile, "# One-hotness with %d vars and %d regs generated by ABC on %s\n", nPis, nRegs, Extra_TimeStamp() ); fprintf( pFile, "# Used %d intervals of 1-hot registers: { ", Vec_PtrSize(vOnehots) ); Counter = 0; - Vec_PtrForEachEntry( vOnehots, vLine, k ) + Vec_PtrForEachEntry( Vec_Int_t *, vOnehots, vLine, k ) { fprintf( pFile, "%d ", Vec_IntSize(vLine) ); Counter += Vec_IntSize(vLine) * (Vec_IntSize(vLine) - 1) / 2; @@ -583,7 +585,7 @@ void Abc_GenOneHotIntervals( char * pFileName, int nPis, int nRegs, Vec_Ptr_t * fprintf( pFile, " o%0*d", nDigitsOut, i ); fprintf( pFile, "\n" ); Counter2 = 0; - Vec_PtrForEachEntry( vOnehots, vLine, k ) + Vec_PtrForEachEntry( Vec_Int_t *, vOnehots, vLine, k ) { Vec_IntForEachEntry( vLine, iReg1, i ) Vec_IntForEachEntryStart( vLine, iReg2, j, i+1 ) @@ -599,8 +601,13 @@ void Abc_GenOneHotIntervals( char * pFileName, int nPis, int nRegs, Vec_Ptr_t * fclose( pFile ); } +ABC_NAMESPACE_IMPL_END + #include "aig.h" +ABC_NAMESPACE_IMPL_START + + /**Function************************************************************* Synopsis [Generates structure of L K-LUTs implementing an N-var function.] @@ -655,3 +662,5 @@ void Abc_GenRandom( char * pFileName, int nPis ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |