Searched refs:pFuncNodeHash (Results 1 – 6 of 6) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
| H A D | dchClass.c | 54 unsigned (*pFuncNodeHash) (void *,Aig_Obj_t *); // returns hash key of the node member
164 unsigned (*pFuncNodeHash)(void *,Aig_Obj_t *), // returns hash key of the node in Dch_ClassesSetData()
169 p->pFuncNodeHash = pFuncNodeHash; in Dch_ClassesSetData()
372 iEntry = p->pFuncNodeHash( p->pManData, pObj ) % nTableSize; in Dch_ClassesPrepare()
|
| H A D | dchInt.h | 130 unsigned (*pFuncNodeHash)(void *,Aig_Obj_t *),
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswClass.c | 56 unsigned (*pFuncNodeHash) (void *,Aig_Obj_t *); // returns hash key of the node member
168 unsigned (*pFuncNodeHash)(void *,Aig_Obj_t *), // returns hash key of the node in Ssw_ClassesSetData()
173 p->pFuncNodeHash = pFuncNodeHash; in Ssw_ClassesSetData()
529 iEntry = p->pFuncNodeHash( p->pManData, pObj ) % nTableSize; in Ssw_ClassesPrepareRehash()
|
| H A D | sswInt.h | 207 unsigned (*pFuncNodeHash)(void *,Aig_Obj_t *),
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraClass.c | 73 p->pFuncNodeHash = Fra_SmlNodeHash; in Fra_ClassesStart()
306 iEntry = p->pFuncNodeHash( pObj, nTableSize ); in Fra_ClassesPrepare()
|
| H A D | fra.h | 165 int (*pFuncNodeHash) (Aig_Obj_t *, int); // returns has key of the node member
|