|
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.17 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
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.
|
