/**Function************************************************************* Synopsis [Collects fanouts of the node.] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ void Nwk_ObjCollectFanouts( Nwk_Obj_t * pNode, Vec_Ptr_t * vNodes ) { Nwk_Obj_t * pFanout; int i; Vec_PtrClear(vNodes); Nwk_ObjForEachFanout( pNode, pFanout, i ) Vec_PtrPush( vNodes, pFanout ); }
/**Function************************************************************* Synopsis [Marks TFO of the node.] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ void Nwk_ManMarkTfoCone_rec( Nwk_Obj_t * pObj ) { Nwk_Obj_t * pNext; int i; if ( pObj->MarkA ) return; pObj->MarkA = 1; Nwk_ObjForEachFanout( pObj, pNext, i ) Nwk_ManMarkTfoCone_rec( pNext ); }