| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbPush.c | 45 void Acb_ObjPushToFanout( Acb_Ntk_t * p, int iObj, int iFaninIndex, int iFanout ) in Acb_ObjPushToFanout()
145 int i, iFanout; in Acb_ObjFindNodeFanout() local
203 int iFanout; in Acb_ObjRemoveConst() local
222 int iFanout; in Acb_ObjRemoveBufInv() local
242 int iFanout = Acb_ObjFanout( p, iObj, 0 ); in Acb_ObjRemoveBufInv() local
302 int iFanout = Acb_ObjFanout( p, iObj, 0 ); in Acb_ObjPushToFanins() local
|
| H A D | acbUtil.c | 76 int iFanout, i; in Acb_ObjCollectTfo_rec() local
132 int iFanout, k, Level = 0; in Acb_ObjComputeLevelR() local
225 int iFanout, k, Path = 0; in Acb_ObjComputePathR() local
|
| H A D | acbMfs.c | 533 int iFanout, i; in Acb_ObjMarkTfo_rec() local
574 int iFanout, i, Diff, fHasNone = 0; in Acb_ObjLabelTfo_rec() local
617 int iFanout, i, Diff = Acb_ObjTravIdDiff(p, iObj); in Acb_ObjDeriveTfo_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmWin.c | 228 int i, iFanout; in Sfm_NtkCheckRoot() local
242 int i, iFanout; in Sfm_NtkComputeRoots_rec() local
270 int i, iFanout; in Sfm_NtkAddDivisors() local
308 int i, iFanout; in Sfm_ObjIsUseful() local
|
| H A D | sfmNtk.c | 300 int i, iFanout; in Sfm_NtkUpdateLevel_rec() local
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigTiming.c | 135 int i, iFanout = -1, LevelCur, Level = 0; in Aig_ObjReverseLevelNew() local
213 int iFanout = -1, LevelOld, Lev, k, m; in Aig_ManUpdateLevel() local
|
| H A D | aigDfs.c | 208 int iFanout = -1, i; in Aig_ManDfsReverse_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigTiming.c | 120 int i, iFanout = -1, LevelCur, Level = 0; in Aig_ObjReverseLevelNew() local
198 int iFanout = -1, LevelOld, Lev, k, m; in Aig_ManUpdateLevel() local
|
| H A D | aigDoms.c | 544 int i, iFanout; in Aig_ObjDomCompute() local
1075 int i, k, Entry, iFanout, fPrint = 0; in Aig_ObjDomCount() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
| H A D | dchSimSat.c | 48 int iFanout = -1, i; in Dch_ManCollectTfoCands_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
| H A D | cgtAig.c | 93 int f, iFanout = -1; in Cgt_ManDetectFanout_rec() local
118 int i, k, f, iFanout = -1; in Cgt_ManDetectFanout() local
|
| H A D | cgtDecide.c | 55 int f, iFanout = -1; in Cgt_ManCollectFanoutPos_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSplit.c | 256 int iFanout, i; in Spl_ManLutFanouts_rec() local
270 int i, iFanout; in Spl_ManLutFanouts() local
|
| H A D | giaFanout.c | 243 int i, iFanout; in Gia_ManStaticFanoutStart() local
|
| H A D | giaSpeedup.c | 90 int Gia_LutWhereIsPin( Gia_Man_t * p, int iFanout, int iFanin, int * pPinPerm ) in Gia_LutWhereIsPin()
|
| H A D | giaShrink6.c | 171 static inline void Shr_ManAddFanout( Shr_Man_t * p, int iFanin, int iFanout ) in Shr_ManAddFanout()
|
| H A D | giaSimBase.c | 500 void Gia_SimRsbTfo_rec( Gia_Man_t * p, int iObj, int iFanout, Vec_Int_t * vTfo ) in Gia_SimRsbTfo_rec()
511 Vec_Int_t * Gia_SimRsbTfo( Gia_SimRsbMan_t * p, int iObj, int iFanout ) in Gia_SimRsbTfo()
630 int i, k, iTemp, iFanout; in Gia_ObjSimCollect() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigWnd.c | 49 int fCollected, iFanout = -1, i; in Saig_ManWindowOutline_rec() local
132 int iFanout = -1, i; in Saig_ObjHasUnlabeledFanout() local
|
| H A D | saigStrSim.c | 642 int i, iFanout = -1; in Saig_StrSimSetContiguousMatching_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
| H A D | llb2Flow.c | 35 int i, iFanout = -1; in Llb_ObjGetFanoutPath() local
277 int i, k, iFanout = -1, Counter = 0; in Llb_ManCutLiNum() local
1022 int i, iFanout = -1; in Llb_ManFlowCollectAndMarkCone_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswDyn.c | 106 int iFanout = -1, i; in Ssw_ManCollectPos_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
| H A D | wlnNtk.c | 300 int k, iObj, iFanout; in Wln_NtkStaticFanoutTest() local
|
| H A D | wlnRetime.c | 56 #define Wln_RetForEachFanout( p, iObj, iFanout, pLink, i ) \ argument
244 int k, iFanout, * pLink, * pDelay = Vec_IntEntryP( &p->vPathDelays, iObj ); in Wln_RetMarkChanges_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrTsim.c | 202 int i, k, iFanout = -1, Value, Value2; in Pdr_ManExtendOne() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absOldSim.c | 283 int k, iFanout = -1, Value0, Value1; in Saig_ManSetAndDriveImplications_rec() local
|