abc/src/base/bac/bacWriteVer.c
// compute range of a name (different from range of a multi-bit wire)
compute range of a name (different from range of a multi-bit wire)
compute range of a name ( different from range of a multi - bit wire )
static inline int Bac_ObjGetRange( Bac_Ntk_t * p, int iObj )
{
    int i, NameId = Bac_ObjName(p, iObj);
    assert( Bac_ObjIsCi(p, iObj) );
    assert( Bac_NameType(NameId) == BAC_NAME_WORD || Bac_NameType(NameId) == BAC_NAME_INFO );
    for ( i = iObj + 1; i < Bac_NtkObjNum(p); i++ )
        if ( !Bac_ObjIsCi(p, i) || Bac_ObjNameType(p, i) != BAC_NAME_INDEX )
            break;
    return i - iObj;
}
static inline int Bac_ObjGetRange ( Bac_Ntk_t * p , int iObj ) { int i , NameId = Bac_ObjName ( p , iObj ) ; assert ( Bac_ObjIsCi ( p , iObj ) ) ; assert ( Bac_NameType ( NameId ) == BAC_NAME_WORD || Bac_NameType ( NameId ) == BAC_NAME_INFO ) ; for ( i = iObj + 1 ; i < Bac_NtkObjNum ( p ) ; i ++ ) if ( ! Bac_ObjIsCi ( p , i ) || Bac_ObjNameType ( p , i ) != BAC_NAME_INDEX ) break ; return i - iObj ; }
compute range of a name (different from range of a multi-bit wire)
compute range of a name ( different from range of a multi - bit wire )
//    if ( Bac_NameType(NameId) == BAC_NAME_INDEX ) //        NameId = Bac_ObjName(p, iObj - Abc_Lit2Var2(NameId));