abc/src/aig/ivy/ivyFanout.c
// getting hold of the previous fanout of the node
getting hold of the previous fanout of the node
getting hold of the previous fanout of the node
static inline Ivy_Obj_t * Ivy_ObjPrevFanout( Ivy_Obj_t * pObj, Ivy_Obj_t * pFanout )
{
    assert( !Ivy_IsComplement(pObj) );
    assert( !Ivy_IsComplement(pFanout) );
    if ( pFanout == NULL )
        return NULL;
    if ( Ivy_ObjFanin0(pFanout) == pObj )
        return pFanout->pPrevFan0;
    assert( Ivy_ObjFanin1(pFanout) == pObj );
    return pFanout->pPrevFan1;
}
static inline Ivy_Obj_t * Ivy_ObjPrevFanout ( Ivy_Obj_t * pObj , Ivy_Obj_t * pFanout ) { assert ( ! Ivy_IsComplement ( pObj ) ) ; assert ( ! Ivy_IsComplement ( pFanout ) ) ; if ( pFanout == NULL ) return NULL ; if ( Ivy_ObjFanin0 ( pFanout ) == pObj ) return pFanout -> pPrevFan0 ; assert ( Ivy_ObjFanin1 ( pFanout ) == pObj ) ; return pFanout -> pPrevFan1 ; }
getting hold of the previous fanout of the node
getting hold of the previous fanout of the node