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/cbaBlast.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/cbaBlast.c')
| -rw-r--r-- | src/base/cba/cbaBlast.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/cba/cbaBlast.c b/src/base/cba/cbaBlast.c index f227ebf4..d43bef53 100644 --- a/src/base/cba/cbaBlast.c +++ b/src/base/cba/cbaBlast.c @@ -151,9 +151,9 @@ int Cba_ManExtract_rec( Gia_Man_t * pNew, Cba_Ntk_t * p, int i, int fBuffers, Ve Cba_ObjType_t Type = Cba_ObjType(p, iBox); if ( nLits == 0 ) { - if ( Type == CBA_BOX_C0 ) + if ( Type == CBA_BOX_CF ) iRes = 0; - else if ( Type == CBA_BOX_C1 ) + else if ( Type == CBA_BOX_CT ) iRes = 1; else assert( 0 ); } @@ -307,7 +307,7 @@ void Cba_NtkCreateAndConnectBuffer( Gia_Man_t * pGia, Gia_Obj_t * pObj, Cba_Ntk_ } else { - Cba_ObjAlloc( p, pGia && Gia_ObjFaninC0(pObj) ? CBA_BOX_C1 : CBA_BOX_C0, -1 ); + Cba_ObjAlloc( p, pGia && Gia_ObjFaninC0(pObj) ? CBA_BOX_CT : CBA_BOX_CF, -1 ); } iObj = Cba_ObjAlloc( p, CBA_OBJ_BO, -1 ); Cba_ObjSetName( p, iObj, Cba_ObjName(p, iTerm) ); |