diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-02 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-02 08:01:00 -0700 |
| commit | dce73ade2fa0c7a01b58d4a6c592e0e07cbb5499 (patch) | |
| tree | 3563fd4a27d3b0faea3ca590d6243fb4590d8214 /src/opt/rwr/rwr.h | |
| parent | 9c98ba1794a2422f1be8202d615633e1c8e74b10 (diff) | |
| download | abc-dce73ade2fa0c7a01b58d4a6c592e0e07cbb5499.tar.gz abc-dce73ade2fa0c7a01b58d4a6c592e0e07cbb5499.tar.bz2 abc-dce73ade2fa0c7a01b58d4a6c592e0e07cbb5499.zip | |
Version abc50902
Diffstat (limited to 'src/opt/rwr/rwr.h')
| -rw-r--r-- | src/opt/rwr/rwr.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/opt/rwr/rwr.h b/src/opt/rwr/rwr.h index b9bab47f..6d1a6c06 100644 --- a/src/opt/rwr/rwr.h +++ b/src/opt/rwr/rwr.h @@ -63,7 +63,7 @@ struct Rwr_Man_t_ int nClasses; // the number of NN classes // the result of resynthesis int fCompl; // indicates if the output of FF should be complemented - Vec_Int_t * vForm; // the decomposition tree (temporary) + void * pGraph; // the decomposition tree (temporary) 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) @@ -125,8 +125,7 @@ extern void Rwr_ManIncTravId( Rwr_Man_t * p ); extern Rwr_Man_t * Rwr_ManStart( bool fPrecompute ); extern void Rwr_ManStop( Rwr_Man_t * p ); extern void Rwr_ManPrintStats( Rwr_Man_t * p ); -extern Vec_Ptr_t * Rwr_ManReadFanins( Rwr_Man_t * p ); -extern Vec_Int_t * Rwr_ManReadDecs( Rwr_Man_t * p ); +extern void * Rwr_ManReadDecs( Rwr_Man_t * p ); extern int Rwr_ManReadCompl( Rwr_Man_t * p ); extern void Rwr_ManAddTimeCuts( Rwr_Man_t * p, int Time ); extern void Rwr_ManAddTimeTotal( Rwr_Man_t * p, int Time ); |