diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-26 14:41:09 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-26 14:41:09 -0500 |
| commit | fc77972625311cf73243f3867dec07527721eec7 (patch) | |
| tree | 678a1140a3eb92a144a8a3e29f528d91560b885e | |
| parent | 70ccd477cf23a2d99d6e8fbe4dcd29b626207492 (diff) | |
| download | abc-fc77972625311cf73243f3867dec07527721eec7.tar.gz abc-fc77972625311cf73243f3867dec07527721eec7.tar.bz2 abc-fc77972625311cf73243f3867dec07527721eec7.zip | |
User-controlable SAT sweeper.
| -rw-r--r-- | src/aig/gia/giaSweeper.c | 2 |
1 files changed, 2 insertions, 0 deletions
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 |