/******************************************************************************

         File generated by Beologic visualSTATE Classic Diagram Designer
                           Tue Jul 01 16:22:28 1997

******************************************************************************/

#STATEEVENT

/*$@
#CLR_D          0X000000 0XFFFFFF 0X000000 0X000000 0XFF00FF 0X004100 0X0000FF 0XFF0000 0X000000 0XFFFFFF
#FNT_D          "Arial" 10 0
#SHW_D          1 1 1 1 1 1 1 1
#PGS_D          6 6
#GRD_D          0 0 5 1
#BKP_D          1 1 10
#OBJ_D          1 1 20.108 10.054 1.058
$*/


SE_INPUT
  i_A;
  i_AA;
  i_AE;
  i_ALARM_NO;
  i_ALARM_YES;
  i_B;
  i_BINDESTREG;
  i_C;
  i_D;
  i_DOWN_ARROW;
  i_E;
  i_ENTER_BUTTON;
  i_F;
  i_G;
  i_H;
  i_I;
  i_J;
  i_K;
  i_KOMMA;
  i_L;
  i_LEFT_ARROW;
  i_M;
  i_MINUTE_TICK;
  i_MODE_BUTTON;
  i_N;
  i_O;
  i_OE;
  i_ONOFF;
  i_P;
  i_PUNKTUM;
  i_Q;
  i_R;
  i_RIGHT_ARROW;
  i_S;
  i_SHIFTLOCK;
  i_SPACE;
  i_T;
  i_TICK;
  i_U;
  i_UP_ARROW;
  i_V;
  i_W;
  i_X;
  i_Y;
  i_Z;
  SE_RESET;

SE_INPUTGROUP

SE_STATE
  Alarm;
  AlarmCheck;
  AlarmOff;
  AlarmOn;
  AlarmSetHour;
  AlarmSetMinute;
  DataBank;
  ON;
  ReadKey;
  SetHour;
  SetMinute;
  SetSecond;
  ShiftLock;
  ShiftUnLock;
  ShowAlarm;
  Sound_Off;
  Sound_On;
  Time;
  TimeShow;

SE_STATEGROUP
  MainMenu (
    Time /*$$DSPOS0 107.421 53.181 21.960 10.848 **$*/,
    Alarm /*$$DSPOS0 26.458 52.652 19.844 10.848 **$*/,
    DataBank /*$$DSPOS0 64.294 1.852 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 35 195 371 395 $*/;

  TimeMachine (
    TimeShow /*$$DSPOS0 28.310 8.467 20.108 10.054 **$*/,
    SetHour /*$$DSPOS0 141.817 90.752 20.373 10.583 **$*/,
    SetMinute /*$$DSPOS0 98.690 48.948 20.108 10.054 **$*/,
    SetSecond /*$$DSPOS0 67.469 89.429 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 39 780 58 485 $*/;

  DataBankMachine (
    ReadKey /*$$DSPOS0 23.548 10.054 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 0 0 0 0 $*/;

  OnOffMachine (
    ON /*$$DSPOS0 23.548 10.054 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 0 0 0 0 $*/;

  ShiftLockMachine (
    ShiftLock /*$$DSPOS0 26.723 23.548 20.108 10.054 **$*/,
    ShiftUnLock /*$$DSPOS0 26.987 10.054 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 0 0 0 0 $*/;

  AlarmMachine (
    ShowAlarm /*$$DSPOS0 39.688 25.929 20.108 10.054 **$*/,
    AlarmSetHour /*$$DSPOS0 21.431 25.665 20.108 10.054 **$*/,
    AlarmSetMinute /*$$DSPOS0 30.692 10.054 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 0 0 0 0 $*/;

  AlarmSoundControl (
    Sound_Off /*$$DSPOS0 39.688 25.929 20.108 10.054 **$*/,
    AlarmCheck /*$$DSPOS0 21.431 25.665 20.108 10.054 **$*/,
    Sound_On /*$$DSPOS0 30.692 10.054 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 0 0 0 0 $*/;

  AlarmOnOff (
    AlarmOn /*$$DSPOS0 26.723 23.548 20.108 10.054 **$*/,
    AlarmOff /*$$DSPOS0 26.987 10.054 20.108 10.054 **$*/)
    /*$$DSGPOS0 0 0 0 0 0 0 $*/;


SE_OUTPUT
  o_0;
  o_1;
  o_2;
  o_3;
  o_4;
  o_5;
  o_6;
  o_7;
  o_8;
  o_9;
  o_A;
  o_AA;
  o_AE;
  o_AddHour;
  o_AddMinute;
  o_AddSecond;
  o_AlarmAddHour;
  o_AlarmAddMinute;
  o_AlarmCheckEqual;
  o_AlarmOff;
  o_AlarmOn;
  o_AlarmSubHour;
  o_AlarmSubMinute;
  o_Ambersand;
  o_ArrowDown;
  o_ArrowLeft;
  o_ArrowRight;
  o_ArrowUp;
  o_B;
  o_BINDESTREG;
  o_C;
  o_D;
  o_DisplayAlarm;
  o_DisplayDataBank;
  o_DisplayTime;
  o_DoNoise;
  o_E;
  o_Entry;
  o_Exit;
  o_F;
  o_G;
  o_H;
  o_I;
  o_J;
  o_K;
  o_KOMMA;
  o_L;
  o_M;
  o_N;
  o_NoNoise;
  o_O;
  o_OE;
  o_P;
  o_PUNKTUM;
  o_Q;
  o_R;
  o_S;
  o_SaveDOSTime;
  o_SaveTempTime;
  o_ShiftLock;
  o_ShiftUnLock;
  o_SpacePressed;
  o_SubHour;
  o_SubMinute;
  o_SubSecond;
  o_T;
  o_U;
  o_UpdateClock;
  o_V;
  o_W;
  o_X;
  o_Y;
  o_Z;

SE_RULE


/* Rules from MainMenu */
  SE_RESET : Time o_DisplayTime 
    /*$$DCOND0 MainMenu @ 123.560 35.983 23.019 10.054 2 124.883 31.485 114.300 53.181 **$*/;
  i_MODE_BUTTON Time : DataBank o_DisplayDataBank 
    /*$$DCOND0 MainMenu Time 92.869 17.992 30.692 10.054 2 107.421 53.181 84.402 11.906 **$*/;
  i_MODE_BUTTON Alarm : Time o_DisplayTime 
    /*$$DCOND0 MainMenu Alarm 62.177 62.971 28.840 10.054 2 46.302 58.737 107.421 58.737 **$*/;
  i_MODE_BUTTON DataBank : Alarm o_DisplayAlarm 
    /*$$DCOND0 MainMenu DataBank 26.458 16.669 28.840 9.525 2 64.294 11.906 37.835 52.652 **$*/;

/* Rules from TimeMachine */
  SE_RESET : TimeShow 
    /*$$DCOND0 TimeMachine @ 23.812 11.906 20.108 10.054 2 14.287 8.731 28.310 12.700 **$*/;
  i_TICK Time TimeShow : o_UpdateClock 
    /*$$DCOND0 TimeMachine TimeShow 142.081 103.717 23.812 10.054 3 35.983 8.467 41.275 3.704 45.244 8.467 **$*/;
  i_E Time TimeShow : SetHour o_SaveTempTime 
    /*$$DCOND0 TimeMachine TimeShow 110.596 85.460 27.517 10.054 3 48.419 11.906 126.206 34.660 159.015 90.752 **$*/;
  i_ENTER_BUTTON SetHour : TimeShow o_SaveDOSTime 
    /*$$DCOND0 TimeMachine SetHour 62.971 83.608 29.898 10.054 4 151.342 101.335 109.802 111.125 37.042 109.273 34.660 18.521 **$*/;
  i_ENTER_BUTTON SetMinute : TimeShow o_SaveDOSTime 
    /*$$DCOND0 TimeMachine SetMinute 8.467 94.192 29.898 10.054 2 98.690 52.652 48.419 12.700 **$*/;
  i_ENTER_BUTTON SetSecond : TimeShow o_SaveDOSTime 
    /*$$DCOND0 TimeMachine SetSecond 147.373 76.994 29.898 10.054 2 67.469 94.192 48.419 17.462 **$*/;
  i_UP_ARROW SetHour : o_AddHour 
    /*$$DCOND0 TimeMachine SetHour 25.929 95.250 23.019 10.054 3 161.131 90.752 171.185 88.635 162.190 94.985 **$*/;
  i_UP_ARROW SetMinute : o_AddMinute 
    /*$$DCOND0 TimeMachine SetMinute 153.987 57.415 23.019 10.054 3 98.690 50.800 95.250 40.217 100.012 48.948 **$*/;
  i_UP_ARROW SetSecond : o_AddSecond 
    /*$$DCOND0 TimeMachine SetSecond 114.829 16.933 23.019 10.054 3 67.469 94.721 55.562 93.662 67.469 98.160 **$*/;
  i_DOWN_ARROW SetHour : o_SubHour 
    /*$$DCOND0 TimeMachine SetHour 91.546 100.806 29.104 10.054 3 162.190 97.102 174.096 100.542 162.190 99.219 **$*/;
  i_DOWN_ARROW SetMinute : o_SubMinute 
    /*$$DCOND0 TimeMachine SetMinute 140.229 25.135 29.104 10.054 3 98.690 54.769 92.604 58.208 98.690 57.679 **$*/;
  i_DOWN_ARROW SetSecond : o_SubSecond 
    /*$$DCOND0 TimeMachine SetSecond 53.181 42.069 29.104 10.054 3 81.756 99.483 82.550 106.627 86.783 99.483 **$*/;
  i_LEFT_ARROW SetHour : SetSecond 
    /*$$DCOND0 TimeMachine SetHour 52.652 102.923 26.458 10.054 2 141.817 93.398 87.577 92.869 **$*/;
  i_LEFT_ARROW SetMinute : SetHour 
    /*$$DCOND0 TimeMachine SetMinute 118.533 4.498 26.458 10.054 2 118.798 59.002 150.019 90.752 **$*/;
  i_LEFT_ARROW SetSecond : SetMinute 
    /*$$DCOND0 TimeMachine SetSecond 142.875 11.377 26.458 10.054 2 72.496 89.429 107.685 59.002 **$*/;
  i_RIGHT_ARROW SetHour : SetMinute 
    /*$$DCOND0 TimeMachine SetHour 51.329 66.940 28.310 10.054 2 155.046 90.752 118.798 53.181 **$*/;
  i_RIGHT_ARROW SetMinute : SetSecond 
    /*$$DCOND0 TimeMachine SetMinute -2.646 19.050 28.310 10.054 2 111.390 59.002 83.873 89.429 **$*/;
  i_RIGHT_ARROW SetSecond : SetHour 
    /*$$DCOND0 TimeMachine SetSecond 17.462 69.585 28.310 10.054 2 87.577 96.308 141.817 97.102 **$*/;
/*$@  TimeShow : TimeShow $*/
    /*$$DCOND0 TimeMachine TimeShow 67.733 8.202 20.108 10.054 2 48.419 13.229 48.419 15.081 **$*/ /*$@;$*/

/* Rules from DataBankMachine */
  SE_RESET : ReadKey 
    /*$$DCOND0 DataBankMachine @ 11.642 5.027 20.108 10.054 2 1.058 1.058 23.548 10.054 **$*/;
  i_LEFT_ARROW DataBank ReadKey : o_ArrowLeft 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 26.458 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_RIGHT_ARROW DataBank ReadKey : o_ArrowRight 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 28.310 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_UP_ARROW DataBank ReadKey : o_ArrowUp 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 23.019 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_DOWN_ARROW DataBank ReadKey : o_ArrowDown 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 29.104 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_A ShiftUnLock DataBank ReadKey : o_A 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_A ShiftLock DataBank ReadKey : o_Ambersand 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 21.696 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_SPACE DataBank !Sound_On ReadKey : o_SpacePressed 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 26.723 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_B ShiftUnLock DataBank ReadKey : o_B 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_C ShiftUnLock DataBank ReadKey : o_C 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_D ShiftUnLock DataBank ReadKey : o_D 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_E ShiftUnLock DataBank ReadKey : o_E 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_F ShiftUnLock DataBank ReadKey : o_F 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_G ShiftUnLock DataBank ReadKey : o_G 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_H ShiftUnLock DataBank ReadKey : o_H 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_I ShiftUnLock DataBank ReadKey : o_I 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_J ShiftUnLock DataBank ReadKey : o_J 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_K ShiftUnLock DataBank ReadKey : o_K 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_L ShiftUnLock DataBank ReadKey : o_L 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_M ShiftUnLock DataBank ReadKey : o_M 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_N ShiftUnLock DataBank ReadKey : o_N 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_O ShiftUnLock DataBank ReadKey : o_O 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_P ShiftUnLock DataBank ReadKey : o_P 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_Q ShiftUnLock DataBank ReadKey : o_Q 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_R ShiftUnLock DataBank ReadKey : o_R 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_S ShiftUnLock DataBank ReadKey : o_S 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_T ShiftUnLock DataBank ReadKey : o_T 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_U ShiftUnLock DataBank ReadKey : o_U 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_V ShiftUnLock DataBank ReadKey : o_V 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_W ShiftUnLock DataBank ReadKey : o_W 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_X ShiftUnLock DataBank ReadKey : o_X 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_Y ShiftUnLock DataBank ReadKey : o_Y 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_Z ShiftUnLock DataBank ReadKey : o_Z 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_AE ShiftUnLock DataBank ReadKey : o_AE 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_OE ShiftUnLock DataBank ReadKey : o_OE 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_AA ShiftUnLock DataBank ReadKey : o_AA 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_KOMMA ShiftUnLock DataBank ReadKey : o_KOMMA 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_PUNKTUM ShiftUnLock DataBank ReadKey : o_PUNKTUM 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.902 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_BINDESTREG ShiftUnLock DataBank ReadKey : o_BINDESTREG 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 26.194 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_N ShiftLock DataBank ReadKey : o_0 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_M ShiftLock DataBank ReadKey : o_1 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_KOMMA ShiftLock DataBank ReadKey : o_2 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_PUNKTUM ShiftLock DataBank ReadKey : o_3 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_J ShiftLock DataBank ReadKey : o_4 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_K ShiftLock DataBank ReadKey : o_5 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_L ShiftLock DataBank ReadKey : o_6 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_U ShiftLock DataBank ReadKey : o_7 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_I ShiftLock DataBank ReadKey : o_8 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;
  i_O ShiftLock DataBank ReadKey : o_9 
    /*$$DCOND0 DataBankMachine ReadKey 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;

/* Rules from OnOffMachine */
  SE_RESET : ON o_Entry 
    /*$$DCOND0 OnOffMachine @ 11.642 5.027 20.108 10.054 2 1.058 1.058 23.548 10.054 **$*/;
  i_ONOFF ON : o_Exit 
    /*$$DCOND0 OnOffMachine ON 43.656 7.408 20.108 10.054 3 23.548 10.054 33.602 7.408 43.656 10.054 **$*/;

/* Rules from ShiftLockMachine */
  SE_RESET : ShiftUnLock o_ShiftUnLock 
    /*$$DCOND0 ShiftLockMachine @ 13.494 5.027 22.754 10.054 2 1.058 1.058 26.987 10.054 **$*/;
  i_SHIFTLOCK ShiftLock : ShiftUnLock o_ShiftUnLock 
    /*$$DCOND0 ShiftLockMachine ShiftLock 36.777 21.696 22.754 10.054 2 46.831 23.548 26.987 20.108 **$*/;
  i_SHIFTLOCK ShiftUnLock : ShiftLock o_ShiftLock 
    /*$$DCOND0 ShiftLockMachine ShiftUnLock 36.777 21.696 21.960 10.054 2 26.987 20.108 46.831 23.548 **$*/;

/* Rules from AlarmMachine */
  SE_RESET : ShowAlarm 
    /*$$DCOND0 AlarmMachine @ 19.844 12.965 20.108 10.054 2 1.058 1.058 39.688 25.929 **$*/;
  i_E Alarm ShowAlarm : AlarmSetHour 
    /*$$DCOND0 AlarmMachine ShowAlarm 40.481 30.692 20.108 10.054 2 39.688 25.929 41.540 35.719 **$*/;
  i_ENTER_BUTTON AlarmSetHour : ShowAlarm AlarmOn o_AlarmOn 
    /*$$DCOND0 AlarmMachine AlarmSetHour 40.481 30.692 29.898 10.054 2 41.540 35.719 39.688 25.929 **$*/;
  i_ENTER_BUTTON AlarmSetMinute : ShowAlarm AlarmOn o_AlarmOn 
    /*$$DCOND0 AlarmMachine AlarmSetMinute 45.244 23.019 29.898 10.054 2 50.800 20.108 39.688 25.929 **$*/;
  i_MODE_BUTTON AlarmSetHour : ShowAlarm 
    /*$$DCOND0 AlarmMachine AlarmSetHour 40.481 30.692 28.840 10.054 2 41.540 35.719 39.688 25.929 **$*/;
  i_MODE_BUTTON AlarmSetMinute : ShowAlarm 
    /*$$DCOND0 AlarmMachine AlarmSetMinute 45.244 23.019 28.840 10.054 2 50.800 20.108 39.688 25.929 **$*/;
  i_UP_ARROW AlarmSetHour : o_AlarmAddHour 
    /*$$DCOND0 AlarmMachine AlarmSetHour 41.540 23.019 26.458 10.054 3 21.431 25.665 31.485 23.019 41.540 25.665 **$*/;
  i_UP_ARROW AlarmSetMinute : o_AlarmAddMinute 
    /*$$DCOND0 AlarmMachine AlarmSetMinute 50.800 7.408 29.633 10.054 3 30.692 10.054 40.746 7.408 50.800 10.054 **$*/;
  i_DOWN_ARROW AlarmSetHour : o_AlarmSubHour 
    /*$$DCOND0 AlarmMachine AlarmSetHour 41.540 23.019 29.104 10.054 3 21.431 25.665 31.485 23.019 41.540 25.665 **$*/;
  i_DOWN_ARROW AlarmSetMinute : o_AlarmSubMinute 
    /*$$DCOND0 AlarmMachine AlarmSetMinute 50.800 7.408 29.633 10.054 3 30.692 10.054 40.746 7.408 50.800 10.054 **$*/;
  i_LEFT_ARROW AlarmSetHour : AlarmSetMinute 
    /*$$DCOND0 AlarmMachine AlarmSetHour 35.983 22.754 26.458 10.054 2 41.540 25.665 30.692 20.108 **$*/;
  i_LEFT_ARROW AlarmSetMinute : AlarmSetHour 
    /*$$DCOND0 AlarmMachine AlarmSetMinute 35.983 22.754 26.458 10.054 2 30.692 20.108 41.540 25.665 **$*/;
  i_RIGHT_ARROW AlarmSetHour : AlarmSetMinute 
    /*$$DCOND0 AlarmMachine AlarmSetHour 35.983 22.754 28.310 10.054 2 41.540 25.665 30.692 20.108 **$*/;
  i_RIGHT_ARROW AlarmSetMinute : AlarmSetHour 
    /*$$DCOND0 AlarmMachine AlarmSetMinute 35.983 22.754 28.310 10.054 2 30.692 20.108 41.540 25.665 **$*/;

/* Rules from AlarmSoundControl */
  SE_RESET : Sound_Off 
    /*$$DCOND0 AlarmSoundControl @ 19.844 12.965 20.108 10.054 2 1.058 1.058 39.688 25.929 **$*/;
  i_MINUTE_TICK AlarmOn Sound_Off : AlarmCheck o_AlarmCheckEqual 
    /*$$DCOND0 AlarmSoundControl Sound_Off 40.481 30.692 31.750 10.054 2 39.688 25.929 41.540 35.719 **$*/;
  i_SPACE Sound_On : Sound_Off AlarmOff o_NoNoise o_AlarmOff 
    /*$$DCOND0 AlarmSoundControl Sound_On 45.244 23.019 20.108 10.054 2 50.800 20.108 39.688 25.929 **$*/;
  i_ALARM_YES AlarmOn AlarmCheck : Sound_On o_DoNoise 
    /*$$DCOND0 AlarmSoundControl AlarmCheck 35.983 22.754 24.077 10.054 2 41.540 25.665 30.692 20.108 **$*/;
  i_ALARM_NO AlarmCheck : Sound_Off 
    /*$$DCOND0 AlarmSoundControl AlarmCheck 40.481 30.692 21.960 10.054 2 41.540 35.719 39.688 25.929 **$*/;

/* Rules from AlarmOnOff */
  SE_RESET : AlarmOff o_AlarmOff 
    /*$$DCOND0 AlarmOnOff @ 13.494 5.027 20.108 10.054 2 1.058 1.058 26.987 10.054 **$*/;
  i_B ShiftLock AlarmOn : AlarmOff o_AlarmOff 
    /*$$DCOND0 AlarmOnOff AlarmOn 36.777 21.696 20.108 10.054 2 46.831 23.548 26.987 20.108 **$*/;
  i_B ShiftLock AlarmOff : AlarmOn o_AlarmOn 
    /*$$DCOND0 AlarmOnOff AlarmOff 36.777 21.696 20.108 10.054 2 26.987 20.108 46.831 23.548 **$*/;
