Searched refs:Fra_ObjEqu (Results 1 – 1 of 1) sorted by relevance
743 static inline Aig_Obj_t * Fra_ObjEqu( Aig_Obj_t ** ppEquivs, Aig_Obj_t * pObj ) … in Fra_ObjEqu() function746 …ld0Equ( Aig_Obj_t ** ppEquivs, Aig_Obj_t * pObj ) { return Aig_NotCond(Fra_ObjEqu(ppEquivs,Aig_Obj… in Fra_ObjChild0Equ()747 …ld1Equ( Aig_Obj_t ** ppEquivs, Aig_Obj_t * pObj ) { return Aig_NotCond(Fra_ObjEqu(ppEquivs,Aig_Obj… in Fra_ObjChild1Equ()768 pObjNew = Fra_ObjEqu( ppEquivs, pObj ); in Fra_ClassesDeriveNode()770 pObjReprNew = Fra_ObjEqu( ppEquivs, pObjRepr ); in Fra_ClassesDeriveNode()