Pr-1st-1.1-m02-Slajd37

Predykat enable

W tym kontekście wprowadzimy jeszcze predykat enable($E$), oznaczający, że zdarzenie jest aktywne - czyli jednocześnie gotowe i dopuszczalne. Stąd też:

$enable(E)\equiv ready(E)\wedge allowed(E)$

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