Searched refs:Ivy_ObjIsTravIdCurrent (Results 1 – 6 of 6) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyFastMap.c | 1120 if ( Ivy_ObjIsTravIdCurrent(pAig, pObj) ) in Ivy_FastMapMark_rec() 1145 return !Ivy_ObjIsTravIdCurrent(pAig, pFanin0) && !Ivy_ObjIsTravIdCurrent(pAig, pFanin1); in Ivy_FastMapNodeWillGrow() 1172 if ( !Ivy_ObjIsTravIdCurrent(pAig, pFanin) && pSuppF->nRefs == 0 ) in Ivy_FastMapNodeFaninCost() 1177 if ( !Ivy_ObjIsTravIdCurrent(pAig, pFanin) && pSuppF->nRefs == 0 ) in Ivy_FastMapNodeFaninCost() 1199 if ( !Ivy_ObjIsTravIdCurrent(pAig, pFanin) ) in Ivy_FastMapNodeFaninUpdate() 1205 if ( !Ivy_ObjIsTravIdCurrent(pAig, pFanin) ) in Ivy_FastMapNodeFaninUpdate()
|
H A D | ivyDfs.c | 300 if ( Ivy_ObjIsTravIdCurrent(p, pObj) ) in Ivy_ManIsAcyclic_rec()
|
H A D | ivyRwr.c | 447 if ( pAnd == NULL || Ivy_ObjIsTravIdCurrent(p, Ivy_Regular(pAnd)) ) in Ivy_GraphToNetworkCount()
|
H A D | ivy.h | 257 static inline int Ivy_ObjIsTravIdCurrent( Ivy_Man_t * p, Ivy_Obj_t * pObj ) { return… in Ivy_ObjIsTravIdCurrent() function
|
H A D | ivySeq.c | 454 if ( pAnd == NULL || Ivy_ObjIsTravIdCurrent(p, Ivy_Regular(pAnd)) ) in Ivy_GraphToNetworkSeqCountSeq()
|
H A D | ivyFraig.c | 2608 if ( Ivy_ObjIsTravIdCurrent(p->pManFraig, pObj) ) in Ivy_FraigSetActivityFactors_rec()
|