Searched refs:pSwp (Results 1 – 5 of 5) sorted by relevance
223 pSwp->nConfMax = nConfMax; in Gia_SweeperSetConflictLimit()228 pSwp->nTimeOut = nSeconds; in Gia_SweeperSetRuntimeLimit()233 assert( pSwp->vCexUser == NULL || Vec_IntSize(pSwp->vCexUser) == Gia_ManPiNum(p) ); in Gia_SweeperGetCex()234 return pSwp->vCexUser; in Gia_SweeperGetCex()254 Vec_IntPush( pSwp->vProbes, iLit ); in Gia_SweeperProbeCreate()332 return pSwp->vCondProbes; in Gia_SweeperCondVector()516 Vec_IntClear( pSwp->vId2Lit ); in Gia_SweeperCleanup()517 sat_solver_delete( pSwp->pSat ); in Gia_SweeperCleanup()519 pSwp->nSatVars = 1; in Gia_SweeperCleanup()521 Swp_ManSetObj2Lit( pSwp, 0, (iLit = Abc_Var2Lit(pSwp->nSatVars++, 0)) ); in Gia_SweeperCleanup()[all …]
2241 PSWP pSwp2 = pSwp++; in OS2WindowProc()2243 if (!(pSwp->cx == pSwp2->cx && in OS2WindowProc()2244 pSwp->cy == pSwp2->cy)) in OS2WindowProc()2245 bProcessed = HandleSize( pSwp->cx in OS2WindowProc()3731 bool wxWindowOS2::HandleGetMinMaxInfo( PSWP pSwp ) in HandleGetMinMaxInfo() argument3735 switch(pSwp->fl) in HandleGetMinMaxInfo()3738 ::WinGetMaxPosition(GetHwnd(), pSwp); in HandleGetMinMaxInfo()3739 m_maxWidth = pSwp->cx; in HandleGetMinMaxInfo()3740 m_maxHeight = pSwp->cy; in HandleGetMinMaxInfo()3745 m_minWidth = pSwp->cx; in HandleGetMinMaxInfo()[all …]
1553 PSWP pSwp = PVOIDFROMMP(mp1); in GenericWndProc() local1555 if(pSwp->fl & SWP_MAXIMIZE) in GenericWndProc()