Home
last modified time | relevance | path

Searched defs:ppEquivs (Results 1 – 1 of 1) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraClass.c743 static inline Aig_Obj_t * Fra_ObjEqu( Aig_Obj_t ** ppEquivs, Aig_Obj_t * pObj ) … in Fra_ObjEqu()
744 static inline void Fra_ObjSetEqu( Aig_Obj_t ** ppEquivs, Aig_Obj_t * pObj, Aig_Obj_t * pNode… in Fra_ObjSetEqu()
746 static inline Aig_Obj_t * Fra_ObjChild0Equ( Aig_Obj_t ** ppEquivs, Aig_Obj_t * pObj ) { return Aig_… in Fra_ObjChild0Equ()
747 static inline Aig_Obj_t * Fra_ObjChild1Equ( Aig_Obj_t ** ppEquivs, Aig_Obj_t * pObj ) { return Aig_… in Fra_ObjChild1Equ()
760 …inline void Fra_ClassesDeriveNode( Aig_Man_t * pManFraig, Aig_Obj_t * pObj, Aig_Obj_t ** ppEquivs ) in Fra_ClassesDeriveNode()
800 Aig_Obj_t ** pLatches, ** ppEquivs; in Fra_ClassesDeriveAig() local