Searched refs:Gia_ObjIsAndReal (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaBalAig.c | 147 !Gia_ObjIsAndReal(p, pObj) || in Gia_ManSuperCollectAnd_rec()
177 else if ( Gia_ObjIsAndReal(p, pObj) ) in Gia_ManSuperCollect()
599 else if ( Gia_ObjIsAndReal(p->pGia, pObj) ) in Dam_ManCreateMultiRefs()
634 else if ( Gia_ObjIsAndReal(p->pGia, pObj) ) in Dam_ManCreatePairs()
776 assert( Gia_ObjIsXor(pObj) || Gia_ObjIsAndReal(p, pObj) ); in Dam_ManMultiAig_rec()
|
| H A D | giaBalLut.c | 743 !Gia_ObjIsAndReal(p, pObj) || in Gia_ManSuperCollectAnd_rec()
773 else if ( Gia_ObjIsAndReal(p, pObj) ) in Gia_ManSuperCollect()
|
| H A D | giaStr.c | 591 !Gia_ObjIsAndReal(p, pObj) || in Gia_ManSuperCollectAnd_rec()
617 else if ( Gia_ObjIsAndReal(p, pObj) ) in Gia_ManSuperCollect()
|
| H A D | gia.h | 487 static inline int Gia_ObjIsAndReal( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjIsAn… in Gia_ObjIsAndReal() function
|