diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-17 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-17 08:01:00 -0700 |
| commit | 6e496de7ff1a1f9b6f0babc8efb0a13379242505 (patch) | |
| tree | 3abc09837e77c60f932a7b6e2c227b217a1936f6 /src/sat/sim | |
| parent | 9b3fa55b8a6fca4fb75e0bbc9a8d52c5ab3c11e4 (diff) | |
| download | abc-6e496de7ff1a1f9b6f0babc8efb0a13379242505.tar.gz abc-6e496de7ff1a1f9b6f0babc8efb0a13379242505.tar.bz2 abc-6e496de7ff1a1f9b6f0babc8efb0a13379242505.zip | |
Version abc50817
Diffstat (limited to 'src/sat/sim')
| -rw-r--r-- | src/sat/sim/simSupp.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sat/sim/simSupp.c b/src/sat/sim/simSupp.c index 3ae1d3ab..570e8dc6 100644 --- a/src/sat/sim/simSupp.c +++ b/src/sat/sim/simSupp.c @@ -136,7 +136,7 @@ int Sim_ComputeSuppRoundNode( Sim_Man_t * p, int iNumCi, bool fUseTargets ) { Sim_Pat_t * pPat; Vec_Int_t * vTargets; - Vec_Ptr_t * vNodesByLevel; + Vec_Vec_t * vNodesByLevel; Abc_Obj_t * pNodeCi, * pNode; int i, k, v, Output, LuckyPat, fType0, fType1; int Counter = 0; @@ -147,7 +147,7 @@ int Sim_ComputeSuppRoundNode( Sim_Man_t * p, int iNumCi, bool fUseTargets ) // complement the simulation info of the selected CI Sim_UtilFlipSimInfo( p, pNodeCi ); // simulate the levelized structure of nodes - Vec_PtrForEachEntryByLevel( vNodesByLevel, pNode, i, k ) + Vec_VecForEachEntry( vNodesByLevel, pNode, i, k ) { fType0 = Abc_NodeIsTravIdCurrent( Abc_ObjFanin0(pNode) ); fType1 = Abc_NodeIsTravIdCurrent( Abc_ObjFanin1(pNode) ); @@ -213,7 +213,7 @@ int Sim_ComputeSuppRoundNode( Sim_Man_t * p, int iNumCi, bool fUseTargets ) } } } - Vec_PtrFreeFree( vNodesByLevel ); + Vec_VecFree( vNodesByLevel ); return Counter; } |