| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
| H A D | wlcAbc.c | 97 void Wlc_NtkPrintInvStats( Wlc_Ntk_t * pNtk, Vec_Int_t * vCounts, int fVerbose ) in Wlc_NtkPrintInvStats()
148 Vec_Int_t * vCounts = Pdr_InvCounts( vInv ); in Wlc_NtkGetInv() local
|
| H A D | wlcCom.c | 1559 Vec_Int_t * vCounts; in Abc_CommandInvPs() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrInv.c | 641 Vec_Int_t * Pdr_InvMap( Vec_Int_t * vCounts ) in Pdr_InvMap()
653 Vec_Int_t * vCounts = Vec_IntStart( Vec_IntEntryLast(vInv) ); in Pdr_InvCounts() local
661 Vec_Int_t * vCounts = Pdr_InvCounts( vInv ); in Pdr_InvUsedFlopNum() local
667 Vec_Str_t * Pdr_InvPrintStr( Vec_Int_t * vInv, Vec_Int_t * vCounts ) in Pdr_InvPrintStr()
698 Vec_Int_t * vCounts = Pdr_InvCounts( vInv ); in Pdr_InvPrint() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcFanOrder.c | 145 Vec_Int_t * vCounts; in Abc_NtkOrderFaninsBySortingColumns() local
213 static inline void Vec_StrSelectSortCost2( char ** pArray, int nSize, Vec_Int_t * vCounts, Vec_Int_… in Vec_StrSelectSortCost2()
234 Vec_Int_t * vCounts; in Abc_NtkOrderFaninsByLitCount() local
309 Vec_Int_t * vCounts; in Abc_NtkOrderFaninsByLitCountAndCubeCount() local
|
| H A D | abcHie.c | 436 Vec_Int_t * vCounts; in Abc_NtkPrintBoxInfo() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
| H A D | llb2Driver.c | 58 Vec_Int_t * vCounts; in Llb_DriverCountRefs() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecMult.c | 346 Vec_Int_t * vCounts = Vec_IntStart( Gia_ManObjNum(p) ); in Acec_MultDetectInputs1() local
437 Vec_Int_t * vCounts = Vec_IntStart( Gia_ManObjNum(p) ); in Acec_MultDetectInputs() local
|
| H A D | acecPolyn.c | 52 Vec_Flt_t * vCounts; // largest node member
|
| H A D | acecPool.c | 280 Vec_Int_t * vCounts = Vec_IntStart( 100 ); in Acec_ManPrintRanks() local
|
| H A D | acecTree.c | 338 Vec_Int_t * vCounts = Vec_IntStartFull( Gia_ManObjNum(p) ); in Acec_TreeVerifyConnections() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaRex.c | 415 void Gia_ManAutomWalkOne( Gia_Man_t * p, int nSteps, Vec_Wrd_t * vStates, Vec_Int_t * vCounts, Vec_… in Gia_ManAutomWalkOne()
497 Vec_Int_t * vCounts; int i; word Init; in Gia_ManAutomWalk() local
|
| H A D | giaFanout.c | 240 Vec_Int_t * vCounts; in Gia_ManStaticFanoutStart() local
|
| H A D | giaMuxes.c | 545 Vec_Int_t * vVec, * vCounts; in Gia_ManMuxProfile() local
|
| H A D | giaMan.c | 1155 Vec_Int_t * vCounts, * vSlacks = Gia_ManDfsSlacks( p ); in Gia_ManDfsSlacksPrint() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absRef.h | 68 Vec_Str_t * vCounts; // fanin counters member
|
| /dports/x11-toolkits/plib/plib-1.8.5/src/ssg/ |
| H A D | ssgVertSplitter.cxx | 193 int* vCounts = new int[_nVerts]; in splitAndCalcNormals() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigGlaPba.c | 498 Vec_Int_t * vCounts = Vec_IntStart( p->nFramesMax ); in Aig_Gla2ManCollect() local
|
| H A D | saigGlaPba2.c | 468 Vec_Int_t * vCounts = Vec_IntStart( p->nFramesMax ); in Aig_Gla3ManCollect() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/ |
| H A D | plaHash.c | 272 Vec_Int_t * vCounts = Vec_IntStart( Vec_WecSize(&p->vCubeLits) ); in Pla_ManComputeDistance1Int() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/tim/ |
| H A D | timMan.c | 647 Vec_Int_t * vCounts; in Tim_ManPrintStats() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcLutmin.c | 90 Vec_Int_t * vCounts; in Abc_NtkCheckAbsorb() local
|
| H A D | abcRec3.c | 1193 Vec_Int_t * vCounts = Vec_IntStart( Vec_MemEntryNum(p->vTtMem) ); in Lms_GiaCountTruths() local
1205 Vec_Int_t * vCounts = Lms_GiaCountTruths( p ); in Lms_GiaCollectUsefulCos() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcUnroll.c | 135 Vec_Int_t * vCounts = Vec_IntStart( RankMax+1 ); in Unr_ManProfileRanks() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmInt.h | 90 Vec_Int_t vCounts; // fanin counters member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
| H A D | vecPtr.h | 952 … p, int (*Vec_PtrSortCompare)(void**, void**), void (*Vec_PtrObjFree)(void*), Vec_Int_t * vCounts ) in Vec_PtrUniqify2()
|