| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwr/ |
| H A D | rwr.h | 74 Vec_Ptr_t * vFanins; // the fanins array (temporary) member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwt/ |
| H A D | rwt.h | 84 Vec_Ptr_t * vFanins; // the fanins array (temporary) member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
| H A D | nwkUtil.c | 361 Vec_Int_t * vFanins, * vFanouts; in Nwk_ManPrintFanioNew() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifSelect.c | 417 Vec_Int_t * vFanins; in If_ManNodeShapeSat() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaFx.c | 318 Vec_Int_t * vOrder, * vFirst, * vCount, * vFanins, * vCover; in Gia_ManFxInsert() local
|
| H A D | giaSplit.c | 296 Vec_Int_t * vFanins = Gia_ObjLutFanins2(p, iObj); in Spl_ManCountMarkedFanins() local
|
| H A D | giaSimBase.c | 38 Vec_Int_t * vFanins; member
535 word * Gia_SimRsbFunc( Gia_SimRsbMan_t * p, int iObj, Vec_Int_t * vFanins, int fOnSet ) in Gia_SimRsbFunc()
556 int Gia_SimRsbResubVerify( Gia_SimRsbMan_t * p, int iObj, Vec_Int_t * vFanins ) in Gia_SimRsbResubVerify()
|
| H A D | giaSupp.c | 348 Vec_Ptr_t * vFanins; // CNF construction member
|
| H A D | giaGlitch.c | 369 int Gli_ManCreateNode( Gli_Man_t * p, Vec_Int_t * vFanins, int nFanouts, word * pGateTruth ) in Gli_ManCreateNode()
|
| H A D | giaSweeper.c | 69 Vec_Int_t * vFanins; // temporary fanins member
|
| H A D | giaCof.c | 609 Vec_Int_t * vFanins, * vFanouts, * vMffcs; in Cof_ManPrintFanio() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecSat.c | 56 Vec_Ptr_t * vFanins; // CNF construction member
320 int Gia_ObjGetCnfVar( Gia_Man_t * pGia, int iObj, Vec_Ptr_t * vFrontier, Vec_Ptr_t * vFanins, satok… in Gia_ObjGetCnfVar()
|
| H A D | cecInt.h | 89 Vec_Ptr_t * vFanins; // fanins of the CNF node member
|
| H A D | cecSatG.c | 56 Vec_Ptr_t * vFanins; // CNF construction member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/ |
| H A D | fraigSat.c | 1403 Fraig_NodeVec_t * vFanins; in Fraig_DetectFanoutFreeConeMux() local
|
| H A D | fraigInt.h | 234 Fraig_NodeVec_t * vFanins; // the fanins of the supergate rooted at this node member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmTim.c | 428 int Sfm_TimEvalRemapping( Sfm_Tim_t * p, Vec_Int_t * vFanins, Vec_Int_t * vMap, Mio_Gate_t * pGate1… in Sfm_TimEvalRemapping()
|
| H A D | sfmDec.c | 1286 Vec_Int_t vFanins = { nSupp[i], nSupp[i], pSupp[i] }; in Sfm_DecPeformDec3() local
1565 …pPars, Abc_Obj_t * pPivot, Vec_Int_t * vRoots, Vec_Int_t * vGates, Vec_Wec_t * vFanins, Vec_Int_t … in Sfm_DecExtract()
1701 …c_Ntk_t * pNtk, Abc_Obj_t * pPivot, int Limit, Vec_Int_t * vGates, Vec_Wec_t * vFanins, Vec_Int_t … in Sfm_DecInsert()
|
| H A D | sfmInt.h | 83 Vec_Wec_t vFanins; // fanins member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyFraig.c | 160 static inline void Ivy_ObjSetFaninVec( Ivy_Obj_t * pObj, Vec_Ptr_t * vFanins ) { pObj->pN… in Ivy_ObjSetFaninVec()
2547 Vec_Ptr_t * vFrontier, * vFanins; in Ivy_FraigNodeAddToSolver() local
2602 Vec_Ptr_t * vFanins; in Ivy_FraigSetActivityFactors_rec() local
|
| H A D | ivySeq.c | 364 void Ivy_GraphPrepare( Dec_Graph_t * pGraph, Ivy_Cut_t * pCut, Vec_Ptr_t * vFanins, char * pPerm ) in Ivy_GraphPrepare()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcCollapse.c | 59 Vec_Ptr_t * vFanins; in Abc_NodeMinimumBase2() local
|
| H A D | abcMiter.c | 1318 Vec_Ptr_t * vFanins = Vec_PtrAlloc( 100 ); in Abc_NtkSpecialMiter() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
| H A D | wlnRetime.c | 34 Vec_Int_t vFanins; // fanins and edge places member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswInt.h | 150 Vec_Ptr_t * vFanins; // fanins of the CNF node member
|