Searched refs:Ivy_ObjIsNode (Results 1 – 17 of 17) sorted by relevance
178 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()
94 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()
69 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()
239 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 …]
275 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()
70 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()
279 if ( !Ivy_ObjIsNode(pNode) && !Ivy_ObjIsCo(pNode) && !Ivy_ObjIsBuf(pNode) ) in Ivy_WriteDotAig()291 if ( !Ivy_ObjIsNode(pNode) ) in Ivy_WriteDotAig()
199 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()
137 assert( Ivy_ObjIsNode(pObjOld) ); in Ivy_NodeBalance_rec()233 assert( Ivy_ObjIsNode(pObj) ); in Ivy_NodeBalanceCone_rec()
282 assert( Ivy_ObjIsNode(pObj) ); in Ivy_NodeComputeVolume2()453 if ( !Ivy_ObjIsNode(pObj) ) in Ivy_ManTestCutsTravAll()
53 assert( Ivy_ObjIsNode(pGhost) ); in Ivy_CanonPair_rec()
271 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()
207 assert( Ivy_ObjIsNode(pFanin) || Ivy_ObjIsCi(pFanin) ); in Ivy_NodeRewrite()320 assert( Ivy_ObjIsNode(pObj) || Ivy_ObjIsBuf(pObj) ); in Ivy_NodeGetTruth_rec()
153 if ( Ivy_ObjIsNode(pObj) ) in Ivy_ManCheckFanoutNums()
581 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()
230 … if ( Ivy_ObjIsNode(pObjNew) && Ivy_ObjIsInTfi_rec( Ivy_ObjFanin1(pObjNew), pObjOld, Levels - 1 ) ) in Ivy_ObjIsInTfi_rec()
245 static inline int Ivy_ObjIsNode( Ivy_Obj_t * pObj ) { return pObj->Type == IVY_AND ||… in Ivy_ObjIsNode() function403 Ivy_ManForEachObj( p, pObj, i ) if ( !Ivy_ObjIsNode(pObj) ) {} else