diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-13 23:47:24 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-13 23:47:24 -0700 |
commit | c0c9fc84f13d54b24b6f6e1d4895889d85ec8e65 (patch) | |
tree | 60de39f299304ebf269653a9f449a2f422fd53ec | |
parent | 6e74c46bcfbf48029d17835754fd570f283fb9d8 (diff) | |
download | abc-c0c9fc84f13d54b24b6f6e1d4895889d85ec8e65.tar.gz abc-c0c9fc84f13d54b24b6f6e1d4895889d85ec8e65.tar.bz2 abc-c0c9fc84f13d54b24b6f6e1d4895889d85ec8e65.zip |
Minor improvements to reachability.
-rw-r--r-- | src/aig/llb/llb4Nonlin.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/llb/llb4Nonlin.c b/src/aig/llb/llb4Nonlin.c index 1a6f538c..11f5ba3e 100644 --- a/src/aig/llb/llb4Nonlin.c +++ b/src/aig/llb/llb4Nonlin.c @@ -340,8 +340,8 @@ printf( "Techmapping added %d pivots.\n", Vec_IntSize(vNodes) ); Aig_ObjSetTravIdCurrent( pAig, Aig_ManConst1(pAig) ); Saig_ManForEachLi( pAig, pObj, i ) { - Llb_Nonlin4CreateOrderSmart_rec( pAig, Aig_ObjFanin0(pObj), vOrder, &Counter ); Vec_IntWriteEntry( vOrder, Aig_ObjId(pObj), Counter++ ); + Llb_Nonlin4CreateOrderSmart_rec( pAig, Aig_ObjFanin0(pObj), vOrder, &Counter ); } Aig_ManForEachPi( pAig, pObj, i ) if ( Llb_MnxBddVar(vOrder, pObj) < 0 ) |