| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/TempoCollaborativePP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 1 kB |
|
Quelle SimulatorIO.vdmpp Sprache: VDM |
|||||||||
|
class tempo_vdm_SimulatorIO
operations public static initialize : (seq of char) * (seq of char) ==> (seq of char) initialize( networkFile, tmsFile ) == is not yet specified; public static runSimulator : (nat1) ==> () runSimulator( time ) == is not yet specified; public static fastForwardSimulator : (nat1) ==> () fastForwardSimulator( time ) == is not yet specified; public static applyHardShoulder : seq of char * bool ==> () applyHardShoulder( edgeId, enable) == is not yet specified; public static applyTrafficLight : seq of char * nat ==> () applyTrafficLight( edgeId, greenTime) == is not yet specified; public static applyRampMeter : seq of char * nat ==> () applyRampMeter( edgeId, redTime) == is not yet specified; public static applyDiversion : seq of char * seq of char ==> () applyDiversion( edgeId, message) == is not yet specified; public static applyMaxSpeed : seq of char * nat ==> () applyMaxSpeed( edgeId, maxSpeed) == is not yet specified; public static applyLaneClosure : seq of char * nat ==> () applyLaneClosure( edgeId, closed) == is not yet specified; public static getSituation : seq of char ==> Environment`EdgeSit getSituation( edge_id ) == is not yet specified; end tempo_vdm_SimulatorIO ¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28