abc/src/base/abci/abcDetect.c
// returns 1 if the functionality with indexes i1 and i2 is the same
returns 1 if the functionality with indexes i1 and i2 is the same
returns 1 if the functionality with indexes i1 and i2 is the same
static inline int Abc_NtkFinCompareSimTwo( Abc_Ntk_t * pNtk, Vec_Int_t * vCos, Vec_Wrd_t * vSims, int nWords, int i1, int i2 )
{
    Abc_Obj_t * pObj; int i;
    assert( i1 != i2 );
    Abc_NtkForEachObjVec( vCos, pNtk, pObj, i )
    {
        word * pSim0 = Vec_WrdEntryP( vSims, nWords * Abc_ObjFaninId0(pObj) );
        if ( Abc_InfoHasBit((unsigned*)pSim0, i1) != Abc_InfoHasBit((unsigned*)pSim0, i2) )
            return 0;
    }
    return 1;
}
static inline int Abc_NtkFinCompareSimTwo ( Abc_Ntk_t * pNtk , Vec_Int_t * vCos , Vec_Wrd_t * vSims , int nWords , int i1 , int i2 ) { Abc_Obj_t * pObj ; int i ; assert ( i1 != i2 ) ; Abc_NtkForEachObjVec ( vCos , pNtk , pObj , i ) { word * pSim0 = Vec_WrdEntryP ( vSims , nWords * Abc_ObjFaninId0 ( pObj ) ) ; if ( Abc_InfoHasBit ( ( unsigned * ) pSim0 , i1 ) != Abc_InfoHasBit ( ( unsigned * ) pSim0 , i2 ) ) return 0 ; } return 1 ; }
returns 1 if the functionality with indexes i1 and i2 is the same
returns 1 if the functionality with indexes i1 and i2 is the same