Searched refs:ppEquivs (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraClass.c | 743 …line Aig_Obj_t * Fra_ObjEqu( Aig_Obj_t ** ppEquivs, Aig_Obj_t * pObj ) { ret… in Fra_ObjEqu() argument
744 …inline void Fra_ObjSetEqu( Aig_Obj_t ** ppEquivs, Aig_Obj_t * pObj, Aig_Obj_t * pNode ) { p… in Fra_ObjSetEqu() argument
768 pObjNew = Fra_ObjEqu( ppEquivs, pObj ); in Fra_ClassesDeriveNode()
770 pObjReprNew = Fra_ObjEqu( ppEquivs, pObjRepr ); in Fra_ClassesDeriveNode()
800 Aig_Obj_t ** pLatches, ** ppEquivs; in Fra_ClassesDeriveAig() local
824 Fra_ClassesDeriveNode( pManFraig, pObj, ppEquivs ); in Fra_ClassesDeriveAig()
828 …pObjNew = Aig_And( pManFraig, Fra_ObjChild0Equ(ppEquivs, pObj), Fra_ObjChild1Equ(ppEquivs, pObj) ); in Fra_ClassesDeriveAig()
829 Fra_ObjSetEqu( ppEquivs, pObj, pObjNew ); in Fra_ClassesDeriveAig()
830 Fra_ClassesDeriveNode( pManFraig, pObj, ppEquivs ); in Fra_ClassesDeriveAig()
843 Fra_ObjSetEqu( ppEquivs, pObj, pLatches[k++] ); in Fra_ClassesDeriveAig()
[all …]
|