Home
last modified time | relevance | path

Searched refs:Aig_ManConst0 (Results 1 – 25 of 57) sorted by relevance

123

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigOper.c279 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 DaigTable.c153 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 DaigFrames.c77 Aig_ObjSetFrames( pObjMap, nFs, pObj, 0, Aig_ManConst0(pFrames) ); in Aig_ManFrames()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrClass.c64 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 DaigTable.c182 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 DaigOper.c519 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 DsswConstr.c59 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 DsswUnique.c158 pTotal = Aig_ManConst0(p->pFrames); in Ssw_ManUniqueAddConstraint()
H A DsswBmc.c62 pRes = Aig_ManConst0( pFrm->pFrames ); in Ssw_BmcUnroll_rec()
H A DsswLcorr.c55 if ( pObjFraig == Aig_ManConst0(p->pFrames) ) in Ssw_ManSweepTransfer()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/
H A DcgtAig.c246 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 DsaigDual.c95 Saig_ObjSetDual( vCopies, 0, 0, Aig_ManConst0(pAigNew) ); in Saig_ManDupDual()
131 pMiter = Aig_ManConst0(pAigNew); in Saig_ManDupDual()
H A DsaigConstr.c167 if ( pObj == Aig_ManConst0(p) ) in Saig_ManDetectConstr()
398 pMiter = Aig_ManConst0( pAigNew ); in Saig_ManDupFoldConstrs()
H A DsaigMiter.c60 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 DsaigTempor.c57 pObj->pData = Aig_ManConst0(pFrames); in Saig_ManTemporFrames()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/
H A DintFrames.c62 pObj->pData = Aig_ManConst0( pFrames ); in Inter_ManFramesInter()
H A DintCtrex.c58 pObj->pData = Aig_ManConst0( pFrames ); in Inter_ManFramesBmc()
H A DintM114p.c235 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 DbmcBmc.c60 pObj->pData = Aig_ManConst0( pFrames ); in Saig_ManFramesBmc()
134 pObj->pData = Aig_ManConst0( pFrames ); in Saig_ManFramesBmcLimit()
H A DbmcBmc2.c305 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 DbmcMulti.c100 Counter += (Aig_ObjChild0(pObj) == Aig_ManConst0(p)); in Gia_ManCountConst0Pos()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraCore.c72 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 DgiaAig.c296 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 DAIGSimplifyPropositionalCore.cpp125 else if (obj == Aig_ManConst0(mgr.aigMgr)) in convert()
/dports/math/stp/stp-2.3.3/include/stp/ToSat/AIG/
H A DBBNodeManagerAIG.h120 BBNodeAIG getFalse() { return BBNodeAIG(Aig_ManConst0(aigMgr)); } in getFalse()

123