next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Description Class RangeActuator Up: No Title Previous: Description Class ToggleActuator

   
Description Class Pulse

INTENTION

This class provides all definitions to describe the pulse line of a light by which it can be switched on and off. This class is derived from the description class ToggleActuator. Here, the reaction time of a pulse is specified.

BASE CLASSES

Class   ToggleActuator

Intention

: All definitions of description class ToggleActuator are also provided here.

DOMAIN KNOWLEDGE

Property  D_PUL1 
Formal : (  noMalAct. reactionTime = 10 )
NL : The reaction time of a pulse line of a light is 10 milliseconds.



Forest-System
1999-06-10