abc/src/aig/gia/giaGiarf.c
/**Function*************************************************************

  Synopsis    [Returns temporary representative of the node.]

  Description [The temp repr is the first node among the nodes in the class that
  (a) precedes the given node, and (b) whose level is lower than the given node.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Returns temporary representative of the node.]

Description [The temp repr is the first node among the nodes in the class that
(a) precedes the given node, and (b) whose level is lower than the given node.]




Function Synopsis [ Returns temporary representative of the node . ] Description [ The temp repr is the first node among the nodes in the class that ( a ) precedes the given node and ( b ) whose level is lower than the given node . ]
static inline Gia_Obj_t * Gia_ObjTempRepr( Gia_Man_t * p, int i, int Level )
{
    int iRepr, iMember;
    iRepr = Gia_ObjRepr( p, i ); 
    if ( !Gia_ObjProved(p, i) )
        return NULL;
    if ( Gia_ObjFailed(p, i) )
        return NULL;
    if ( iRepr == GIA_VOID )
        return NULL;
    if ( iRepr == 0 )
        return Gia_ManConst0( p );
    Gia_ClassForEachObj( p, iRepr, iMember )
    {
        if ( Gia_ObjFailed(p, iMember) )
            continue;
        if ( iMember >= i )
            return NULL;
        if ( Gia_ObjLevelId(p, iMember) < Level )
            return Gia_ManObj( p, iMember );
    }
    assert( 0 );
    return NULL;
}
static inline Gia_Obj_t * Gia_ObjTempRepr ( Gia_Man_t * p , int i , int Level ) { int iRepr , iMember ; iRepr = Gia_ObjRepr ( p , i ) ; if ( ! Gia_ObjProved ( p , i ) ) return NULL ; if ( Gia_ObjFailed ( p , i ) ) return NULL ; if ( iRepr == GIA_VOID ) return NULL ; if ( iRepr == 0 ) return Gia_ManConst0 ( p ) ; Gia_ClassForEachObj ( p , iRepr , iMember ) { if ( Gia_ObjFailed ( p , iMember ) ) continue ; if ( iMember >= i ) return NULL ; if ( Gia_ObjLevelId ( p , iMember ) < Level ) return Gia_ManObj ( p , iMember ) ; } assert ( 0 ) ; return NULL ; }
Function
Synopsis    [Returns temporary representative of the node.]
Function Synopsis [ Returns temporary representative of the node . ]
//    if ( p->pLevels[iRepr] < Level ) //        return Gia_ManObj( p, iRepr );