Home
last modified time | relevance | path

Searched refs:Ivy_ObjIsNode (Results 1 – 17 of 17) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyDfs.c178 assert( Ivy_ObjIsNode(pObj) ); in Ivy_ManCollectCone_rec()
200 assert( Ivy_ObjIsNode(pObj) ); in Ivy_ManCollectCone()
233 if ( Ivy_ObjIsNode(pObj) ) in Ivy_ManLevelize()
335 assert( Ivy_ObjIsNode(pObj) || Ivy_ObjIsBuf(pObj) ); in Ivy_ManIsAcyclic_rec()
344 if ( Ivy_ObjIsNode(pObj) && !Ivy_ManIsAcyclic_rec(p, Ivy_ObjFanin1(pObj)) ) in Ivy_ManIsAcyclic_rec()
425 else if ( Ivy_ObjIsNode(pObj) ) in Ivy_ManSetLevels_rec()
480 if ( (Ivy_ObjIsNode(pObj) || Ivy_ObjIsBuf(pObj)) && Ivy_ObjRefs(pObj) == 0 ) in Ivy_ManSetLevels()
H A DivyObj.c94 if ( Ivy_ObjIsNode(pObj) ) in Ivy_ObjCreate()
103 if ( Ivy_ObjIsNode(pObj) ) in Ivy_ObjCreate()
108 if ( Ivy_ObjIsNode(pObj) ) in Ivy_ObjCreate()
361 assert( Ivy_ObjIsNode(pObjOld) ); in Ivy_ObjReplace()
460 if ( Ivy_ObjIsNode(pNode) ) in Ivy_NodeFixBufferFanins()
H A DivyCut.c69 assert( Ivy_ObjIsNode(pNode) ); in Ivy_NodeGetLeafCostOne()
143 assert( Ivy_ObjIsNode(pNode) || Ivy_ObjIsLatch(pNode) || Ivy_ObjIsBuf(pNode) ); in Ivy_ManSeqFindCut_int()
157 assert( Ivy_ObjIsNode(pNode) ); in Ivy_ManSeqFindCut_int()
186 assert( Ivy_ObjIsNode(pRoot) ); in Ivy_ManSeqFindCut()
245 assert( Ivy_ObjIsNode(pObj) ); in Ivy_ManFindBoolCut_rec()
481 if ( !Ivy_ObjIsNode(pObj) ) in Ivy_ManTestCutsBool()
977 if ( !Ivy_ObjIsNode(pObj) ) in Ivy_ManTestCutsAll()
H A DivyFastMap.c239 if ( !Ivy_ObjIsNode(pObj) ) in Ivy_FastMapDelay()
318 return Ivy_ObjIsNode(pObj) && Ivy_ObjRefs(pObj) == 1; in Ivy_ObjIsNodeInt1()
380 assert( Ivy_ObjIsNode(pObj) ); in Ivy_FastMapNodeArea2()
452 assert( Ivy_ObjIsNode(pObj) ); in Ivy_FastMapNodeArea()
546 assert( Ivy_ObjIsNode(pObj) ); in Ivy_FastMapNode()
1044 assert( Ivy_ObjIsNode(pObj) ); in Ivy_FastMapNodeAreaRefed()
1070 assert( Ivy_ObjIsNode(pObj) ); in Ivy_FastMapNodeAreaDerefed()
1122 assert( Ivy_ObjIsNode(pObj) ); in Ivy_FastMapMark_rec()
1142 assert( Ivy_ObjIsNode(pObj) ); in Ivy_FastMapNodeWillGrow()
1164 assert( Ivy_ObjIsNode(pObj) ); in Ivy_FastMapNodeFaninCost()
[all …]
H A DivyUtil.c275 assert( Ivy_ObjIsNode(pObj) ); in Ivy_ManResetLevels_rec()
323 assert( Ivy_ObjIsNode(pNode) || Ivy_ObjIsBuf(pNode) || Ivy_ObjIsLatch(pNode) ); in Ivy_ObjRefDeref()
327 Counter = Ivy_ObjIsNode(pNode); in Ivy_ObjRefDeref()
363 assert( Ivy_ObjIsNode( pNode ) ); in Ivy_ObjMffcLabel()
388 assert( Ivy_ObjIsNode(pObj) ); in Ivy_ObjUpdateLevel_rec()
449 assert( Ivy_ObjIsNode(pObj) || Ivy_ObjIsBuf(pObj) ); in Ivy_ObjUpdateLevelR_rec()
H A DivyRwrAlg.c70 if ( !Ivy_ObjIsNode(pObj) || Ivy_ObjIsExor(pObj) || Ivy_ObjIsMuxType(pObj) ) in Ivy_ManRewriteAlg()
313 assert( Ivy_ObjIsNode(pObj) ); in Ivy_ManFindAlgCut_rec()
355 assert( Ivy_ObjIsNode(pRoot) ); in Ivy_ManFindAlgCut()
H A DivyShow.c279 if ( !Ivy_ObjIsNode(pNode) && !Ivy_ObjIsCo(pNode) && !Ivy_ObjIsBuf(pNode) ) in Ivy_WriteDotAig()
291 if ( !Ivy_ObjIsNode(pNode) ) in Ivy_WriteDotAig()
H A DivySeq.c199 assert( Ivy_ObjIsNode(pFanin) || Ivy_ObjIsCi(pFanin) || Ivy_ObjIsConst1(pFanin) ); in Ivy_NodeRewriteSeq()
576 assert( Ivy_ObjIsNode(pObj) || Ivy_ObjIsBuf(pObj) ); in Ivy_CutGetTruth_rec()
604 assert( Ivy_ObjIsNode(pObj) ); in Ivy_CutGetTruth()
1061 assert( Ivy_ObjIsNode(pLeaf) ); in Ivy_CutComputeForNode()
1123 if ( !Ivy_ObjIsNode(pObj) ) in Ivy_CutComputeAll()
H A DivyBalance.c137 assert( Ivy_ObjIsNode(pObjOld) ); in Ivy_NodeBalance_rec()
233 assert( Ivy_ObjIsNode(pObj) ); in Ivy_NodeBalanceCone_rec()
H A DivyCutTrav.c282 assert( Ivy_ObjIsNode(pObj) ); in Ivy_NodeComputeVolume2()
453 if ( !Ivy_ObjIsNode(pObj) ) in Ivy_ManTestCutsTravAll()
H A DivyCanon.c53 assert( Ivy_ObjIsNode(pGhost) ); in Ivy_CanonPair_rec()
H A DivyMan.c271 if ( Ivy_ObjIsNode(pNode) || Ivy_ObjIsLatch(pNode) || Ivy_ObjIsBuf(pNode) ) in Ivy_ManCleanup()
344 assert( Ivy_ObjIsNode(pObj) || Ivy_ObjIsLatch(pObj) || Ivy_ObjIsBuf(pObj) ); in Ivy_ManCleanupSeq()
H A DivyRwr.c207 assert( Ivy_ObjIsNode(pFanin) || Ivy_ObjIsCi(pFanin) ); in Ivy_NodeRewrite()
320 assert( Ivy_ObjIsNode(pObj) || Ivy_ObjIsBuf(pObj) ); in Ivy_NodeGetTruth_rec()
H A DivyCheck.c153 if ( Ivy_ObjIsNode(pObj) ) in Ivy_ManCheckFanoutNums()
H A DivyFraig.c581 if ( Ivy_ObjIsNode(pObj) ) in Ivy_FraigStart()
1188 if ( !Ivy_ObjIsPi(pObj) && !Ivy_ObjIsNode(pObj) ) in Ivy_FraigCreateClasses()
1214 if ( !Ivy_ObjIsConst1(pObj) && !Ivy_ObjIsPi(pObj) && !Ivy_ObjIsNode(pObj) ) in Ivy_FraigCreateClasses()
2440 assert( Ivy_ObjIsNode( pNode ) ); in Ivy_FraigAddClausesSuper()
2530 if ( Ivy_ObjIsNode(pObj) ) in Ivy_FraigObjAddToFrontier()
H A DivyHaig.c230 … if ( Ivy_ObjIsNode(pObjNew) && Ivy_ObjIsInTfi_rec( Ivy_ObjFanin1(pObjNew), pObjOld, Levels - 1 ) ) in Ivy_ObjIsInTfi_rec()
H A Divy.h245 static inline int Ivy_ObjIsNode( Ivy_Obj_t * pObj ) { return pObj->Type == IVY_AND ||… in Ivy_ObjIsNode() function
403 Ivy_ManForEachObj( p, pObj, i ) if ( !Ivy_ObjIsNode(pObj) ) {} else