diff options
Diffstat (limited to 'src/map/if/ifTruth.c')
| -rw-r--r-- | src/map/if/ifTruth.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/map/if/ifTruth.c b/src/map/if/ifTruth.c index db8d4aa0..8063dd5a 100644 --- a/src/map/if/ifTruth.c +++ b/src/map/if/ifTruth.c @@ -164,8 +164,8 @@ int If_CutComputeTruthPerm( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_ if ( fVerbose ) { -Kit_DsdPrintFromTruth( pTruth0, pCut0->nLeaves ); printf( "\n" ); -Kit_DsdPrintFromTruth( pTruth1, pCut1->nLeaves ); printf( "\n" ); +//Kit_DsdPrintFromTruth( pTruth0, pCut0->nLeaves ); printf( "\n" ); +//Kit_DsdPrintFromTruth( pTruth1, pCut1->nLeaves ); printf( "\n" ); } // create literals for ( v = 0; v < (int)pCut0->nLeaves; v++ ) @@ -191,8 +191,8 @@ Kit_DsdPrintFromTruth( pTruth1, pCut1->nLeaves ); printf( "\n" ); if ( fVerbose ) { -Kit_DsdPrintFromTruth( pTruth0, pCut0->nLeaves ); printf( "\n" ); -Kit_DsdPrintFromTruth( pTruth1, pCut->nLeaves ); printf( "\n" ); +//Kit_DsdPrintFromTruth( pTruth0, pCut0->nLeaves ); printf( "\n" ); +//Kit_DsdPrintFromTruth( pTruth1, pCut->nLeaves ); printf( "\n" ); } // perform operation @@ -231,11 +231,11 @@ Kit_DsdPrintFromTruth( pTruth1, pCut->nLeaves ); printf( "\n" ); if ( fVerbose ) { -Kit_DsdPrintFromTruth( pTruth, pCut->nLeaves ); printf( "\n" ); -If_CutPrint( pCut0 ); -If_CutPrint( pCut1 ); -If_CutPrint( pCut ); -printf( "%d\n\n", pCut->iCutFunc ); +//Kit_DsdPrintFromTruth( pTruth, pCut->nLeaves ); printf( "\n" ); +//If_CutPrint( pCut0 ); +//If_CutPrint( pCut1 ); +//If_CutPrint( pCut ); +//printf( "%d\n\n", pCut->iCutFunc ); } return RetValue; |