Skip to content

A
abc
Commit f2fab579 by Alan Mishchenko
Options

Changes in specialized matching.

parent 19c361e3
Showing with 0 additions and 4 deletions
src/aig/gia/giaIso2.c
...@@ -672,10 +672,6 @@ Gia_Man_t * Gia_ManIsoReduce2( Gia_Man_t * pGia, Vec_Ptr_t ** pvPosEquivs, Vec_P ...@@ -672,10 +672,6 @@ Gia_Man_t * Gia_ManIsoReduce2( Gia_Man_t * pGia, Vec_Ptr_t ** pvPosEquivs, Vec_P
Vec_WecSortByFirstInt( vEquivs, 0 ); Vec_WecSortByFirstInt( vEquivs, 0 );
// find the first outputs // find the first outputs
vRemains = Vec_WecCollectFirsts( vEquivs ); vRemains = Vec_WecCollectFirsts( vEquivs );
printf( "%d\n", Gia_ObjFaninC0(Gia_ManPo(pGia, 3)) );
printf( "%d\n", Gia_ObjFaninC0(Gia_ManPo(pGia, 34)) );
printf( "%d\n", Gia_ObjFaninC0(Gia_ManPo(pGia, 39)) );
printf( "%d\n", Gia_ObjFaninC0(Gia_ManPo(pGia, 279)) );
// derive the final GIA // derive the final GIA
pPart = Gia_ManDupCones( pGia, Vec_IntArray(vRemains), Vec_IntSize(vRemains), 0 ); pPart = Gia_ManDupCones( pGia, Vec_IntArray(vRemains), Vec_IntSize(vRemains), 0 );
Vec_IntFree( vRemains ); Vec_IntFree( vRemains );
......
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