Searched refs:Ssw_ObjFrame (Results 1 – 8 of 8) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswUnique.c | 54 pObj0 = Ssw_ObjFrame( p, pObjLo, 0 ); in Ssw_UniqueRegisterPairInfo() 55 pObj1 = Ssw_ObjFrame( p, pObjLo, 1 ); in Ssw_UniqueRegisterPairInfo() 162 pObj1New = Ssw_ObjFrame( p, pObj, f1 ); in Ssw_ManUniqueAddConstraint() 163 pObj2New = Ssw_ObjFrame( p, pObj, f2 ); in Ssw_ManUniqueAddConstraint()
|
H A D | sswLcorr.c | 54 pObjFraig = Ssw_ObjFrame( p, pObj, 0 ); in Ssw_ManSweepTransfer() 140 if ( Ssw_ObjFrame( p, pObj, 0 ) ) in Ssw_ManBuildCone_rec() 187 pObjReprFraig = Ssw_ObjFrame( p, pObjRepr, 0 ); in Ssw_ManSweepLatchOne() 262 pTemp = Aig_NotCond( Ssw_ObjFrame(p, pRepr, 0), pRepr->fPhase ^ pObj->fPhase ); in Ssw_ManSweepLatch()
|
H A D | sswAig.c | 99 pObjNew = Ssw_ObjFrame( p, pObj, iFrame ); in Ssw_FramesConstrainNode() 101 pObjReprNew = Ssw_ObjFrame( p, pObjRepr, iFrame ); in Ssw_FramesConstrainNode() 186 Ssw_ObjSetFrame( p, pObjLo, f+1, Ssw_ObjFrame(p, pObjLi,f) ); in Ssw_FramesWithClasses() 191 Aig_ObjCreateCo( pFrames, Ssw_ObjFrame( p, pObj, p->pPars->nFramesK ) ); in Ssw_FramesWithClasses()
|
H A D | sswSweep.c | 52 pObjFraig = Ssw_ObjFrame( p, pObj, f ); in Ssw_ManGetSatVarValue() 121 if ( Aig_ObjPhaseReal( Ssw_ObjFrame(p, pObj, f) ) ) in Ssw_SmlSavePatternAigPhase() 197 pObjFraig = Ssw_ObjFrame( p, pObj, f ); in Ssw_ManSweepNode() 199 pObjReprFraig = Ssw_ObjFrame( p, pObjRepr, f ); in Ssw_ManSweepNode() 316 pObjNew = Ssw_ObjFrame( p, pObjLi, f ); in Ssw_ManSweepBmc()
|
H A D | sswDyn.c | 56 pObjFrames = Ssw_ObjFrame( p, pObj, f ); in Ssw_ManLabelPiNodes() 150 pReprFrames = Aig_Regular( Ssw_ObjFrame( p, pRepr, p->pPars->nFramesK ) ); in Ssw_ManLoadSolver() 151 pObjFrames = Aig_Regular( Ssw_ObjFrame( p, pObj, p->pPars->nFramesK ) ); in Ssw_ManLoadSolver() 220 pObjFraig = Ssw_ObjFrame( p, pObj, 0 ); in Ssw_ManSweepTransferDyn() 236 pObjFraig = Ssw_ObjFrame( p, pObj, f ); in Ssw_ManSweepTransferDyn()
|
H A D | sswFilter.c | 194 pObjFraig = Ssw_ObjFrame( p, pObj, f ); in Ssw_ManSweepNodeFilter() 196 pObjReprFraig = Ssw_ObjFrame( p, pObjRepr, f ); in Ssw_ManSweepNodeFilter() 244 pObjNew = Ssw_ObjFrame( p, pObj, f ); in Ssw_ManSweepBmcFilter_rec() 311 pNodeToFrames[2*p->nFrames*pObj->Id + f1] = Ssw_ObjFrame( p, pObj, f1 ); in Ssw_ManSweepBmcFilter() 360 pObjNew = Ssw_ObjFrame( p, pObjLi, f ); in Ssw_ManSweepBmcFilter()
|
H A D | sswConstr.c | 323 pObjFraig = Ssw_ObjFrame( p, pObj, f ); in Ssw_ManSweepNodeConstr() 325 pObjReprFraig = Ssw_ObjFrame( p, pObjRepr, f ); in Ssw_ManSweepNodeConstr() 373 pObjNew = Ssw_ObjFrame( p, pObj, f ); in Ssw_ManSweepBmcConstr_rec() 473 pObjNew = Ssw_ObjFrame( p, pObjLi, f ); in Ssw_ManSweepBmcConstr_old() 556 pObjNew = Ssw_ObjFrame( p, pObjLi, f ); in Ssw_ManSweepBmcConstr() 586 pObjNew = Ssw_ObjFrame( p, pObj, f ); in Ssw_FramesWithClasses_rec()
|
H A D | sswInt.h | 182 static inline Aig_Obj_t * Ssw_ObjFrame( Ssw_Man_t * p, Aig_Obj_t * pObj, int i ) … in Ssw_ObjFrame() function 185 …t( !Aig_IsComplement(pObj) ); return Aig_ObjFanin0(pObj)? Aig_NotCond(Ssw_ObjFrame(p, Aig_ObjFanin… in Ssw_ObjChild0Fra() 186 …t( !Aig_IsComplement(pObj) ); return Aig_ObjFanin1(pObj)? Aig_NotCond(Ssw_ObjFrame(p, Aig_ObjFanin… in Ssw_ObjChild1Fra()
|