Searched refs:Aig_ObjFindRepr (Results 1 – 2 of 2) sorted by relevance
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigRepr.c | 146 static inline Aig_Obj_t * Aig_ObjFindRepr( Aig_Man_t * p, Aig_Obj_t * pNode ) in Aig_ObjFindRepr() function
188 if ( (pRepr = Aig_ObjFindRepr(p, pNode)) ) in Aig_ObjFindReprTransitive()
189 while ( (pNext = Aig_ObjFindRepr(p, pRepr)) ) in Aig_ObjFindReprTransitive()
208 if ( (pRepr = Aig_ObjFindRepr(p, pObj)) ) in Aig_ObjRepr()
241 if ( (pRepr = Aig_ObjFindRepr(pOld, pObj)) ) in Aig_ManTransferRepr()
261 if ( (pRepr = Aig_ObjFindRepr(p, pObj)) ) in Aig_ManDupRepr_rec()
447 pRepr = Aig_ObjFindRepr( p, pObj ); in Aig_ManMarkValidChoices()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigRepr.c | 131 static inline Aig_Obj_t * Aig_ObjFindRepr( Aig_Man_t * p, Aig_Obj_t * pNode ) in Aig_ObjFindRepr() function
173 if ( (pRepr = Aig_ObjFindRepr(p, pNode)) ) in Aig_ObjFindReprTransitive()
174 while ( (pNext = Aig_ObjFindRepr(p, pRepr)) ) in Aig_ObjFindReprTransitive()
193 if ( (pRepr = Aig_ObjFindRepr(p, pObj)) ) in Aig_ObjGetRepr()
226 if ( (pRepr = Aig_ObjFindRepr(pOld, pObj)) ) in Aig_ManTransferRepr()
246 if ( (pRepr = Aig_ObjFindRepr(p, pObj)) ) in Aig_ManDupRepr_rec()
493 pRepr = Aig_ObjFindRepr( p, pObj ); in Aig_ManMarkValidChoices()
|