Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
IActuatorReal.vdmrt
Sprache: VDM
class IActuatorReal
operations
-- set actuator value
public SetValue: real ==> ()
SetValue(v) ==
is subclass responsibility;
end IActuatorReal
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|