diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-17 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-17 08:01:00 -0700 |
| commit | 6e496de7ff1a1f9b6f0babc8efb0a13379242505 (patch) | |
| tree | 3abc09837e77c60f932a7b6e2c227b217a1936f6 /src/map/mapper/mapperTruth.c | |
| parent | 9b3fa55b8a6fca4fb75e0bbc9a8d52c5ab3c11e4 (diff) | |
| download | abc-6e496de7ff1a1f9b6f0babc8efb0a13379242505.tar.gz abc-6e496de7ff1a1f9b6f0babc8efb0a13379242505.tar.bz2 abc-6e496de7ff1a1f9b6f0babc8efb0a13379242505.zip | |
Version abc50817
Diffstat (limited to 'src/map/mapper/mapperTruth.c')
| -rw-r--r-- | src/map/mapper/mapperTruth.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/map/mapper/mapperTruth.c b/src/map/mapper/mapperTruth.c index 67ef029b..f79dac01 100644 --- a/src/map/mapper/mapperTruth.c +++ b/src/map/mapper/mapperTruth.c @@ -98,6 +98,9 @@ void Map_TruthsCut( Map_Man_t * p, Map_Cut_t * pCut ) return; Map_TruthsCutOne( p, pCut, uTruth ); +//assert( pCut->nLeaves < 5 ); +//Rwt_ManExploreCount( uTruth[0] & 0xFFFF ); + // compute the canonical form for the positive phase Map_CanonComputeSlow( p->uTruths, p->nVarsMax, pCut->nLeaves, uTruth, uPhases, uCanon ); pCut->M[1].pSupers = Map_SuperTableLookupC( p->pSuperLib, uCanon ); |