Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
EdgeStats.vdmpp
Sprache: Unknown
|
class EdgeStats
instance variables
public avgSpeed : nat1 := 1; -- speed of last N cars
public carCount : nat := 0; -- cars / edge
public carDensity : nat := 0; -- cars / distance
public carThroughput : nat := 0; -- cars / period
end EdgeStats
[ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
]
|
