diff options
Diffstat (limited to 'src/temp/rwt')
| -rw-r--r-- | src/temp/rwt/rwt.h | 2 | ||||
| -rw-r--r-- | src/temp/rwt/rwtMan.c | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/temp/rwt/rwt.h b/src/temp/rwt/rwt.h index f9c4dc51..8f24842b 100644 --- a/src/temp/rwt/rwt.h +++ b/src/temp/rwt/rwt.h @@ -70,7 +70,9 @@ struct Rwt_Man_t_ int nClasses; // the number of NN classes // the result of resynthesis int fCompl; // indicates if the output of FF should be complemented + void * pCut; // the decomposition tree (temporary) void * pGraph; // the decomposition tree (temporary) + char * pPerm; // permutation used for the best cut Vec_Ptr_t * vFanins; // the fanins array (temporary) Vec_Ptr_t * vFaninsCur; // the fanins array (temporary) Vec_Int_t * vLevNums; // the array of levels (temporary) diff --git a/src/temp/rwt/rwtMan.c b/src/temp/rwt/rwtMan.c index f7dd38a7..869043a4 100644 --- a/src/temp/rwt/rwtMan.c +++ b/src/temp/rwt/rwtMan.c @@ -200,7 +200,7 @@ void Rwt_ManPrintStats( Rwt_Man_t * p ) PRT( "Update ", p->timeUpdate ); PRT( "TOTAL ", p->timeTotal ); - +/* printf( "The scores are:\n" ); for ( i = 0; i < 222; i++ ) if ( p->nScores[i] > 0 ) @@ -210,7 +210,7 @@ void Rwt_ManPrintStats( Rwt_Man_t * p ) Ivy_TruthDsdComputePrint( (unsigned)p->pMapInv[i] | ((unsigned)p->pMapInv[i] << 16) ); } printf( "\n" ); - +*/ } /**Function************************************************************* |