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

  Synopsis    [Determines variables whose fanout count is higher than this.]

  Description [Variables are returned in a reverse topological order.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Determines variables whose fanout count is higher than this.]

Description [Variables are returned in a reverse topological order.]




Function Synopsis [ Determines variables whose fanout count is higher than this . ] Description [ Variables are returned in a reverse topological order . ]
Vec_Int_t * Gia_ManCofVars( Gia_Man_t * p, int nFanLim )
{
    Vec_Int_t * vVars;
    Gia_Obj_t * pObj;
    int i;
    ABC_FREE( p->pRefs );
    Gia_ManCreateRefs( p );
    vVars = Vec_IntAlloc( 100 );
    Gia_ManForEachObj( p, pObj, i )
        if ( Gia_ObjIsCand(pObj) && Gia_ObjRefNum(p, pObj) >= nFanLim )
            Vec_IntPush( vVars, i );
    ABC_FREE( p->pRefs );
    return vVars;
}
Vec_Int_t * Gia_ManCofVars ( Gia_Man_t * p , int nFanLim ) { Vec_Int_t * vVars ; Gia_Obj_t * pObj ; int i ; ABC_FREE ( p -> pRefs ) ; Gia_ManCreateRefs ( p ) ; vVars = Vec_IntAlloc ( 100 ) ; Gia_ManForEachObj ( p , pObj , i ) if ( Gia_ObjIsCand ( pObj ) && Gia_ObjRefNum ( p , pObj ) >= nFanLim ) Vec_IntPush ( vVars , i ) ; ABC_FREE ( p -> pRefs ) ; return vVars ; }
Function
Synopsis    [Determines variables whose fanout count is higher than this.]
Function Synopsis [ Determines variables whose fanout count is higher than this . ]