Searched refs:Hsh_VecMan_t (Results 1 – 13 of 13) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
| H A D | vecHsh.h | 85 typedef struct Hsh_VecMan_t_ Hsh_VecMan_t; typedef
450 static inline Hsh_VecMan_t * Hsh_VecManStart( int nEntries ) in Hsh_VecManStart()
452 Hsh_VecMan_t * p; in Hsh_VecManStart()
453 p = ABC_CALLOC( Hsh_VecMan_t, 1 ); in Hsh_VecManStart()
459 static inline void Hsh_VecManStop( Hsh_VecMan_t * p ) in Hsh_VecManStop()
466 static inline int * Hsh_VecReadArray( Hsh_VecMan_t * p, int i ) in Hsh_VecReadArray()
470 static inline Vec_Int_t * Hsh_VecReadEntry( Hsh_VecMan_t * p, int i ) in Hsh_VecReadEntry()
477 static inline Vec_Int_t * Hsh_VecReadEntry1( Hsh_VecMan_t * p, int i ) in Hsh_VecReadEntry1()
491 static inline int Hsh_VecSize( Hsh_VecMan_t * p ) in Hsh_VecSize()
516 static inline int Hsh_VecManAdd( Hsh_VecMan_t * p, Vec_Int_t * vVec ) in Hsh_VecManAdd()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecPo.c | 331 Vec_Wec_t * Gia_PolynGetResult( Hsh_VecMan_t * pHashC, Hsh_VecMan_t * pHashM, Vec_Int_t * vCoefs ) in Gia_PolynGetResult()
425 static inline void Gia_PolynMergeConst( Vec_Int_t * vTempC, Hsh_VecMan_t * pHashC, int iConstAdd ) in Gia_PolynMergeConst()
437 static inline int Gia_PolynBuildAdd( Hsh_VecMan_t * pHashC, Hsh_VecMan_t * pHashM, Vec_Int_t * vCoe… in Gia_PolynBuildAdd()
482 static inline int Gia_PolynHandleOne( Hsh_VecMan_t * pHashC, Hsh_VecMan_t * pHashM, Vec_Int_t * vCo… in Gia_PolynHandleOne()
517 Hsh_VecMan_t * pHashC = Hsh_VecManStart( 1000 ); // hash table for constants in Gia_PolynBuildNew2()
518 Hsh_VecMan_t * pHashM = Hsh_VecManStart( 1000 ); // hash table for monomials in Gia_PolynBuildNew2()
644 Hsh_VecMan_t * pHashC = Hsh_VecManStart( 1000 ); // hash table for constants in Gia_PolynBuildNew()
645 Hsh_VecMan_t * pHashM = Hsh_VecManStart( 1000 ); // hash table for monomials in Gia_PolynBuildNew()
|
| H A D | acecPolyn.c | 49 Hsh_VecMan_t * pHashC; // hash table for constants
50 Hsh_VecMan_t * pHashM; // hash table for monomials
430 Hsh_VecMan_t * pHashC = Hsh_VecManStart( 1000 ); // hash table for constants in Gia_PolynBuild2()
431 Hsh_VecMan_t * pHashM = Hsh_VecManStart( 1000 ); // hash table for monomials in Gia_PolynBuild2()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbd.c | 73 Hsh_VecMan_t * p = Hsh_VecManStart( 10000 ); // hash table for arrays in Sbd_CountTopos()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/ |
| H A D | Fxch.h | 103 Hsh_VecMan_t* pDivHash;
|
| H A D | Fxch.c | 41 Hsh_VecMan_t* pCubeHash; in Fxch_CubesGruping()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilPath.c | 460 Hsh_VecMan_t * pThis = Hsh_VecManStart( 1000 ); in Abc_GraphBuildFrontier()
461 Hsh_VecMan_t * pNext = Hsh_VecManStart( 1000 ); in Abc_GraphBuildFrontier()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaEsop.c | 40 Hsh_VecMan_t * pHash; // hash table for cubes
|
| H A D | giaMuxes.c | 834 Hsh_VecMan_t * pHash; in Gia_ManProfileHash()
|
| H A D | giaSatLut.c | 69 Hsh_VecMan_t * pHash; // hash table for windows
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDetect.c | 347 int Abc_NtkDetectObjClasses_rec( Abc_Obj_t * pObj, Vec_Int_t * vMap, Hsh_VecMan_t * pHash, Vec_Int_… in Abc_NtkDetectObjClasses_rec()
399 Hsh_VecMan_t * pHash = Hsh_VecManStart( 1000 ); in Abc_NtkDetectObjClasses()
|
| H A D | abcFx.c | 96 Hsh_VecMan_t * pHash; // hash table for normalized divisors
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
| H A D | wlnRetime.c | 133 Hsh_VecMan_t * p = Hsh_VecManStart( 10 ); in Wln_RetComputeFfClasses()
|