Searched defs:ppNexts (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigStrSim.c | 33 static inline Aig_Obj_t * Saig_ObjNext( Aig_Obj_t ** ppNexts, Aig_Obj_t * pObj ) … in Saig_ObjNext()
34 static inline void Saig_ObjSetNext( Aig_Obj_t ** ppNexts, Aig_Obj_t * pObj, Aig_Obj_t * pNe… in Saig_ObjSetNext()
345 Aig_Obj_t * Saig_StrSimTableLookup( Aig_Obj_t ** ppTable, Aig_Obj_t ** ppNexts, int nTableSize, Aig… in Saig_StrSimTableLookup()
369 void Saig_StrSimTableInsert( Aig_Obj_t ** ppTable, Aig_Obj_t ** ppNexts, int nTableSize, Aig_Obj_t … in Saig_StrSimTableInsert()
396 Aig_Obj_t ** ppTable, ** ppNexts, ** ppCands; in Saig_StrSimDetectUnique() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraClass.c | 42 static inline Aig_Obj_t * Fra_ObjNext( Aig_Obj_t ** ppNexts, Aig_Obj_t * pObj ) … in Fra_ObjNext()
43 static inline void Fra_ObjSetNext( Aig_Obj_t ** ppNexts, Aig_Obj_t * pObj, Aig_Obj_t * pNex… in Fra_ObjSetNext()
278 Aig_Obj_t ** ppTable, ** ppNexts; in Fra_ClassesPrepare() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
| H A D | dchClass.c | 63 static inline Aig_Obj_t * Dch_ObjNext( Aig_Obj_t ** ppNexts, Aig_Obj_t * pObj ) … in Dch_ObjNext()
64 static inline void Dch_ObjSetNext( Aig_Obj_t ** ppNexts, Aig_Obj_t * pObj, Aig_Obj_t * pNex… in Dch_ObjSetNext()
338 Aig_Obj_t ** ppTable, ** ppNexts, ** ppClassNew; in Dch_ClassesPrepare() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswClass.c | 65 static inline Aig_Obj_t * Ssw_ObjNext( Aig_Obj_t ** ppNexts, Aig_Obj_t * pObj ) … in Ssw_ObjNext()
66 static inline void Ssw_ObjSetNext( Aig_Obj_t ** ppNexts, Aig_Obj_t * pObj, Aig_Obj_t * pNex… in Ssw_ObjSetNext()
503 Aig_Obj_t ** ppTable, ** ppNexts, ** ppClassNew; in Ssw_ClassesPrepareRehash() local
|