/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigOper.c | 279 if ( p0 == Aig_ManConst0(p) || p1 == Aig_ManConst0(p) || p0 == Aig_Not(p1) ) in Aig_TableLookupInt() 280 return Aig_ManConst0(p); in Aig_TableLookupInt() 328 if ( pC == Aig_ManConst0(p) ) in Aig_Mux() 332 if ( p0 == Aig_ManConst0(p) ) in Aig_Mux() 336 if ( p1 == Aig_ManConst0(p) ) in Aig_Mux() 499 pFunc = Aig_ManConst0( p ); in Aig_CreateOr() 520 pFunc = Aig_ManConst0( p ); in Aig_CreateExor() 554 pCtrl = Aig_ManConst0(p); in Aig_MuxTest() 565 pFanin1 = Aig_ManConst0(p); in Aig_MuxTest() 576 pFanin0 = Aig_ManConst0(p); in Aig_MuxTest()
|
H A D | aigTable.c | 153 return Aig_ManConst0(p); in Aig_TableLookupTwo() 155 return pFanin0 == Aig_ManConst1(p) ? pFanin1 : Aig_ManConst0(p); in Aig_TableLookupTwo() 157 return pFanin1 == Aig_ManConst1(p) ? pFanin0 : Aig_ManConst0(p); in Aig_TableLookupTwo()
|
H A D | aigFrames.c | 77 Aig_ObjSetFrames( pObjMap, nFs, pObj, 0, Aig_ManConst0(pFrames) ); in Aig_ManFrames()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
H A D | pdrClass.c | 64 pObj->pData = Aig_ManConst0(pFrames); in Pdr_ManRehashWithMap() 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/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigTable.c | 182 return Aig_ManConst0(p); in Aig_TableLookupTwo() 184 return pFanin0 == Aig_ManConst1(p) ? pFanin1 : Aig_ManConst0(p); in Aig_TableLookupTwo() 186 return pFanin1 == Aig_ManConst1(p) ? pFanin0 : Aig_ManConst0(p); in Aig_TableLookupTwo()
|
H A D | aigOper.c | 519 pFunc = Aig_ManConst0( p ); in Aig_CreateOr() 540 pFunc = Aig_ManConst0( p ); in Aig_CreateExor()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswConstr.c | 59 Aig_ObjSetCopy( pObj, Aig_ManConst0(pFrames) ); in Ssw_FramesWithConstraints() 418 Ssw_ObjSetFrame( p, pObj, 0, Aig_ManConst0(p->pFrames) ); in Ssw_ManSweepBmcConstr_old() 444 Ssw_NodesAreConstrained( p, pObjNew, Aig_ManConst0(p->pFrames) ); in Ssw_ManSweepBmcConstr_old() 508 Ssw_ObjSetFrame( p, pObj, 0, Aig_ManConst0(p->pFrames) ); in Ssw_ManSweepBmcConstr() 535 Ssw_NodesAreConstrained( p, pObjNew, Aig_ManConst0(p->pFrames) ); in Ssw_ManSweepBmcConstr() 672 if ( Ssw_ObjChild0Fra(p,pObj,f) == Aig_ManConst0(p->pFrames) ) in Ssw_ManSweepConstr() 680 Ssw_NodesAreConstrained( p, Ssw_ObjChild0Fra(p,pObj,f), Aig_ManConst0(p->pFrames) ); in Ssw_ManSweepConstr()
|
H A D | sswUnique.c | 158 pTotal = Aig_ManConst0(p->pFrames); in Ssw_ManUniqueAddConstraint()
|
H A D | sswBmc.c | 62 pRes = Aig_ManConst0( pFrm->pFrames ); in Ssw_BmcUnroll_rec()
|
H A D | sswLcorr.c | 55 if ( pObjFraig == Aig_ManConst0(p->pFrames) ) in Ssw_ManSweepTransfer()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
H A D | cgtAig.c | 246 pMiter = Aig_ManConst0( pNew ); in Cgt_ManConstructCareCondition() 298 Vec_PtrWriteEntry( vCopy0, Aig_ObjId(pObjLo), Aig_ManConst0(pNew) ); in Cgt_ManDeriveAigForGating() 501 pTotal = Aig_ManConst0(pNew); in Cgt_ManBuildClockGate() 556 pObj->pData = Aig_ManConst0(pNew); in Cgt_ManDeriveGatedAig()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigDual.c | 95 Saig_ObjSetDual( vCopies, 0, 0, Aig_ManConst0(pAigNew) ); in Saig_ManDupDual() 131 pMiter = Aig_ManConst0(pAigNew); in Saig_ManDupDual()
|
H A D | saigConstr.c | 167 if ( pObj == Aig_ManConst0(p) ) in Saig_ManDetectConstr() 398 pMiter = Aig_ManConst0( pAigNew ); in Saig_ManDupFoldConstrs()
|
H A D | saigMiter.c | 60 if ( pChild == Aig_ManConst0(p) ) in Sec_MiterStatus() 252 Aig_ManConst1(p)->pData = Aig_ManConst0(pNew); in Saig_ManDualRail() 598 *ppPo0 = Aig_ManConst0(p); in Saig_ManDemiterCheckPo() 599 *ppPo1 = Aig_ManConst0(p); in Saig_ManDemiterCheckPo()
|
H A D | saigTempor.c | 57 pObj->pData = Aig_ManConst0(pFrames); in Saig_ManTemporFrames()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
H A D | intFrames.c | 62 pObj->pData = Aig_ManConst0( pFrames ); in Inter_ManFramesInter()
|
H A D | intCtrex.c | 58 pObj->pData = Aig_ManConst0( pFrames ); in Inter_ManFramesBmc()
|
H A D | intM114p.c | 235 pInter = Aig_ManConst0(p); in Inter_ManInterpolateM114pPudlak() 342 pInter = Aig_ManConst0(p); in Inter_ManpInterpolateM114()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcBmc.c | 60 pObj->pData = Aig_ManConst0( pFrames ); in Saig_ManFramesBmc() 134 pObj->pData = Aig_ManConst0( pFrames ); in Saig_ManFramesBmcLimit()
|
H A D | bmcBmc2.c | 305 Saig_BmcObjSetFrame( p, pObj, 0, Aig_ManConst0(p->pFrm) ); in Saig_BmcManStart() 444 if ( Saig_BmcObjChild0(p, pObj, i) == Aig_ManConst0(p->pFrm) ) in Saig_BmcIntervalConstruct_rec() 445 pRes = Aig_ManConst0(p->pFrm); in Saig_BmcIntervalConstruct_rec()
|
H A D | bmcMulti.c | 100 Counter += (Aig_ObjChild0(pObj) == Aig_ManConst0(p)); in Gia_ManCountConst0Pos()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraCore.c | 72 if ( pChild == Aig_ManConst0(p) ) in Fra_FraigMiterStatus() 133 if ( pChild == Aig_ManConst0(p) ) in Fra_FraigMiterAssertedOutput()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaAig.c | 296 ppNodes[0] = Aig_ManConst0(pNew); in Gia_ManToAig() 341 ppNodes[0] = Aig_ManConst0(pNew); in Gia_ManToAigSkip() 390 ppNodes[i] = Aig_ManConst0(pNew); in Gia_ManToAigSimple()
|
/dports/math/stp/stp-2.3.3/lib/Simplifier/ |
H A D | AIGSimplifyPropositionalCore.cpp | 125 else if (obj == Aig_ManConst0(mgr.aigMgr)) in convert()
|
/dports/math/stp/stp-2.3.3/include/stp/ToSat/AIG/ |
H A D | BBNodeManagerAIG.h | 120 BBNodeAIG getFalse() { return BBNodeAIG(Aig_ManConst0(aigMgr)); } in getFalse()
|