diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-29 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-29 08:01:00 -0700 |
| commit | 2b85f5ba649bcc81873697718fe8a9085d09c31d (patch) | |
| tree | 66acda3d3e1bdfb224588ffe4b3ebf2737649101 /src/opt | |
| parent | 3c25decf65704916943b0569e6d0608072550a89 (diff) | |
| download | abc-2b85f5ba649bcc81873697718fe8a9085d09c31d.tar.gz abc-2b85f5ba649bcc81873697718fe8a9085d09c31d.tar.bz2 abc-2b85f5ba649bcc81873697718fe8a9085d09c31d.zip | |
Version abc50829
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/cut/cut.h | 2 | ||||
| -rw-r--r-- | src/opt/rwr/rwr.h | 1 | ||||
| -rw-r--r-- | src/opt/rwr/rwrUtil.c | 29 |
3 files changed, 6 insertions, 26 deletions
diff --git a/src/opt/cut/cut.h b/src/opt/cut/cut.h index f3a0f743..6719ed4d 100644 --- a/src/opt/cut/cut.h +++ b/src/opt/cut/cut.h @@ -70,7 +70,7 @@ static inline int Cut_CutReadLeaveNum( Cut_Cut_t * p ) { return p->nLea static inline int * Cut_CutReadLeaves( Cut_Cut_t * p ) { return p->pLeaves; } static inline void * Cut_CutReadData( Cut_Cut_t * p ) { return p->pData; } -static inline void * Cut_CutWriteData( Cut_Cut_t * p, void * pData ) { p->pData = pData; } +static inline void Cut_CutWriteData( Cut_Cut_t * p, void * pData ) { p->pData = pData; } static inline void Cut_CutWriteTruth( Cut_Cut_t * p, unsigned * puTruth ) { if ( p->nVarsMax == 4 ) { p->uTruth = *puTruth; return; } p->pLeaves[p->nVarsMax + p->fSeq] = (int)puTruth[0]; diff --git a/src/opt/rwr/rwr.h b/src/opt/rwr/rwr.h index 1c291b33..b9bab47f 100644 --- a/src/opt/rwr/rwr.h +++ b/src/opt/rwr/rwr.h @@ -137,7 +137,6 @@ extern void Rwr_ManWriteToArray( Rwr_Man_t * p ); extern void Rwr_ManLoadFromArray( Rwr_Man_t * p, int fVerbose ); extern void Rwr_ManWriteToFile( Rwr_Man_t * p, char * pFileName ); extern void Rwr_ManLoadFromFile( Rwr_Man_t * p, char * pFileName ); -extern Vec_Int_t * Rwt_NtkFanoutCounters( Abc_Ntk_t * pNtk ); extern void Rwr_ListAddToTail( Rwr_Node_t ** ppList, Rwr_Node_t * pNode ); extern char * Rwr_ManGetPractical( Rwr_Man_t * p ); diff --git a/src/opt/rwr/rwrUtil.c b/src/opt/rwr/rwrUtil.c index dedd86fe..65b2bd6f 100644 --- a/src/opt/rwr/rwrUtil.c +++ b/src/opt/rwr/rwrUtil.c @@ -25,8 +25,13 @@ //////////////////////////////////////////////////////////////////////// // precomputed data +#ifdef _WIN32 unsigned short s_RwrPracticalClasses[]; unsigned short s_RwtAigSubgraphs[]; +#else +static unsigned short s_RwrPracticalClasses[]; +static unsigned short s_RwtAigSubgraphs[]; +#endif //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFITIONS /// @@ -221,30 +226,6 @@ void Rwr_ManLoadFromFile( Rwr_Man_t * p, char * pFileName ) /**Function************************************************************* - Synopsis [Creates the array of fanout counters.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -Vec_Int_t * Rwt_NtkFanoutCounters( Abc_Ntk_t * pNtk ) -{ - Vec_Int_t * vFanNums; - Abc_Obj_t * pObj; - int i; - vFanNums = Vec_IntAlloc( 0 ); - Vec_IntFill( vFanNums, Abc_NtkObjNumMax(pNtk), -1 ); - Abc_NtkForEachObj( pNtk, pObj, i ) - if ( Abc_ObjIsNode( pObj ) ) - Vec_IntWriteEntry( vFanNums, i, Abc_ObjFanoutNum(pObj) ); - return vFanNums; -} - -/**Function************************************************************* - Synopsis [Adds the node to the end of the list.] Description [] |