| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/ |
| H A D | darBalance.c | 71 Vec_Vec_t * vStore; in Dar_ManBalance() local
115 Aig_Obj_t * Dar_Balance_rec( Aig_Man_t * pNew, Aig_Obj_t * pObjOld, Vec_Vec_t * vStore, int Level, … in Dar_Balance_rec()
204 Vec_Ptr_t * Dar_BalanceCone( Aig_Obj_t * pObj, Vec_Vec_t * vStore, int Level ) in Dar_BalanceCone()
393 void Dar_BalancePushUniqueOrderByLevel( Vec_Ptr_t * vStore, Aig_Obj_t * pObj ) in Dar_BalancePushUniqueOrderByLevel()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
| H A D | hopBalance.c | 55 Vec_Vec_t * vStore; in Hop_ManBalance() local
94 Hop_Obj_t * Hop_NodeBalance_rec( Hop_Man_t * pNew, Hop_Obj_t * pObjOld, Vec_Vec_t * vStore, int Lev… in Hop_NodeBalance_rec()
182 Vec_Ptr_t * Hop_NodeBalanceCone( Hop_Obj_t * pObj, Vec_Vec_t * vStore, int Level ) in Hop_NodeBalanceCone()
376 void Hop_NodeBalancePushUniqueOrderByLevel( Vec_Ptr_t * vStore, Hop_Obj_t * pObj ) in Hop_NodeBalancePushUniqueOrderByLevel()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyBalance.c | 55 Vec_Vec_t * vStore; in Ivy_ManBalance() local
125 int Ivy_NodeBalance_rec( Ivy_Man_t * pNew, Ivy_Obj_t * pObjOld, Vec_Vec_t * vStore, int Level, int … in Ivy_NodeBalance_rec()
254 Vec_Ptr_t * Ivy_NodeBalanceCone( Ivy_Obj_t * pObj, Vec_Vec_t * vStore, int Level ) in Ivy_NodeBalanceCone()
389 void Ivy_NodeBalancePushUniqueOrderByLevel( Vec_Ptr_t * vStore, Ivy_Obj_t * pObj ) in Ivy_NodeBalancePushUniqueOrderByLevel()
|
| H A D | ivyCutTrav.c | 50 … Vec_Ptr_t * vNodes, Vec_Ptr_t * vFront, Vec_Int_t * vStore, Vec_Vec_t * vBitCuts ) in Ivy_NodeFindCutsTravAll()
141 unsigned * Ivy_NodeCutElementary( Vec_Int_t * vStore, int nWords, int NodeId ) in Ivy_NodeCutElementary()
384 int nLeaves, int nWords, Vec_Int_t * vStore ) in Ivy_NodeFindCutsMerge()
439 Vec_Int_t * vStore; in Ivy_ManTestCutsTravAll() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcFanOrder.c | 49 Vec_Str_t * vStore; in Abc_NtkOrderFaninsById() local
103 void Abc_NtkSopTranspose( char * pSop, int nVars, Vec_Ptr_t * vCubes, Vec_Str_t * vStore ) in Abc_NtkSopTranspose()
147 Vec_Str_t * vStore; in Abc_NtkOrderFaninsBySortingColumns() local
236 Vec_Str_t * vStore; in Abc_NtkOrderFaninsByLitCount() local
312 Vec_Str_t * vStore; in Abc_NtkOrderFaninsByLitCountAndCubeCount() local
466 void Abc_NodeSortCubes( Abc_Obj_t * pNode, Vec_Ptr_t * vCubes, Vec_Str_t * vStore, int fWeight ) in Abc_NodeSortCubes()
496 Vec_Str_t * vStore; in Abc_NtkSortCubes() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
| H A D | darBalance.c | 119 Vec_Ptr_t * Dar_BalanceCone( Aig_Obj_t * pObj, Vec_Vec_t * vStore, int Level ) in Dar_BalanceCone()
366 void Dar_BalancePushUniqueOrderByLevel( Vec_Ptr_t * vStore, Aig_Obj_t * pObj, int fExor ) in Dar_BalancePushUniqueOrderByLevel()
502 Aig_Obj_t * Dar_Balance_rec( Aig_Man_t * pNew, Aig_Obj_t * pObjOld, Vec_Vec_t * vStore, int Level, … in Dar_Balance_rec()
558 Vec_Vec_t * vStore; in Dar_ManBalance() local
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/ |
| H A D | kitIsop.c | 131 …uthIsop_rec( unsigned * puOn, unsigned * puOnDc, int nVars, Kit_Sop_t * pcRes, Vec_Int_t * vStore ) in Kit_TruthIsop_rec()
255 …it_TruthIsop5_rec( unsigned uOn, unsigned uOnDc, int nVars, Kit_Sop_t * pcRes, Vec_Int_t * vStore ) in Kit_TruthIsop5_rec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcFraig.c | 656 Vec_Ptr_t * vStore; in Abc_NtkFraigStore() local
702 Vec_Ptr_t * vStore; in Abc_NtkFraigRestore() local
768 Vec_Ptr_t * vStore; in Abc_NtkFraigStoreClean() local
|
| H A D | abcPart.c | 1098 Abc_Ntk_t * Abc_NtkFraigPartitioned( Vec_Ptr_t * vStore, void * pParams ) in Abc_NtkFraigPartitioned()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitIsop.c | 215 …uthIsop_rec( unsigned * puOn, unsigned * puOnDc, int nVars, Kit_Sop_t * pcRes, Vec_Int_t * vStore ) in Kit_TruthIsop_rec()
342 …it_TruthIsop5_rec( unsigned uOn, unsigned uOnDc, int nVars, Kit_Sop_t * pcRes, Vec_Int_t * vStore ) in Kit_TruthIsop5_rec()
|
| H A D | kitCloud.c | 229 unsigned * Kit_CloudToTruth( Vec_Int_t * vNodes, int nVars, Vec_Ptr_t * vStore, int fInv ) in Kit_CloudToTruth()
264 unsigned ** pInputs, int nVarsAll, Vec_Ptr_t * vStore, Vec_Int_t * vNodes ) in Kit_TruthCompose()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbdSim.c | 220 Vec_Mem_t * vStore; in Sbd_GiaSimRound() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/ |
| H A D | plaSimple.c | 189 Vec_Int_t * vStore = Vec_IntAlloc( 1000 ); in Pla_ManFxMinimize() local
|
| /dports/games/avanor/avanor-0.5.8/global/ |
| H A D | global.cpp | 513 void vStore(V_BUFFER * buf) in vStore() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaFrames.c | 54 Vec_Int_t * vStore; // store for saved data member
|
| H A D | giaNf.c | 182 … * pCell, word uTruth, int * pFans, int nFans, Vec_Wec_t * vProfs, Vec_Int_t * vStore, int fPinFil… in Nf_StoCreateGateAdd()
248 …ll, int ** pComp, int ** pPerm, int * pnPerms, Vec_Wec_t * vProfs, Vec_Int_t * vStore, int fPinFil… in Nf_StoCreateGateMaches()
286 Vec_Int_t * vStore = Vec_IntAlloc( 10000 ); in Nf_StoDeriveMatches() local
|
| H A D | giaSimBase.c | 265 Vec_Mem_t * vStore; in Gia_ManSimPatHashPatterns() local
|
| H A D | gia.h | 229 Vec_Int_t * vStore; // node storage member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/main/ |
| H A D | mainInt.h | 94 Vec_Ptr_t * vStore; // networks to be used by choice member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmLib.c | 61 Vec_Int_t vStore; // storage for area/delay profiles member
|