615 void Acb_ObjDeriveTfo_rec( Acb_Ntk_t * p, int iObj, Vec_Int_t * vTfo, Vec_Int_t * vRoots, int fFirs…  in Acb_ObjDeriveTfo_rec()  argument
623         Vec_IntPush( vTfo, iObj );  in Acb_ObjDeriveTfo_rec()
629             Acb_ObjDeriveTfo_rec( p, iFanout, vTfo, vRoots, 0 );  in Acb_ObjDeriveTfo_rec()
630     Vec_IntPush( vTfo, iObj );  in Acb_ObjDeriveTfo_rec()
635     Vec_Int_t * vTfo   = *pvTfo   = Vec_IntAlloc( 10 );  in Acb_ObjDeriveTfo()  local
640     Acb_ObjDeriveTfo_rec( p, Pivot, vTfo, vRoots, fDelay );  in Acb_ObjDeriveTfo()
641     assert( Vec_IntEntryLast(vTfo) == Pivot );  in Acb_ObjDeriveTfo()
642     Vec_IntPop( vTfo );  in Acb_ObjDeriveTfo()
644     Vec_IntReverseOrder( vTfo );  in Acb_ObjDeriveTfo()
660 Vec_Int_t * Acb_NtkCollectTfoSideInputs( Acb_Ntk_t * p, int Pivot, Vec_Int_t * vTfo )  in Acb_NtkCollectTfoSideInputs()  argument
665     Vec_IntPush( vTfo, Pivot );  in Acb_NtkCollectTfoSideInputs()
666     Vec_IntForEachEntry( vTfo, Node, i )  in Acb_NtkCollectTfoSideInputs()
668     Vec_IntForEachEntry( vTfo, Node, i )  in Acb_NtkCollectTfoSideInputs()
672     Vec_IntPop( vTfo );  in Acb_NtkCollectTfoSideInputs()
747 Vec_Int_t * Acb_NtkCollectWindow( Acb_Ntk_t * p, int Pivot, Vec_Int_t * vTfi, Vec_Int_t * vTfo, Vec…  in Acb_NtkCollectWindow()  argument
770     Vec_IntForEachEntry( vTfo, iObj, i )  in Acb_NtkCollectWindow()
794     Vec_Int_t * vWin, * vDivs, * vMarked, * vTfo, * vRoots, * vSide, * vTfi;  in Acb_NtkWindow()  local
801     Acb_ObjDeriveTfo( p, Pivot, nTfoLevMax, nFanMax, &vTfo, &vRoots, 0 );//fDelay );  in Acb_NtkWindow()
802     if ( fVerbose ) Acb_NtkPrintVec( p, vTfo, "vTfo" );  in Acb_NtkWindow()
805     vSide = Acb_NtkCollectTfoSideInputs( p, Pivot, vTfo );  in Acb_NtkWindow()
817     vWin = Acb_NtkCollectWindow( p, Pivot, vTfi, vTfo, vRoots );  in Acb_NtkWindow()
820     Vec_IntFree( vTfo );  in Acb_NtkWindow()