diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-10 08:01:00 -0700 |
| commit | e52e48c3643b0a69ee84291634d5a31956d183db (patch) | |
| tree | 98f7c5d4940dd6cc43fb4cffdd37eb2f252b9898 /src/map/mapper | |
| parent | eb4cdcdcb4db6e468aa02a7949217fa6da245217 (diff) | |
| download | abc-e52e48c3643b0a69ee84291634d5a31956d183db.tar.gz abc-e52e48c3643b0a69ee84291634d5a31956d183db.tar.bz2 abc-e52e48c3643b0a69ee84291634d5a31956d183db.zip | |
Version abc50910
Diffstat (limited to 'src/map/mapper')
| -rw-r--r-- | src/map/mapper/mapper.c | 2 | ||||
| -rw-r--r-- | src/map/mapper/mapperCreate.c | 4 | ||||
| -rw-r--r-- | src/map/mapper/mapperCut.c | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/map/mapper/mapper.c b/src/map/mapper/mapper.c index e59fa4a3..3cfd159f 100644 --- a/src/map/mapper/mapper.c +++ b/src/map/mapper/mapper.c @@ -61,7 +61,7 @@ void Map_Init( Abc_Frame_t * pAbc ) void Map_End() { // Map_SuperLibFree( s_pSuperLib ); - Map_SuperLibFree( Abc_FrameReadLibSuper(Abc_FrameGetGlobalFrame()) ); + Map_SuperLibFree( Abc_FrameReadLibSuper() ); } diff --git a/src/map/mapper/mapperCreate.c b/src/map/mapper/mapperCreate.c index 31fbf0ea..3dee7f7e 100644 --- a/src/map/mapper/mapperCreate.c +++ b/src/map/mapper/mapperCreate.c @@ -183,7 +183,7 @@ Map_Man_t * Map_ManCreate( int nInputs, int nOutputs, int fVerbose ) int i; // derive the supergate library - if ( Abc_FrameReadLibSuper(Abc_FrameGetGlobalFrame()) == NULL ) + if ( Abc_FrameReadLibSuper() == NULL ) { printf( "The supergate library is not specified. Use \"read_library\" or \"read_super\".\n" ); return NULL; @@ -192,7 +192,7 @@ Map_Man_t * Map_ManCreate( int nInputs, int nOutputs, int fVerbose ) // start the manager p = ALLOC( Map_Man_t, 1 ); memset( p, 0, sizeof(Map_Man_t) ); - p->pSuperLib = Abc_FrameReadLibSuper(Abc_FrameGetGlobalFrame()); + p->pSuperLib = Abc_FrameReadLibSuper(); p->nVarsMax = p->pSuperLib->nVarsMax; p->fVerbose = fVerbose; p->fEpsilon = (float)0.001; diff --git a/src/map/mapper/mapperCut.c b/src/map/mapper/mapperCut.c index b5ce4018..514d9da8 100644 --- a/src/map/mapper/mapperCut.c +++ b/src/map/mapper/mapperCut.c @@ -208,7 +208,7 @@ Map_Cut_t * Map_CutCompute( Map_Man_t * p, Map_CutTable_t * pTable, Map_Node_t * // set at the node pNode->pCuts = pCut; // remove the dominated cuts -// Map_CutFilter( p, pNode ); + Map_CutFilter( p, pNode ); // set the phase correctly if ( pNode->pRepr && Map_NodeComparePhase(pNode, pNode->pRepr) ) { |