Zpo-5-wyk-Slajd21: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Bwalter (dyskusja | edycje)
Nie podano opisu zmian
 
Bwalter (dyskusja | edycje)
Nie podano opisu zmian
 
Linia 1: Linia 1:
==Predykat noSideEffectsP(1)==
==Observer: cel==


[[Image:zpo-5-wyk-Slajd21.PNG|Predykat noSideEffectsP(1)]]
[[Image:zpo-5-wyk-Slajd21.PNG|Observer: cel]]




Po ograniczeniu tego problemu do stwierdzenia, czy istnieje taki zbiór wejść, który może spowodować zmianę stanu systemu (czyli znów modyfikację wybranej zmiennej Var), staje się on wprawdzie rozstrzygalny, ale jego złożoność obliczeniowa (jest NP-trudny) nadal sytuuje go wśród problemów bardzo trudnych.
Wzorzec Observer służy do stworzenia relacji typu jeden-wiele łączącej grupę obiektów. Dzięki niemu zmiana stanu obiektu po stronie „jeden” umożliwi automatyczne powiadomienie o niej wszystkich innych zainteresowanych obiektów (tzw. obserwatorów).




[[zpo-5-wyk-Slajd20 | << Poprzedni slajd]] | [[zpo-5-wyk-toc|Spis treści ]] | [[zpo-5-wyk-Slajd22 | Następny slajd >>]]
[[zpo-5-wyk-Slajd20 | << Poprzedni slajd]] | [[zpo-5-wyk-toc|Spis treści ]] | [[zpo-5-wyk-Slajd22 | Następny slajd >>]]

Aktualna wersja na dzień 11:03, 17 paź 2006

Observer: cel

Observer: cel


Wzorzec Observer służy do stworzenia relacji typu jeden-wiele łączącej grupę obiektów. Dzięki niemu zmiana stanu obiektu po stronie „jeden” umożliwi automatyczne powiadomienie o niej wszystkich innych zainteresowanych obiektów (tzw. obserwatorów).


<< Poprzedni slajd | Spis treści | Następny slajd >>