Skip to content

A
abc
Commit c0c9fc84 by Alan Mishchenko
Options

Minor improvements to reachability.

parent 6e74c46b
Showing with 1 additions and 1 deletions
src/aig/llb/llb4Nonlin.c
...@@ -340,8 +340,8 @@ printf( "Techmapping added %d pivots.\n", Vec_IntSize(vNodes) ); ...@@ -340,8 +340,8 @@ printf( "Techmapping added %d pivots.\n", Vec_IntSize(vNodes) );
Aig_ObjSetTravIdCurrent( pAig, Aig_ManConst1(pAig) ); Aig_ObjSetTravIdCurrent( pAig, Aig_ManConst1(pAig) );
Saig_ManForEachLi( pAig, pObj, i ) Saig_ManForEachLi( pAig, pObj, i )
{ {
Llb_Nonlin4CreateOrderSmart_rec( pAig, Aig_ObjFanin0(pObj), vOrder, &Counter );
Vec_IntWriteEntry( vOrder, Aig_ObjId(pObj), Counter++ ); Vec_IntWriteEntry( vOrder, Aig_ObjId(pObj), Counter++ );
Llb_Nonlin4CreateOrderSmart_rec( pAig, Aig_ObjFanin0(pObj), vOrder, &Counter );
} }
Aig_ManForEachPi( pAig, pObj, i ) Aig_ManForEachPi( pAig, pObj, i )
if ( Llb_MnxBddVar(vOrder, pObj) < 0 ) if ( Llb_MnxBddVar(vOrder, pObj) < 0 )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment