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: Unknown

class IActuatorReal

operations

-- set actuator value
public SetValue: real ==> ()
SetValue(v) ==
 is subclass responsibility;

end IActuatorReal

[ zur Elbe Produktseite wechseln0.0Quellennavigators  Analyse erneut starten  ]