/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
H A D | llb1Reach.c | 52 if ( Aig_ObjFanin0(pNode) == Aig_ManConst1(pAig) ) in Llb_ManConstructOutBdd() 61 bBdd0 = Cudd_NotCond( Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0(pObj) ); in Llb_ManConstructOutBdd() 101 bBdd0 = Cudd_NotCond( Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0(pObj) ); in Llb_ManConstructGroupBdd() 118 bBdd0 = Cudd_NotCond( Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0(pObj) ); in Llb_ManConstructGroupBdd()
|
H A D | llb4Image.c | 461 Llb_Nonlin4CutNodes_rec(p, Aig_ObjFanin0(pObj), vNodes); in Llb_Nonlin4CutNodes_rec() 467 Llb_Nonlin4CutNodes_rec(p, Aig_ObjFanin0(pObj), vNodes); in Llb_Nonlin4CutNodes_rec()
|
H A D | llb2Image.c | 201 bBdd0 = Cudd_NotCond( (DdNode *)Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0(pObj) ); in Llb_ImgPartition()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigOutDec.c | 65 pRoot = Aig_ObjFanin0( pMiter ); in Saig_ManFindPrimes()
|
H A D | saigConstr2.c | 38 …nFs, Aig_Obj_t * pObj, int i ) { return Aig_ObjFanin0(pObj)? Aig_NotCond(Aig_ObjFrames(pObjMap,nFs… in Aig_ObjChild0Frames() 607 Aig_ObjSetTravIdCurrent( p, Aig_ObjFanin0(Saig_ObjLoToLi(p, pObj)) ); in Ssw_ManFindDirectImplications()
|
H A D | saigIsoSlow.c | 401 Iso_ManObjCount_rec( p, Aig_ObjFanin0(pObj), pnNodes, pnEdges ); in Iso_ManObjCount_rec() 939 … Aig_ObjFaninC0(pObj)? "-": "+", Aig_ObjFaninId0(pObj), Aig_ObjLevel(Aig_ObjFanin0(pObj)), in Iso_ManPrintClasses()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
H A D | darCut.c | 825 return Dar_ObjComputeCuts_rec( p, Aig_ObjFanin0(pObj) ); in Dar_ObjComputeCuts_rec() 826 Dar_ObjComputeCuts_rec( p, Aig_ObjFanin0(pObj) ); in Dar_ObjComputeCuts_rec()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigTiming.c | 292 pFanin = Aig_ObjFanin0(pTemp); in Aig_ManUpdateReverseLevel()
|
H A D | aigRet.c | 720 Rtm_ObjAddFanin( pObj->pData, Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0(pObj) ); in Rtm_ManFromAig() 722 Rtm_ObjAddFanin( pObj->pData, Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0(pObj) ); in Rtm_ManFromAig() 727 Rtm_ObjAddFanin( pObj->pData, Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0(pObj) ); in Rtm_ManFromAig()
|
H A D | aigMan.c | 132 Aig_ManDup_rec( pNew, p, Aig_ObjFanin0(pObj) ); in Aig_ManDup_rec()
|
H A D | aigTsim.c | 86 RetValue = Aig_ObjGetXsim(Aig_ObjFanin0(pObj)); in Aig_ObjGetXsimFanin0()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigRet.c | 705 …Rtm_ObjAddFanin( (Rtm_Obj_t *)pObj->pData, (Rtm_Obj_t *)Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0… in Rtm_ManFromAig() 707 …Rtm_ObjAddFanin( (Rtm_Obj_t *)pObj->pData, (Rtm_Obj_t *)Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0… in Rtm_ManFromAig() 712 …Rtm_ObjAddFanin( (Rtm_Obj_t *)pObj->pData, (Rtm_Obj_t *)Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0… in Rtm_ManFromAig()
|
H A D | aigOper.c | 39 if ( Aig_ObjFanin0(p0) != Aig_ObjFanin0(p1) || Aig_ObjFanin1(p0) != Aig_ObjFanin1(p1) ) in Aig_ObjIsExorType()
|
H A D | aigShow.c | 327 pNode->Level = Aig_ObjFanin0(pNode)->Level; in Aig_WriteDotAig()
|
H A D | aigTiming.c | 277 pFanin = Aig_ObjFanin0(pTemp); in Aig_ManUpdateReverseLevel()
|
H A D | aigTsim.c | 73 RetValue = Aig_ObjGetXsim(Aig_ObjFanin0(pObj)); in Aig_ObjGetXsimFanin0()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswClass.c | 662 if ( Aig_ObjIsCand(Aig_ObjFanin0(pObj)) ) in Ssw_ClassesPrepare() 663 Aig_ObjFanin0(pObj)->fMarkB = 1; in Ssw_ClassesPrepare() 842 Ssw_ObjSetConst1Cand( pAig, Aig_ObjFanin0(pObj) ); in Ssw_ClassesPrepareTargets()
|
H A D | sswSemi.c | 80 Vec_PtrPush( p->vTargets, Aig_ObjFanin0(pObj) ); in Ssw_SemManStart()
|
H A D | sswDyn.c | 88 Ssw_ManCollectPis_rec( Aig_ObjFanin0(pObj), vNewPis ); in Ssw_ManCollectPis_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsGia.c | 31 static inline int Gia_ObjChild0Copy( Aig_Obj_t * pObj ) { return Gia_LitNotCond( Aig_ObjFanin0(pOb… in Gia_ObjChild0Copy()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraInd.c | 218 if ( Aig_ObjFanin0(pObj)->pData ) in Fra_FramesAddMore() 232 if ( Aig_ObjFanin0(pObj)->pData && Aig_ObjFanin1(pObj)->pData ) in Fra_FramesAddMore()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
H A D | cgtCore.c | 141 …Cgt_ManDetectCandidates( p->pAig, p->vUseful, Aig_ObjFanin0(pMiter), p->pPars->nLevelMax, vNodes ); in Cgt_ClockGatingRangeCheck()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
H A D | ioWriteAiger.c | 927 pObj->fMarkA = (Aig_ObjFanin0(pObj)->fMarkA ^ Aig_ObjFaninC0(pObj)) & in Io_WriteAigerCex() 930 pObj->fMarkA = (Aig_ObjFanin0(pObj)->fMarkA ^ Aig_ObjFaninC0(pObj)); in Io_WriteAigerCex()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
H A D | nwkSpeedup.c | 53 if ( !Aig_ManSpeedupNode_rec( pAig, Aig_ObjFanin0(pNode), vNodes ) ) in Aig_ManSpeedupNode_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/csw/ |
H A D | cswCut.c | 496 Aig_Obj_t * pFanin0 = Aig_ObjFanin0(pObj); in Csw_ObjSweep()
|