summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaCone.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/gia/giaCone.c')
-rw-r--r--src/aig/gia/giaCone.c19
1 files changed, 14 insertions, 5 deletions
diff --git a/src/aig/gia/giaCone.c b/src/aig/gia/giaCone.c
index 0659b700..da4918ed 100644
--- a/src/aig/gia/giaCone.c
+++ b/src/aig/gia/giaCone.c
@@ -169,12 +169,20 @@ void Opa_ManPerform( Gia_Man_t * pGia )
{
Opa_Man_t * p;
Gia_Obj_t * pObj;
- int i;
-
+ int i, Limit, Count = 0;
+
p = Opa_ManStart( pGia );
+ Limit = Vec_IntSize(p->vFront);
//Opa_ManPrint2( p );
Gia_ManForEachObjVec( p->vFront, pGia, pObj, i )
{
+ if ( i == Limit )
+ {
+ printf( "%6d : %6d -> %6d\n", ++Count, i, p->nParts );
+ Limit = Vec_IntSize(p->vFront);
+ if ( Count > 1 )
+ Opa_ManPrint2( p );
+ }
// printf( "*** Object %d ", Gia_ObjId(pGia, pObj) );
if ( Gia_ObjIsAnd(pObj) )
{
@@ -184,11 +192,12 @@ void Opa_ManPerform( Gia_Man_t * pGia )
else if ( Gia_ObjIsCo(pObj) )
Opa_ManMoveOne( p, pObj, Gia_ObjFanin0(pObj) );
else assert( 0 );
- if ( i % 10 == 0 )
- printf( "%d ", p->nParts );
-//Opa_ManPrint2( p );
+// if ( i % 10 == 0 )
+// printf( "%d ", p->nParts );
if ( p->nParts == 1 )
break;
+ if ( Count == 5 )
+ break;
}
printf( "\n" );
Opa_ManStop( p );