diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-23 16:52:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-23 16:52:40 -0700 |
| commit | 6f17c44e9167f810d6f7f03582f2f132464115d5 (patch) | |
| tree | dd3205f236474b69407e1e7b0118f4ef4567c9ac /src/map/mapper/mapperTruth.c | |
| parent | f6eb5262a3176a97f4063f1c49a7d56545fcd53e (diff) | |
| download | abc-6f17c44e9167f810d6f7f03582f2f132464115d5.tar.gz abc-6f17c44e9167f810d6f7f03582f2f132464115d5.tar.bz2 abc-6f17c44e9167f810d6f7f03582f2f132464115d5.zip | |
Integrating barrier buffers into the mapper.
Diffstat (limited to 'src/map/mapper/mapperTruth.c')
| -rw-r--r-- | src/map/mapper/mapperTruth.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/mapper/mapperTruth.c b/src/map/mapper/mapperTruth.c index 377df9b4..8c88eedc 100644 --- a/src/map/mapper/mapperTruth.c +++ b/src/map/mapper/mapperTruth.c @@ -51,11 +51,11 @@ void Map_MappingTruths( Map_Man_t * pMan ) Map_Cut_t * pCut; int nNodes, i; // compute the cuts for the POs - nNodes = pMan->vAnds->nSize; + nNodes = pMan->vMapObjs->nSize; pProgress = Extra_ProgressBarStart( stdout, nNodes ); for ( i = 0; i < nNodes; i++ ) { - pNode = pMan->vAnds->pArray[i]; + pNode = pMan->vMapObjs->pArray[i]; if ( !Map_NodeIsAnd( pNode ) ) continue; assert( pNode->pCuts ); |