This example models bus lines in a city, in which passengers are to be
transferred from stop to stop. Passengers with specific destinations
will arrive at a central station, and the route and flow of the buses
need to be planned to service the passenger in the best possible way.
The number and routes of buses as wells as the inflow of passengers are
variables.
Remote Debugger must be set to remote class:
gui.BuslinesRemote
Language Version: vdm10
Entry point : new World().Run()
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
