From fc77972625311cf73243f3867dec07527721eec7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 26 Feb 2013 14:41:09 -0500 Subject: User-controlable SAT sweeper. --- src/aig/gia/giaSweeper.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/aig/gia/giaSweeper.c b/src/aig/gia/giaSweeper.c index dc9ee61e..9f4ab18b 100644 --- a/src/aig/gia/giaSweeper.c +++ b/src/aig/gia/giaSweeper.c @@ -211,6 +211,7 @@ int Gia_SweeperProbeCreate( Gia_Man_t * p, int iLit ) Vec_IntPush( pSwp->vProbes, iLit ); Vec_IntPush( pSwp->vProbRefs, 1 ); Vec_IntSetEntryFull( pSwp->vLit2Prob, iLit, ProbeId ); // consider hash table in the future +printf( "Creating probe %d with literal %d.\n", ProbeId, iLit ); return ProbeId; } // if probe with this literal (iLit) exists, this procedure increments its reference counter and returns it. @@ -233,6 +234,7 @@ void Gia_SweeperProbeDeref( Gia_Man_t * p, int ProbeId ) Vec_IntWriteEntry( pSwp->vLit2Prob, iLit, -1 ); Vec_IntWriteEntry( pSwp->vProbes, ProbeId, 0 ); // TODO: recycle probe ID +printf( "Deleteing probe %d with literal %d.\n", ProbeId, iLit ); } } // returns literal associated with the probe -- cgit v1.2.3