Home
last modified time | relevance | path

Searched refs:Ssw_ObjFrame (Results 1 – 8 of 8) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswUnique.c54 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 DsswLcorr.c54 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 DsswAig.c99 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 DsswSweep.c52 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 DsswDyn.c56 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 DsswFilter.c194 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 DsswConstr.c323 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 DsswInt.h182 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()