products/sources/formale sprachen/VDM/VDMRT/ChessWayRT/  image not shown  

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)  ]