| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigUtil.c | 248 Aig_ObjCollectMulti_rec( pRoot, Aig_ObjChild0(pObj), vSuper ); in Aig_ObjCollectMulti_rec()
325 *ppFan0 = Aig_ObjChild0(pObj); in Aig_ObjRecognizeExor()
330 p0 = Aig_ObjChild0(pObj); in Aig_ObjRecognizeExor()
342 *ppFan0 = Aig_ObjChild0(p0); in Aig_ObjRecognizeExor()
376 *ppNodeT = Aig_Not(Aig_ObjChild0(pNode1));//pNode2->p1); in Aig_ObjRecognizeMux()
377 *ppNodeE = Aig_Not(Aig_ObjChild0(pNode0));//pNode1->p1); in Aig_ObjRecognizeMux()
394 return Aig_ObjChild0(pNode1);//pNode2->p1; in Aig_ObjRecognizeMux()
400 return Aig_ObjChild0(pNode0);//pNode1->p1; in Aig_ObjRecognizeMux()
416 return Aig_ObjChild0(pNode0);//pNode1->p1; in Aig_ObjRecognizeMux()
426 return Aig_ObjChild0(pNode1);//pNode2->p1; in Aig_ObjRecognizeMux()
[all …]
|
| H A D | aigTable.c | 62 assert( Aig_ObjChild0(pObj) && Aig_ObjChild1(pObj) == NULL ); in Aig_TableFind()
66 assert( Aig_ObjChild0(pObj) && Aig_ObjChild1(pObj) ); in Aig_TableFind()
142 assert( Aig_ObjChild0(pGhost) && Aig_ObjChild1(pGhost) == NULL ); in Aig_TableLookup()
149 assert( Aig_ObjChild0(pGhost) && Aig_ObjChild1(pGhost) ); in Aig_TableLookup()
156 if ( Aig_ObjChild0(pEntry) == Aig_ObjChild0(pGhost) && in Aig_TableLookup()
|
| H A D | aigSeq.c | 72 pLatch = Aig_Latch( p, Aig_ObjChild0(pObjLi), pInits? pInits[i] : 0 ); in Aig_ManSeqStrashConvert()
367 pFanin0 = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Aig_ManSeqRehashOne()
375 pObjNew = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Aig_ManSeqRehashOne()
386 pFanin0 = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Aig_ManSeqRehashOne()
422 pFanin0 = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Aig_ManRemoveBuffers()
429 pFanin0 = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Aig_ManRemoveBuffers()
437 pFanin0 = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Aig_ManRemoveBuffers()
|
| H A D | aigOper.c | 58 *ppFan0 = Aig_ObjChild0(p0); in Aig_ObjIsExorType()
140 …pResult = Aig_Oper( p, Aig_NotCond(Aig_ObjChild0(pLat0), fCompl0), Aig_NotCond(Aig_ObjChild0(pLat1… in Aig_CanonPair_rec()
173 pFanA = Aig_ObjChild0(Aig_Regular(p0)); in Aig_And()
175 pFanC = Aig_ObjChild0(Aig_Regular(p1)); in Aig_And()
|
| H A D | aigObj.c | 305 pFanReal0 = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Aig_NodeFixBufferFanins()
306 assert( Aig_ObjPhaseReal(Aig_ObjChild0(pObj)) == Aig_ObjPhaseReal(pFanReal0) ); in Aig_NodeFixBufferFanins()
313 pFanReal0 = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Aig_NodeFixBufferFanins()
|
| H A D | aigCheck.c | 174 …assert( (int)pObj->fPhase == (Aig_ObjPhaseReal(Aig_ObjChild0(pObj)) & Aig_ObjPhaseReal(Aig_ObjChil… in Aig_ManCheckPhase()
|
| H A D | aigWin.c | 167 assert( Aig_ObjChild0(pRoot) ); in Aig_ManFindCut()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigUtil.c | 274 Aig_ObjCollectMulti_rec( pRoot, Aig_ObjChild0(pObj), vSuper ); in Aig_ObjCollectMulti_rec()
351 *ppFan0 = Aig_ObjChild0(pObj); in Aig_ObjRecognizeExor()
356 p0 = Aig_ObjChild0(pObj); in Aig_ObjRecognizeExor()
368 *ppFan0 = Aig_ObjChild0(p0); in Aig_ObjRecognizeExor()
402 *ppNodeT = Aig_Not(Aig_ObjChild0(pNode1));//pNode2->p1); in Aig_ObjRecognizeMux()
403 *ppNodeE = Aig_Not(Aig_ObjChild0(pNode0));//pNode1->p1); in Aig_ObjRecognizeMux()
420 return Aig_ObjChild0(pNode1);//pNode2->p1; in Aig_ObjRecognizeMux()
426 return Aig_ObjChild0(pNode0);//pNode1->p1; in Aig_ObjRecognizeMux()
442 return Aig_ObjChild0(pNode0);//pNode1->p1; in Aig_ObjRecognizeMux()
452 return Aig_ObjChild0(pNode1);//pNode2->p1; in Aig_ObjRecognizeMux()
[all …]
|
| H A D | aigTable.c | 45 assert( Aig_ObjChild0(pObj) && Aig_ObjChild1(pObj) ); in Aig_TableFind()
121 assert( Aig_ObjChild0(pGhost) && Aig_ObjChild1(pGhost) ); in Aig_TableLookup()
127 if ( Aig_ObjChild0(pEntry) == Aig_ObjChild0(pGhost) && in Aig_TableLookup()
|
| H A D | aigRetF.c | 154 pObjLo0 = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Aig_ManRetimeFrontier()
165 … pObjLi0 = Aig_NotCond( Aig_ObjChild0(Aig_Regular(pObjLo0)->pNext), Aig_IsComplement(pObjLo0) ); in Aig_ManRetimeFrontier()
166 … pObjLi1 = Aig_NotCond( Aig_ObjChild0(Aig_Regular(pObjLo1)->pNext), Aig_IsComplement(pObjLo1) ); in Aig_ManRetimeFrontier()
|
| H A D | aigFact.c | 53 Aig_ManFindImplications_rec( Aig_ObjChild0(pObj), vImplics ); in Aig_ManFindImplications_rec()
200 pNodeA = Aig_ObjChild0( pPoA ); in Aig_ManFactorAlgebraic_int()
551 Aig_SuppMinCollectSuper_rec( Aig_ObjChild0(pObj), vSuper ); in Aig_SuppMinCollectSuper_rec()
572 Aig_SuppMinCollectSuper_rec( Aig_ObjChild0(pObj), vSuper ); in Aig_SuppMinCollectSuper()
|
| H A D | aigObj.c | 400 pFanReal0 = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Aig_NodeFixBufferFanins()
401 assert( Aig_ObjPhaseReal(Aig_ObjChild0(pObj)) == Aig_ObjPhaseReal(pFanReal0) ); in Aig_NodeFixBufferFanins()
408 pFanReal0 = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Aig_NodeFixBufferFanins()
|
| H A D | aigCheck.c | 159 …assert( (int)pObj->fPhase == (Aig_ObjPhaseReal(Aig_ObjChild0(pObj)) & Aig_ObjPhaseReal(Aig_ObjChil… in Aig_ManCheckPhase()
|
| H A D | aigWin.c | 152 assert( Aig_ObjChild0(pRoot) ); in Aig_ManFindCut()
|
| H A D | aigOper.c | 43 *ppFan0 = Aig_ObjChild0(p0); in Aig_ObjIsExorType()
121 pFanA = Aig_ObjChild0(Aig_Regular(p0)); in Aig_And()
123 pFanC = Aig_ObjChild0(Aig_Regular(p1)); in Aig_And()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigConstr.c | 94 Saig_DetectConstrCollectSuper_rec( Aig_ObjChild0(pObj), vSuper ); in Saig_DetectConstrCollectSuper_rec()
115 Saig_DetectConstrCollectSuper_rec( Aig_ObjChild0(pObj), vSuper ); in Saig_DetectConstrCollectSuper()
166 pObj = Aig_ObjChild0( Aig_ManCo(p, iOut) ); in Saig_ManDetectConstr()
199 pObj2 = Aig_ObjChild0( pFlop ); in Saig_ManDetectConstr()
|
| H A D | saigRetStep.c | 75 pInput0 = Aig_ObjChild0( pInput0 ); in Saig_ManRetimeNodeFwd()
76 pInput1 = Aig_ObjChild0( pInput1 ); in Saig_ManRetimeNodeFwd()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswSweep.c | 97 Ssw_NodesAreConstrained( p, Aig_ObjChild0(pObj), Aig_ObjChild0(pObj2) ); in Ssw_CheckConstraints()
393 Ssw_NodesAreConstrained( p, Aig_ObjChild0(pObj), Aig_ObjChild0(pObj2) ); in Ssw_ManSweep()
|
| H A D | sswDyn.c | 190 Ssw_NodesAreConstrained( p, Aig_ObjChild0(pObj0), Aig_ObjChild0(pObj1) ); in Ssw_ManLoadSolver()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrClass.c | 102 if ( Aig_ObjChild0(pObj) == Aig_ManConst0(p) ) in Pdr_ManCreateMap()
205 Aig_ObjChild0(Aig_ManCo(pTemp,0)) == Aig_ManConst0(pTemp) ? "proof" : "unknown" ); in Pdr_ManEquivClasses()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
| H A D | darBalance.c | 115 Dar_BalanceCone_rec( pRoot, Aig_ObjReal_rec( Aig_ObjChild0(pObj) ), vSuper ); in Dar_BalanceCone_rec()
596 pDriver = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Dar_ManBalance()
629 pDriver = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Dar_ManBalance()
648 pDriver = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Dar_ManBalance()
|
| /dports/math/stp/stp-2.3.3/lib/Simplifier/ |
| H A D | AIGSimplifyPropositionalCore.cpp | 118 nf->CreateNode(AND, convert(mgr, Aig_ObjChild0(obj), cache), in convert()
128 return convert(mgr, Aig_ObjChild0(obj), cache); in convert()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/ |
| H A D | darBalance.c | 89 pDriver = Aig_ObjReal_rec( Aig_ObjChild0(pObj) ); in Dar_ManBalance()
185 RetValue1 = Dar_BalanceCone_rec( pRoot, Aig_ObjReal_rec( Aig_ObjChild0(pObj) ), vSuper ); in Dar_BalanceCone_rec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
| H A D | liveness_sim.c | 383 …pDriverImage = Aig_NotCond((Aig_Obj_t *)Aig_Regular(Aig_ObjChild0( pObj ))->pData, Aig_ObjFaninC0(… in LivenessToSafetyTransformationSim()
424 …pDriverImage = Aig_NotCond((Aig_Obj_t *)Aig_Regular(Aig_ObjChild0( pObj ))->pData, Aig_ObjFaninC0(… in LivenessToSafetyTransformationSim()
638 …pDriverImage = Aig_NotCond((Aig_Obj_t *)Aig_Regular(Aig_ObjChild0( pObj ))->pData, Aig_ObjFaninC0(… in LivenessToSafetyTransformationOneStepLoopSim()
662 …pDriverImage = Aig_NotCond((Aig_Obj_t *)Aig_Regular(Aig_ObjChild0( pObj ))->pData, Aig_ObjFaninC0(… in LivenessToSafetyTransformationOneStepLoopSim()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraCore.c | 70 pChild = Aig_ObjChild0(pObj); in Fra_FraigMiterStatus()
131 pChild = Aig_ObjChild0(pObj); in Fra_FraigMiterAssertedOutput()
|