abc/src/aig/ivy/ivyHaig.c
// counts the number of nodes in the equivalence class
counts the number of nodes in the equivalence class
counts the number of nodes in the equivalence class
static inline int Ivy_HaigObjCountClass( Ivy_Obj_t * pObj )
{
    Ivy_Obj_t * pTemp;
    int Counter;
    assert( !Ivy_IsComplement(pObj) );
    assert( Ivy_ObjRefs(pObj) > 0 );
    if ( pObj->pEquiv == NULL )
        return 1;
    assert( !Ivy_IsComplement(pObj->pEquiv) );
    Counter = 1;
    for ( pTemp = pObj->pEquiv; pTemp != pObj; pTemp = Ivy_Regular(pTemp->pEquiv) )
        Counter++;
    return Counter;
}
static inline int Ivy_HaigObjCountClass ( Ivy_Obj_t * pObj ) { Ivy_Obj_t * pTemp ; int Counter ; assert ( ! Ivy_IsComplement ( pObj ) ) ; assert ( Ivy_ObjRefs ( pObj ) > 0 ) ; if ( pObj -> pEquiv == NULL ) return 1 ; assert ( ! Ivy_IsComplement ( pObj -> pEquiv ) ) ; Counter = 1 ; for ( pTemp = pObj -> pEquiv ; pTemp != pObj ; pTemp = Ivy_Regular ( pTemp -> pEquiv ) ) Counter ++ ; return Counter ; }
counts the number of nodes in the equivalence class
counts the number of nodes in the equivalence class