| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcSweep.c | 582 int iFanin; in Abc_NodeConstantInput() local
584 if ( (iFanin = Vec_IntFind( &pNode->vFanins, pFanin->Id )) == -1 ) in Abc_NodeConstantInput()
590 bVar = Cudd_NotCond( Cudd_bddIthVar(dd, iFanin), fConst0 ); in Abc_NodeConstantInput()
|
| H A D | abcPrint.c | 1746 extern int Gli_ManCreateCo( Gli_Man_t * p, int iFanin );
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
| H A D | wlcNdr.c | 193 int i, k, iFanin, iOutId, Type; in Wlc_NtkToNdr() local
213 Wlc_ObjForEachFanin( pObj, iFanin, k ) in Wlc_NtkToNdr()
214 Vec_IntPush( vFanins, iFanin ); in Wlc_NtkToNdr()
|
| H A D | wlcReadSmt.c | 726 int i, Fan, NameId, iFanin, fSigned, Range, Value1 = -1, Value2 = -1; in Smt_PrsBuildNode() local
732 iFanin = Smt_PrsBuildNode( pNtk, p, Fan, -1, NULL ); in Smt_PrsBuildNode()
733 if ( iFanin == 0 ) in Smt_PrsBuildNode()
738 Vec_IntPush( vFanins, iFanin ); in Smt_PrsBuildNode()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaEmbed.c | 60 unsigned iFanin; member
155 assert( pObj->iFanin < pObj->nFanins ); in Emb_ObjAddFanin()
158 pObj->Fanios[pObj->iFanin++] = pObj->hHandle - pFanin->hHandle; in Emb_ObjAddFanin()
265 assert( pObjLog->nFanins == pObjLog->iFanin || Gia_ObjIsConst0(pObj) ); in Emb_ManStartSimple()
267 pObjLog->iFanin = pObjLog->iFanout = 0; in Emb_ManStartSimple()
603 assert( pObjLog->nFanins == pObjLog->iFanin || Gia_ObjIsConst0(pObj) ); in Emb_ManStart()
605 pObjLog->iFanin = pObjLog->iFanout = 0; in Emb_ManStart()
|
| H A D | giaFalse.c | 178 int iFanin = Gia_ObjFaninId0p( p, pPivot ); in Gia_ManCheckFalseOne() local
179 Vec_Int_t * vObjs = Gia_ManCollectNodesCis( p, &iFanin, 1 ); in Gia_ManCheckFalseOne()
|
| H A D | giaJf.c | 1111 int iFanin = Gia_ObjFaninId0( pObj, iObj ); in Jf_ObjPropagateBuf() local
1115 ABC_SWAP( int, iObj, iFanin ); in Jf_ObjPropagateBuf()
1116 Vec_IntWriteEntry( &p->vArr, iObj, Jf_ObjArr(p, iFanin) ); in Jf_ObjPropagateBuf()
1117 Vec_FltWriteEntry( &p->vFlow, iObj, Jf_ObjFlow(p, iFanin) ); in Jf_ObjPropagateBuf()
|
| H A D | giaOf.c | 782 Gia_Obj_t * pObj; int i, iFanin; in Of_ManComputeCuts() local
786 iFanin = Gia_ObjFaninId0(pObj, i); in Of_ManComputeCuts()
787 Of_ObjSetCutFlow( p, i, Of_ObjCutFlow(p, iFanin) ); in Of_ManComputeCuts()
788 Of_ObjSetCutDelay( p, i, Of_ObjCutDelay(p, iFanin) ); in Of_ManComputeCuts()
|
| H A D | giaSimBase.c | 540 word * pFanins[16] = {NULL}; int s, b, iMint, i, iFanin; in Gia_SimRsbFunc() local
542 Vec_IntForEachEntry( vFanins, iFanin, i ) in Gia_SimRsbFunc()
543 pFanins[i] = Vec_WrdEntryP( p->vSimsObj, p->nWords*iFanin ); in Gia_SimRsbFunc()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcDfs.c | 518 int iFanin; in Abc_NtkDfs_iter() local
534 iFanin = (int)(ABC_PTRINT_T)Vec_PtrPop(vStack); in Abc_NtkDfs_iter()
538 if ( iFanin == Abc_ObjFaninNum(pNode) ) in Abc_NtkDfs_iter()
545 Vec_PtrPush( vStack, (void *)(ABC_PTRINT_T)(iFanin+1) ); in Abc_NtkDfs_iter()
547 pFanin = Abc_ObjFanin0Ntk( Abc_ObjFanin(pNode,iFanin) ); in Abc_NtkDfs_iter()
|
| H A D | abc.h | 530 #define Abc_ObjForEachFaninId( pObj, iFanin, i ) \ argument
531 for ( i = 0; (i < Abc_ObjFaninNum(pObj)) && (((iFanin) = Abc_ObjFaninId(pObj, i)), 1); i++ )
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/ |
| H A D | bacBlast.c | 137 int iFanin, nLits, pLits[16]; in Bac_ManExtract_rec() local
139 Bac_BoxForEachFanin( p, iBox, iFanin, nLits ) in Bac_ManExtract_rec()
140 pLits[nLits] = Bac_ManExtract_rec( pNew, p, iFanin, fBuffers, vMap ); in Bac_ManExtract_rec()
|
| H A D | bac.h | 387 #define Bac_BoxForEachFanin( p, iBox, iFanin, i ) \ argument
388 …for ( i = 0; iBox - 1 - i >= 0 && Bac_ObjIsBi(p, iBox - 1 - i) && (((iFanin) = Bac_BoxFanin(p, iBo…
389 #define Bac_BoxForEachFaninBox( p, iBox, iFanin, i ) \ argument
390 …for ( i = 0; iBox - 1 - i >= 0 && Bac_ObjIsBi(p, iBox - 1 - i) && (((iFanin) = Bac_BoxFaninBox(p, …
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/ |
| H A D | cba.h | 350 #define Cba_ObjForEachFinFanin( p, iObj, iFin, iFanin, k ) \ argument
351 …for ( k = 0, iFin = Cba_ObjFin0(p, iObj); iFin < Cba_ObjFin0(p, iObj+1) && ((iFanin = Cba_FonObj(p…
352 #define Cba_ObjForEachFinFaninReal( p, iObj, iFin, iFanin, k ) \ argument
353 …); iFin < Cba_ObjFin0(p, iObj+1) && ((iFanin = Cba_FonObj(p, Cba_FinFon(p, iFin))), 1); iFin++, k+…
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
| H A D | mpmMig.h | 333 #define Mig_ObjForEachFaninId( p, iFanin, i ) \ argument
334 for ( i = 0; Mig_ObjHasFanin(p, i) && ((iFanin) = Mig_ObjFaninId(p, i)); i++ )
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmInt.h | 205 …m_LibFindComplInputGate( Vec_Wrd_t * vFuncs, int iGate, int nFanins, int iFanin, int * piFaninNew …
|
| H A D | sfmDec.c | 1742 int iFanin = Abc_NodeFindFanin(pFanout, pPivot), iFaninNew = -1; in Sfm_DecInsert() local
1744 …GateNew = Sfm_LibFindComplInputGate( vFuncs, iGate, Abc_ObjFaninNum(pFanout), iFanin, &iFaninNew ); in Sfm_DecInsert()
1749 if ( iFanin != iFaninNew ) in Sfm_DecInsert()
1752 ABC_SWAP( int, pArray[iFanin], pArray[iFaninNew] ); in Sfm_DecInsert()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
| H A D | mfsCore.c | 30 extern int Abc_NtkMfsSolveSatResub( Mfs_Man_t * p, Abc_Obj_t * pNode, int iFanin, int fOnlyRemove, …
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifTune.c | 504 int iFanin = p->Nodes[i].iFirst; in Ifn_ManStrFindModel() local
530 pVarsData[k] = pVarMap[iFanin + k]; in Ifn_ManStrFindModel()
|