diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-06 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-06 08:01:00 -0700 |
| commit | 661abab094143930f58633dfad415468a90cef6f (patch) | |
| tree | fa142590b1b9730282e34901d07398be8b34de95 /src/aig/nwk/nwkSpeedup.c | |
| parent | 0c4d314ef0460b94c3ccc4f8ddeedc8e49e35e96 (diff) | |
| download | abc-661abab094143930f58633dfad415468a90cef6f.tar.gz abc-661abab094143930f58633dfad415468a90cef6f.tar.bz2 abc-661abab094143930f58633dfad415468a90cef6f.zip | |
Version abc80406
Diffstat (limited to 'src/aig/nwk/nwkSpeedup.c')
| -rw-r--r-- | src/aig/nwk/nwkSpeedup.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/nwk/nwkSpeedup.c b/src/aig/nwk/nwkSpeedup.c index 80404a44..b7802f72 100644 --- a/src/aig/nwk/nwkSpeedup.c +++ b/src/aig/nwk/nwkSpeedup.c @@ -137,7 +137,7 @@ void Aig_ManSpeedupNode( Nwk_Man_t * pNtk, Aig_Man_t * pAig, Nwk_Obj_t * pNode, // create choice node pAnd = Aig_Regular(pNode->pCopy); // repr pTemp = Aig_Regular(ppCofs[0]); // new - if ( pAig->pEquivs[pAnd->Id] == NULL && pAig->pEquivs[pTemp->Id] == NULL && !Aig_ObjCheckTfi(pAig, pTemp, pAnd) ) + if ( Aig_ObjEquiv(pAig, pAnd) == NULL && Aig_ObjEquiv(pAig, pTemp) == NULL && !Aig_ObjCheckTfi(pAig, pTemp, pAnd) ) pAig->pEquivs[pAnd->Id] = pTemp; } @@ -339,9 +339,9 @@ Aig_Man_t * Nwk_ManSpeedup( Nwk_Man_t * pNtk, int fUseLutLib, int Percentage, in // remove invalid choice nodes Aig_ManForEachNode( pAig, pAnd, i ) - if ( pAig->pEquivs[pAnd->Id] ) + if ( Aig_ObjEquiv(pAig, pAnd) ) { - if ( Aig_ObjRefs(pAig->pEquivs[pAnd->Id]) > 0 ) + if ( Aig_ObjRefs(Aig_ObjEquiv(pAig, pAnd)) > 0 ) pAig->pEquivs[pAnd->Id] = NULL; } |