Lines Matching refs:vFanins
318 Vec_Int_t * vOrder, * vFirst, * vCount, * vFanins, * vCover; in Gia_ManFxInsert() local
342 vFanins = Vec_IntAlloc( 100 ); in Gia_ManFxInsert()
348 Vec_IntClear( vFanins ); in Gia_ManFxInsert()
355 Vec_IntWriteEntry( vMap, Abc_Lit2Var(Lit), Vec_IntSize(vFanins) ); in Gia_ManFxInsert()
356 Vec_IntPush( vFanins, Abc_Lit2Var(Lit) ); in Gia_ManFxInsert()
359 if ( Vec_IntSize(vFanins) > 6 ) in Gia_ManFxInsert()
365 for ( v = 0; v < Vec_IntSize(vFanins); v++ ) in Gia_ManFxInsert()
371 assert( Lit >= 0 && Abc_Lit2Var(Lit) < Vec_IntSize(vFanins) ); in Gia_ManFxInsert()
372 …Vec_StrWriteEntry( vSop, Vec_StrSize(vSop) - Vec_IntSize(vFanins) + Abc_Lit2Var(Lit), (char)(Abc_L… in Gia_ManFxInsert()
380 Vec_IntForEachEntry( vFanins, Var, v ) in Gia_ManFxInsert()
383 Vec_IntWriteEntry( vFanins, v, Vec_IntEntry(vCopies, Var) ); in Gia_ManFxInsert()
386 Lit = Gia_ManFactorNode( pNew, Vec_StrArray(vSop), vFanins ); in Gia_ManFxInsert()
398 assert( Lit >= 0 && Abc_Lit2Var(Lit) < Vec_IntSize(vFanins) ); in Gia_ManFxInsert()
407 Vec_IntForEachEntry( vFanins, Var, v ) in Gia_ManFxInsert()
410 Vec_IntWriteEntry( vFanins, v, Vec_IntEntry(vCopies, Var) ); in Gia_ManFxInsert()
413 Lit = Dsm_ManTruthToGia( pNew, &uTruth, vFanins, vCover ); in Gia_ManFxInsert()
433 Vec_IntFree( vFanins ); in Gia_ManFxInsert()