Passenger-service action schema
| Action | Preconditions | Effects | Duration | ||
|---|---|---|---|---|---|
| ann. | predicate | ann. | predicate | ||
| BoardPassenger (t, s, n) | Start | train_at(t, n) | End | passengers_boarded(t,n) | |
| boarding_point(t, n) | |||||
| platform_at(n, s) | |||||
| Over-all | train_at(t, n) | ||||
| Action | Preconditions | Effects | Duration | ||
|---|---|---|---|---|---|
| BoardPassenger | |||||
Note(s): denotes a station; other shorthands as in Table 2
Sharing content requires targeting cookies to be enabled. Please update your cookie preferences to use this feature.