diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-11 16:55:18 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-11 16:55:18 -0800 |
| commit | e363727c62d5fbbf0edadb73a02e4efa324e1509 (patch) | |
| tree | 303fb0fddff729206062beaa192f067f42f6da5a /src/base/cba/cbaPrsBuild.c | |
| parent | 8cabdcb55d0a390ea45cfed631118af35796dac2 (diff) | |
| download | abc-e363727c62d5fbbf0edadb73a02e4efa324e1509.tar.gz abc-e363727c62d5fbbf0edadb73a02e4efa324e1509.tar.bz2 abc-e363727c62d5fbbf0edadb73a02e4efa324e1509.zip | |
Several improvements to CBA data-structure.
Diffstat (limited to 'src/base/cba/cbaPrsBuild.c')
| -rw-r--r-- | src/base/cba/cbaPrsBuild.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/cba/cbaPrsBuild.c b/src/base/cba/cbaPrsBuild.c index 4087b23e..4d3fd2a5 100644 --- a/src/base/cba/cbaPrsBuild.c +++ b/src/base/cba/cbaPrsBuild.c @@ -262,7 +262,7 @@ void Prs_ManBuildNtk( Cba_Ntk_t * pNew, Vec_Ptr_t * vDes, Prs_Ntk_t * pNtk, Vec_ iTerm = Cba_BoxBi( pNew, iObj, i/2 ); if ( Vec_IntEntry(vMap, NameId) == -1 ) { - iConst0 = Cba_BoxAlloc( pNew, CBA_BOX_C0, 0, 1, -1 ); + iConst0 = Cba_BoxAlloc( pNew, CBA_BOX_CF, 0, 1, -1 ); Vec_IntWriteEntry( vMap, NameId, iConst0+1 ); if ( iNonDriven == -1 ) iNonDriven = NameId; @@ -284,7 +284,7 @@ void Prs_ManBuildNtk( Cba_Ntk_t * pNew, Vec_Ptr_t * vDes, Prs_Ntk_t * pNtk, Vec_ iTerm = Cba_BoxBi( pNew, iObj, Index ); if ( Vec_IntEntry(vMap, NameId) == -1 ) { - iConst0 = Cba_BoxAlloc( pNew, CBA_BOX_C0, 0, 1, -1 ); + iConst0 = Cba_BoxAlloc( pNew, CBA_BOX_CF, 0, 1, -1 ); Vec_IntWriteEntry( vMap, NameId, iConst0+1 ); if ( iNonDriven == -1 ) iNonDriven = NameId; @@ -305,7 +305,7 @@ void Prs_ManBuildNtk( Cba_Ntk_t * pNew, Vec_Ptr_t * vDes, Prs_Ntk_t * pNtk, Vec_ iTerm = Cba_BoxBi( pNew, iObj, i/2 ); if ( Vec_IntEntry(vMap, NameId) == -1 ) { - iConst0 = Cba_BoxAlloc( pNew, CBA_BOX_C0, 0, 1, -1 ); + iConst0 = Cba_BoxAlloc( pNew, CBA_BOX_CF, 0, 1, -1 ); Vec_IntWriteEntry( vMap, NameId, iConst0+1 ); if ( iNonDriven == -1 ) iNonDriven = NameId; @@ -319,7 +319,7 @@ void Prs_ManBuildNtk( Cba_Ntk_t * pNew, Vec_Ptr_t * vDes, Prs_Ntk_t * pNtk, Vec_ Prs_NtkForEachPo( pNtk, NameId, i ) if ( Vec_IntEntry(vMap, NameId) == -1 ) { - iConst0 = Cba_BoxAlloc( pNew, CBA_BOX_C0, 0, 1, -1 ); + iConst0 = Cba_BoxAlloc( pNew, CBA_BOX_CF, 0, 1, -1 ); Vec_IntWriteEntry( vMap, NameId, iConst0+1 ); if ( iNonDriven == -1 ) iNonDriven = NameId; |