diff options
Diffstat (limited to 'src/aig/saig/saigSimFast.c')
-rw-r--r-- | src/aig/saig/saigSimFast.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/aig/saig/saigSimFast.c b/src/aig/saig/saigSimFast.c index 05f77f8a..1840eaa7 100644 --- a/src/aig/saig/saigSimFast.c +++ b/src/aig/saig/saigSimFast.c @@ -20,6 +20,11 @@ #include "saig.h" +#include "main.h" + +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -247,7 +252,7 @@ static inline unsigned Faig_SimulateTransferShift( unsigned uOld, unsigned uNew ***********************************************************************/ int * Faig_ManSimulateFrames( Faig_Man_t * p, int nFrames, int nPref, int fTrans ) { - int * pNumOnes = ABC_CALLOC( unsigned, p->nObjs ); + int * pNumOnes = ABC_CALLOC( int, p->nObjs ); unsigned * pSimInfo = ABC_ALLOC( unsigned, p->nObjs ); int f, i; //printf( "Allocating %7.2f Mb.\n", 1.0 * 4 * p->nObjs/(1<<20) ); @@ -338,7 +343,6 @@ float Faig_ManComputeProbOne( int nOnes, int nSimWords ) ***********************************************************************/ Vec_Int_t * Faig_ManComputeSwitchProbs4( Aig_Man_t * p, int nFrames, int nPref, int fProbOne ) { - extern char * Abc_FrameReadFlag( char * pFlag ); int fTrans = 1; Faig_Man_t * pAig; Vec_Int_t * vSwitching; @@ -442,3 +446,5 @@ Vec_Int_t * Saig_ManComputeSwitchProb3s( Aig_Man_t * p, int nFrames, int nPref, //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |