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