ToyFGS05_Left: CONTEXT = BEGIN RSML_Time: TYPE = [0 .. 40000]; RSML_Int: TYPE = [0 .. 40000]; RSML_Real: TYPE = {x : REAL | (x >= 0) AND (x <= 40000)}; Selected_State: TYPE = {Selected_State_Armed, Selected_State_Active}; Base_State: TYPE = {Base_State_Cleared, Base_State_Selected}; Side: TYPE = {Side_LEFT, Side_RIGHT}; Switch: TYPE = {Switch_OFF, Switch_ON}; Lamp: TYPE = {Lamp_OFF, Lamp_ON}; On_Off: TYPE = {On_Off_Off, On_Off_On}; AP_State: TYPE = {AP_State_Disengaged, AP_State_Engaged}; Active_State: TYPE = {Active_State_Capture, Active_State_Track}; This_Output_Msg_Type: TYPE = [#AltLamp: Lamp, AltSel: BOOLEAN, AltselAct: BOOLEAN, AltselSel: BOOLEAN, AltselTrk: BOOLEAN, ApEng: BOOLEAN, ApLamp: Lamp, ApprLamp: Lamp, FdOn: BOOLEAN, FGSActive: BOOLEAN, FlcLamp: Lamp, FlcSel: BOOLEAN, HdgLamp: Lamp, HdgSel: BOOLEAN, LapprAct: BOOLEAN, LapprSel: BOOLEAN, LgaSel: BOOLEAN, ModesOn: BOOLEAN, NavAct: BOOLEAN, NavLamp: Lamp, NavSel: BOOLEAN, PilotFlying: Side, PthSel: BOOLEAN, RollSel: BOOLEAN, VapprAct: BOOLEAN, VapprSel: BOOLEAN, VgaSel: BOOLEAN, VsLamp: Lamp, VsSel: BOOLEAN#]; Other_Input_Msg_Type: TYPE = [#AltSel: BOOLEAN, AltselAct: BOOLEAN, AltselSel: BOOLEAN, AltselTrk: BOOLEAN, FdOn: BOOLEAN, FGSActive: BOOLEAN, FlcSel: BOOLEAN, HdgSel: BOOLEAN, LapprAct: BOOLEAN, LapprSel: BOOLEAN, LgaSel: BOOLEAN, ModesOn: BOOLEAN, NavAct: BOOLEAN, NavSel: BOOLEAN, PthSel: BOOLEAN, RollSel: BOOLEAN, VapprAct: BOOLEAN, VapprSel: BOOLEAN, VgaSel: BOOLEAN, VsSel: BOOLEAN#]; This_Input_Msg_Type: TYPE = [#AltPreRefChanged: BOOLEAN, AltselCaptureCondMet: BOOLEAN, AltselTargetAltChanged: BOOLEAN, AltselTrackCondMet: BOOLEAN, AltSwi: Switch, ApDiscSwi: Switch, ApEngSwi: Switch, ApprSwi: Switch, FdSwi: Switch, FlcSwi: Switch, GaSwi: Switch, HdgSwi: Switch, LapprTrackCondMet: BOOLEAN, NavSwi: Switch, NavTrackCondMet: BOOLEAN, Overspeed: BOOLEAN, SyncSwi: Switch, TransSwi: Switch, VapprTrackCondMet: BOOLEAN, VsPthWhlMot: BOOLEAN, VsSwi: Switch#]; THIS_SIDE: Side = Side_LEFT; main: MODULE = BEGIN INPUT NimbusSystemClockReceiver_Receive: BOOLEAN, Other_Input_Msg: Other_Input_Msg_Type, This_Input_Msg: This_Input_Msg_Type OUTPUT This_Output_Publish: BOOLEAN, This_Output_Msg: This_Output_Msg_Type LOCAL Is_LAPPR_Selected: BOOLEAN, Is_LAPPR_Selected_Undefined: BOOLEAN, Is_LAPPR_Selected_Random: BOOLEAN, Independent_Mode: On_Off, Independent_Mode_Undefined: BOOLEAN, Independent_Mode_Random: On_Off, Is_ALT_Selected: BOOLEAN, Is_ALT_Selected_Undefined: BOOLEAN, Is_ALT_Selected_Random: BOOLEAN, Onside_FD_On: BOOLEAN, Onside_FD_On_Undefined: BOOLEAN, Onside_FD_On_Random: BOOLEAN, Onside_FD: On_Off, Onside_FD_Undefined: BOOLEAN, Onside_FD_Random: On_Off, ALTSEL_Active: Active_State, ALTSEL_Active_Undefined: BOOLEAN, ALTSEL_Active_Random: Active_State, Pilot_Flying: Side, Pilot_Flying_Undefined: BOOLEAN, Pilot_Flying_Random: Side, Is_LAPPR_Active: BOOLEAN, Is_LAPPR_Active_Undefined: BOOLEAN, Is_LAPPR_Active_Random: BOOLEAN, ALT: Base_State, ALT_Undefined: BOOLEAN, ALT_Random: Base_State, Is_ALTSEL_Active: BOOLEAN, Is_ALTSEL_Active_Undefined: BOOLEAN, Is_ALTSEL_Active_Random: BOOLEAN, VAPPR_Selected: Selected_State, VAPPR_Selected_Undefined: BOOLEAN, VAPPR_Selected_Random: Selected_State, Is_ALTSEL_Selected: BOOLEAN, Is_ALTSEL_Selected_Undefined: BOOLEAN, Is_ALTSEL_Selected_Random: BOOLEAN, Is_PITCH_Active: BOOLEAN, Is_PITCH_Active_Undefined: BOOLEAN, Is_PITCH_Active_Random: BOOLEAN, Is_ROLL_Selected: BOOLEAN, Is_ROLL_Selected_Undefined: BOOLEAN, Is_ROLL_Selected_Random: BOOLEAN, Is_VGA_Selected: BOOLEAN, Is_VGA_Selected_Undefined: BOOLEAN, Is_VGA_Selected_Random: BOOLEAN, VGA: Base_State, VGA_Undefined: BOOLEAN, VGA_Random: Base_State, Is_VGA_Active: BOOLEAN, Is_VGA_Active_Undefined: BOOLEAN, Is_VGA_Active_Random: BOOLEAN, When_Selected_Nav_Source_Changed: BOOLEAN, When_Selected_Nav_Source_Changed_Undefined: BOOLEAN, When_Selected_Nav_Source_Changed_Random: BOOLEAN, When_Selected_Nav_Frequency_Changed: BOOLEAN, When_Selected_Nav_Frequency_Changed_Undefined: BOOLEAN, When_Selected_Nav_Frequency_Changed_Random: BOOLEAN, VS_Lamp: Lamp, VS_Lamp_Undefined: BOOLEAN, VS_Lamp_Random: Lamp, HDG_Lamp: Lamp, HDG_Lamp_Undefined: BOOLEAN, HDG_Lamp_Random: Lamp, NAV_Lamp: Lamp, NAV_Lamp_Undefined: BOOLEAN, NAV_Lamp_Random: Lamp, FLC_Lamp: Lamp, FLC_Lamp_Undefined: BOOLEAN, FLC_Lamp_Random: Lamp, ALT_Lamp: Lamp, ALT_Lamp_Undefined: BOOLEAN, ALT_Lamp_Random: Lamp, NAV: Base_State, NAV_Undefined: BOOLEAN, NAV_Random: Base_State, APPR_Lamp: Lamp, APPR_Lamp_Undefined: BOOLEAN, APPR_Lamp_Random: Lamp, AP: AP_State, AP_Undefined: BOOLEAN, AP_Random: AP_State, Offside_FD: On_Off, Offside_FD_Undefined: BOOLEAN, Offside_FD_Random: On_Off, AP_Lamp: Lamp, AP_Lamp_Undefined: BOOLEAN, AP_Lamp_Random: Lamp, LGA: Base_State, LGA_Undefined: BOOLEAN, LGA_Random: Base_State, ALTSEL: Base_State, ALTSEL_Undefined: BOOLEAN, ALTSEL_Random: Base_State, Is_AP_Engaged: BOOLEAN, Is_AP_Engaged_Undefined: BOOLEAN, Is_AP_Engaged_Random: BOOLEAN, Is_Offside_VGA_Active: BOOLEAN, Is_Offside_VGA_Active_Undefined: BOOLEAN, Is_Offside_VGA_Active_Random: BOOLEAN, Is_Offside_LAPPR_Active: BOOLEAN, Is_Offside_LAPPR_Active_Undefined: BOOLEAN, Is_Offside_LAPPR_Active_Random: BOOLEAN, Is_Offside_VAPPR_Active: BOOLEAN, Is_Offside_VAPPR_Active_Undefined: BOOLEAN, Is_Offside_VAPPR_Active_Random: BOOLEAN, Offside_Modes: On_Off, Offside_Modes_Undefined: BOOLEAN, Offside_Modes_Random: On_Off, Offside_NAV: Base_State, Offside_NAV_Undefined: BOOLEAN, Offside_NAV_Random: Base_State, Offside_NAV_Selected: Selected_State, Offside_NAV_Selected_Undefined: BOOLEAN, Offside_NAV_Selected_Random: Selected_State, Offside_ROLL: Base_State, Offside_ROLL_Undefined: BOOLEAN, Offside_ROLL_Random: Base_State, Offside_HDG: Base_State, Offside_HDG_Undefined: BOOLEAN, Offside_HDG_Random: Base_State, Offside_LAPPR_Selected: Selected_State, Offside_LAPPR_Selected_Undefined: BOOLEAN, Offside_LAPPR_Selected_Random: Selected_State, Offside_VS: Base_State, Offside_VS_Undefined: BOOLEAN, Offside_VS_Random: Base_State, Offside_LAPPR: Base_State, Offside_LAPPR_Undefined: BOOLEAN, Offside_LAPPR_Random: Base_State, Is_FLC_Selected: BOOLEAN, Is_FLC_Selected_Undefined: BOOLEAN, Is_FLC_Selected_Random: BOOLEAN, Is_FLC_Active: BOOLEAN, Is_FLC_Active_Undefined: BOOLEAN, Is_FLC_Active_Random: BOOLEAN, Offside_LGA: Base_State, Offside_LGA_Undefined: BOOLEAN, Offside_LGA_Random: Base_State, Offside_ALTSEL: Base_State, Offside_ALTSEL_Undefined: BOOLEAN, Offside_ALTSEL_Random: Base_State, Offside_PITCH: Base_State, Offside_PITCH_Undefined: BOOLEAN, Offside_PITCH_Random: Base_State, Offside_FLC: Base_State, Offside_FLC_Undefined: BOOLEAN, Offside_FLC_Random: Base_State, Offside_ALTSEL_Selected: Selected_State, Offside_ALTSEL_Selected_Undefined: BOOLEAN, Offside_ALTSEL_Selected_Random: Selected_State, Offside_ALT: Base_State, Offside_ALT_Undefined: BOOLEAN, Offside_ALT_Random: Base_State, Offside_ALTSEL_Active: Active_State, Offside_ALTSEL_Active_Undefined: BOOLEAN, Offside_ALTSEL_Active_Random: Active_State, Offside_VAPPR: Base_State, Offside_VAPPR_Undefined: BOOLEAN, Offside_VAPPR_Random: Base_State, Offside_VAPPR_Selected: Selected_State, Offside_VAPPR_Selected_Undefined: BOOLEAN, Offside_VAPPR_Selected_Random: Selected_State, Offside_VGA: Base_State, Offside_VGA_Undefined: BOOLEAN, Offside_VGA_Random: Base_State, Is_ALTSEL_Track: BOOLEAN, Is_ALTSEL_Track_Undefined: BOOLEAN, Is_ALTSEL_Track_Random: BOOLEAN, Is_HDG_Selected: BOOLEAN, Is_HDG_Selected_Undefined: BOOLEAN, Is_HDG_Selected_Random: BOOLEAN, Is_LGA_Active: BOOLEAN, Is_LGA_Active_Undefined: BOOLEAN, Is_LGA_Active_Random: BOOLEAN, Is_ROLL_Active: BOOLEAN, Is_ROLL_Active_Undefined: BOOLEAN, Is_ROLL_Active_Random: BOOLEAN, Is_NAV_Selected: BOOLEAN, Is_NAV_Selected_Undefined: BOOLEAN, Is_NAV_Selected_Random: BOOLEAN, Is_HDG_Active: BOOLEAN, Is_HDG_Active_Undefined: BOOLEAN, Is_HDG_Active_Random: BOOLEAN, Modes: On_Off, Modes_Undefined: BOOLEAN, Modes_Random: On_Off, LAPPR_Selected: Selected_State, LAPPR_Selected_Undefined: BOOLEAN, LAPPR_Selected_Random: Selected_State, Mode_Annunciations_On: BOOLEAN, Mode_Annunciations_On_Undefined: BOOLEAN, Mode_Annunciations_On_Random: BOOLEAN, Is_PITCH_Selected: BOOLEAN, Is_PITCH_Selected_Undefined: BOOLEAN, Is_PITCH_Selected_Random: BOOLEAN, VAPPR: Base_State, VAPPR_Undefined: BOOLEAN, VAPPR_Random: Base_State, ALTSEL_Selected: Selected_State, ALTSEL_Selected_Undefined: BOOLEAN, ALTSEL_Selected_Random: Selected_State, ROLL: Base_State, ROLL_Undefined: BOOLEAN, ROLL_Random: Base_State, Is_VS_Selected: BOOLEAN, Is_VS_Selected_Undefined: BOOLEAN, Is_VS_Selected_Random: BOOLEAN, VS: Base_State, VS_Undefined: BOOLEAN, VS_Random: Base_State, Is_This_Side_Active: BOOLEAN, Is_This_Side_Active_Undefined: BOOLEAN, Is_This_Side_Active_Random: BOOLEAN, Is_ALT_Active: BOOLEAN, Is_ALT_Active_Undefined: BOOLEAN, Is_ALT_Active_Random: BOOLEAN, Is_VAPPR_Selected: BOOLEAN, Is_VAPPR_Selected_Undefined: BOOLEAN, Is_VAPPR_Selected_Random: BOOLEAN, Is_VAPPR_Active: BOOLEAN, Is_VAPPR_Active_Undefined: BOOLEAN, Is_VAPPR_Active_Random: BOOLEAN, Is_NAV_Active: BOOLEAN, Is_NAV_Active_Undefined: BOOLEAN, Is_NAV_Active_Random: BOOLEAN, LAPPR: Base_State, LAPPR_Undefined: BOOLEAN, LAPPR_Random: Base_State, Is_VS_Active: BOOLEAN, Is_VS_Active_Undefined: BOOLEAN, Is_VS_Active_Random: BOOLEAN, HDG: Base_State, HDG_Undefined: BOOLEAN, HDG_Random: Base_State, PITCH: Base_State, PITCH_Undefined: BOOLEAN, PITCH_Random: Base_State, Is_LGA_Selected: BOOLEAN, Is_LGA_Selected_Undefined: BOOLEAN, Is_LGA_Selected_Random: BOOLEAN, NAV_Selected: Selected_State, NAV_Selected_Undefined: BOOLEAN, NAV_Selected_Random: Selected_State, FLC: Base_State, FLC_Undefined: BOOLEAN, FLC_Random: Base_State, FD_Switch: Switch, FD_Switch_Undefined: BOOLEAN, FD_Switch_Random: Switch, HDG_Switch: Switch, HDG_Switch_Undefined: BOOLEAN, HDG_Switch_Random: Switch, Is_NAV_Track_Cond_Met: BOOLEAN, Is_NAV_Track_Cond_Met_Undefined: BOOLEAN, Is_NAV_Track_Cond_Met_Random: BOOLEAN, Is_ALTSEL_Capture_Cond_Met: BOOLEAN, Is_ALTSEL_Capture_Cond_Met_Undefined: BOOLEAN, Is_ALTSEL_Capture_Cond_Met_Random: BOOLEAN, Is_ALTSEL_Track_Cond_Met: BOOLEAN, Is_ALTSEL_Track_Cond_Met_Undefined: BOOLEAN, Is_ALTSEL_Track_Cond_Met_Random: BOOLEAN, Is_LAPPR_Track_Cond_Met: BOOLEAN, Is_LAPPR_Track_Cond_Met_Undefined: BOOLEAN, Is_LAPPR_Track_Cond_Met_Random: BOOLEAN, Is_VAPPR_Track_Cond_Met: BOOLEAN, Is_VAPPR_Track_Cond_Met_Undefined: BOOLEAN, Is_VAPPR_Track_Cond_Met_Random: BOOLEAN, VS_Switch: Switch, VS_Switch_Undefined: BOOLEAN, VS_Switch_Random: Switch, NAV_Switch: Switch, NAV_Switch_Undefined: BOOLEAN, NAV_Switch_Random: Switch, FLC_Switch: Switch, FLC_Switch_Undefined: BOOLEAN, FLC_Switch_Random: Switch, APPR_Switch: Switch, APPR_Switch_Undefined: BOOLEAN, APPR_Switch_Random: Switch, ALT_Switch: Switch, ALT_Switch_Undefined: BOOLEAN, ALT_Switch_Random: Switch, SYNC_Switch: Switch, SYNC_Switch_Undefined: BOOLEAN, SYNC_Switch_Random: Switch, Transfer_Switch: Switch, Transfer_Switch_Undefined: BOOLEAN, Transfer_Switch_Random: Switch, VS_Pitch_Wheel_In_Motion: BOOLEAN, VS_Pitch_Wheel_In_Motion_Undefined: BOOLEAN, VS_Pitch_Wheel_In_Motion_Random: BOOLEAN, GA_Switch: Switch, GA_Switch_Undefined: BOOLEAN, GA_Switch_Random: Switch, AP_Engage_Switch: Switch, AP_Engage_Switch_Undefined: BOOLEAN, AP_Engage_Switch_Random: Switch, AP_Disconnect_Switch: Switch, AP_Disconnect_Switch_Undefined: BOOLEAN, AP_Disconnect_Switch_Random: Switch, Overspeed: BOOLEAN, Overspeed_Undefined: BOOLEAN, Overspeed_Random: BOOLEAN, ALTSEL_Target_Altitude_Changed: BOOLEAN, ALTSEL_Target_Altitude_Changed_Undefined: BOOLEAN, ALTSEL_Target_Altitude_Changed_Random: BOOLEAN, Offside_Hdg_Selected: BOOLEAN, Offside_Hdg_Selected_Undefined: BOOLEAN, Offside_Hdg_Selected_Random: BOOLEAN, Offside_Nav_Selected: BOOLEAN, Offside_Nav_Selected_Undefined: BOOLEAN, Offside_Nav_Selected_Random: BOOLEAN, Offside_Nav_Active: BOOLEAN, Offside_Nav_Active_Undefined: BOOLEAN, Offside_Nav_Active_Random: BOOLEAN, Offside_FGS_Active: BOOLEAN, Offside_FGS_Active_Undefined: BOOLEAN, Offside_FGS_Active_Random: BOOLEAN, Offside_FD_On: BOOLEAN, Offside_FD_On_Undefined: BOOLEAN, Offside_FD_On_Random: BOOLEAN, Offside_Modes_On: BOOLEAN, Offside_Modes_On_Undefined: BOOLEAN, Offside_Modes_On_Random: BOOLEAN, Offside_Roll_Selected: BOOLEAN, Offside_Roll_Selected_Undefined: BOOLEAN, Offside_Roll_Selected_Random: BOOLEAN, Offside_Lappr_Selected: BOOLEAN, Offside_Lappr_Selected_Undefined: BOOLEAN, Offside_Lappr_Selected_Random: BOOLEAN, Offside_Altsel_Track: BOOLEAN, Offside_Altsel_Track_Undefined: BOOLEAN, Offside_Altsel_Track_Random: BOOLEAN, Offside_Vappr_Selected: BOOLEAN, Offside_Vappr_Selected_Undefined: BOOLEAN, Offside_Vappr_Selected_Random: BOOLEAN, Offside_Vappr_Active: BOOLEAN, Offside_Vappr_Active_Undefined: BOOLEAN, Offside_Vappr_Active_Random: BOOLEAN, Offside_Lappr_Active: BOOLEAN, Offside_Lappr_Active_Undefined: BOOLEAN, Offside_Lappr_Active_Random: BOOLEAN, Offside_Lga_Selected: BOOLEAN, Offside_Lga_Selected_Undefined: BOOLEAN, Offside_Lga_Selected_Random: BOOLEAN, Offside_Pitch_Selected: BOOLEAN, Offside_Pitch_Selected_Undefined: BOOLEAN, Offside_Pitch_Selected_Random: BOOLEAN, Offside_Vs_Selected: BOOLEAN, Offside_Vs_Selected_Undefined: BOOLEAN, Offside_Vs_Selected_Random: BOOLEAN, Offside_Flc_Selected: BOOLEAN, Offside_Flc_Selected_Undefined: BOOLEAN, Offside_Flc_Selected_Random: BOOLEAN, Offside_Alt_Selected: BOOLEAN, Offside_Alt_Selected_Undefined: BOOLEAN, Offside_Alt_Selected_Random: BOOLEAN, Offside_Altsel_Selected: BOOLEAN, Offside_Altsel_Selected_Undefined: BOOLEAN, Offside_Altsel_Selected_Random: BOOLEAN, Offside_Altsel_Active: BOOLEAN, Offside_Altsel_Active_Undefined: BOOLEAN, Offside_Altsel_Active_Random: BOOLEAN, Offside_Vga_Selected: BOOLEAN, Offside_Vga_Selected_Undefined: BOOLEAN, Offside_Vga_Selected_Random: BOOLEAN, m_Deactivate_LAPPR: BOOLEAN, m_When_Turn_Modes_On: BOOLEAN, m_Independent_Mode_Condition: BOOLEAN, m_When_LAPPR_Track_Cond_Met: BOOLEAN, m_When_LAPPR_Track_Cond_Met_Seen: BOOLEAN, m_No_Higher_Event_Than_LAPPR_Track_Cond_Met: BOOLEAN, m_When_VAPPR_Track_Cond_Met: BOOLEAN, m_When_VAPPR_Track_Cond_Met_Seen: BOOLEAN, m_No_Higher_Event_Than_VAPPR_Track_Cond_Met: BOOLEAN, m_Deselect_ALT: BOOLEAN, m_When_Turn_FD_Off: BOOLEAN, m_Deselect_NAV: BOOLEAN, m_Dearm_NAV: BOOLEAN, m_Deactivate_NAV: BOOLEAN, m_Select_ALTSEL: BOOLEAN, m_Capture_ALTSEL: BOOLEAN, m_Track_ALTSEL: BOOLEAN, m_When_GA_Switch_Pressed: BOOLEAN, m_When_GA_Switch_Pressed_Seen: BOOLEAN, m_No_Higher_Event_Than_GA_Switch_Pressed: BOOLEAN, m_When_SYNC_Switch_Pressed: BOOLEAN, m_When_SYNC_Switch_Pressed_Seen: BOOLEAN, m_No_Higher_Event_Than_SYNC_Switch_Pressed: BOOLEAN, m_When_Turn_FD_On: BOOLEAN, m_Select_VAPPR: BOOLEAN, m_Activate_VAPPR: BOOLEAN, m_Deselect_VAPPR: BOOLEAN, m_When_Vertical_Mode_Manually_Selected: BOOLEAN, m_Deselect_ALTSEL: BOOLEAN, m_Deactivate_ALTSEL: BOOLEAN, m_When_ALTSEL_Track_Cond_Met: BOOLEAN, m_When_ALTSEL_Track_Cond_Met_Seen: BOOLEAN, m_No_Higher_Event_Than_ALTSEL_Track_Cond_Met: BOOLEAN, m_When_ALTSEL_Capture_Cond_Met: BOOLEAN, m_When_ALTSEL_Capture_Cond_Met_Seen: BOOLEAN, m_No_Higher_Event_Than_ALTSEL_Capture_Cond_Met: BOOLEAN, m_When_NAV_Track_Cond_Met: BOOLEAN, m_When_NAV_Track_Cond_Met_Seen: BOOLEAN, m_No_Higher_Event_Than_NAV_Track_Cond_Met: BOOLEAN, m_When_Turn_Modes_Off: BOOLEAN, m_When_FLC_Activated: BOOLEAN, m_Select_VGA: BOOLEAN, m_Deselect_VGA: BOOLEAN, m_When_FD_Switch_Pressed: BOOLEAN, m_When_FD_Switch_Pressed_Seen: BOOLEAN, m_No_Higher_Event_Than_FD_Switch_Pressed: BOOLEAN, m_When_Transfer_Switch_Pressed: BOOLEAN, m_When_Transfer_Switch_Pressed_Seen: BOOLEAN, m_When_VGA_Activated: BOOLEAN, m_No_Higher_Event_Than_VS_Switch_Pressed: BOOLEAN, m_When_FLC_Switch_Pressed: BOOLEAN, m_When_FLC_Switch_Pressed_Seen: BOOLEAN, m_No_Higher_Event_Than_FLC_Switch_Pressed: BOOLEAN, m_When_ALT_Switch_Pressed: BOOLEAN, m_When_ALT_Switch_Pressed_Seen: BOOLEAN, m_No_Higher_Event_Than_ALT_Switch_Pressed: BOOLEAN, m_When_ALTSEL_Target_Altitude_Changed: BOOLEAN, m_When_ALTSEL_Target_Altitude_Changed_Seen: BOOLEAN, m_No_Higher_Event_Than_ALTSEL_Target_Altitude_Changed: BOOLEAN, m_When_APPR_Switch_Pressed: BOOLEAN, m_When_APPR_Switch_Pressed_Seen: BOOLEAN, m_No_Higher_Event_Than_APPR_Switch_Pressed: BOOLEAN, m_No_Higher_Event_Than_AP_Disconnect_Switch_Pressed: BOOLEAN, m_When_NAV_Switch_Pressed: BOOLEAN, m_When_NAV_Switch_Pressed_Seen: BOOLEAN, m_No_Higher_Event_Than_NAV_Switch_Pressed: BOOLEAN, m_When_HDG_Switch_Pressed: BOOLEAN, m_When_HDG_Switch_Pressed_Seen: BOOLEAN, m_Select_FLC: BOOLEAN, m_Deselect_FLC: BOOLEAN, m_When_Nonbasic_Lateral_Mode_Activated: BOOLEAN, m_When_LAPPR_Armed: BOOLEAN, m_When_LAPPR_Activated: BOOLEAN, m_Select_HDG: BOOLEAN, m_Deselect_HDG: BOOLEAN, m_When_LGA_Activated: BOOLEAN, m_Select_LAPPR: BOOLEAN, m_Activate_LAPPR: BOOLEAN, m_Deselect_LAPPR: BOOLEAN, m_Dearm_LAPPR: BOOLEAN, m_When_Lateral_Mode_Manually_Selected: BOOLEAN, m_Overspeed_Condition: BOOLEAN, m_When_Nonbasic_Vertical_Mode_Activated: BOOLEAN, m_Is_No_Nonbasic_Vertical_Mode_Active: BOOLEAN, m_When_Engage_AP: BOOLEAN, m_When_Disengage_AP: BOOLEAN, m_No_Higher_Event_Than_HDG_Switch_Pressed: BOOLEAN, m_When_VS_Pitch_Wheel_Rotated: BOOLEAN, m_When_VS_Pitch_Wheel_Rotated_Seen: BOOLEAN, m_No_Higher_Event_Than_VS_Pitch_Wheel_Rotated: BOOLEAN, m_When_VS_Switch_Pressed: BOOLEAN, m_When_VS_Switch_Pressed_Seen: BOOLEAN, m_When_ALTSEL_Activated: BOOLEAN, m_Select_LGA: BOOLEAN, m_When_HDG_Activated: BOOLEAN, m_Select_PITCH: BOOLEAN, m_Deselect_PITCH: BOOLEAN, m_When_VAPPR_Activated: BOOLEAN, m_When_Vertical_Mode_Changed: BOOLEAN, m_When_Lamp_Changed: BOOLEAN, m_When_Lateral_Mode_Changed: BOOLEAN, m_Select_VS: BOOLEAN, m_Deselect_VS: BOOLEAN, m_When_VS_Activated: BOOLEAN, m_When_ALT_Activated: BOOLEAN, m_When_Pilot_Flying_Transfer: BOOLEAN, m_Deactivate_VAPPR: BOOLEAN, m_Is_No_Nonbasic_Lateral_Mode_Active: BOOLEAN, m_Select_ROLL: BOOLEAN, m_Deselect_ROLL: BOOLEAN, m_Select_NAV: BOOLEAN, m_Activate_NAV: BOOLEAN, m_When_NAV_Armed: BOOLEAN, m_When_NAV_Activated: BOOLEAN, m_Deselect_LGA: BOOLEAN, m_No_Higher_Event_Than_Transfer_Switch_Pressed: BOOLEAN, m_When_AP_Engage_Switch_Pressed: BOOLEAN, m_When_AP_Engage_Switch_Pressed_Seen: BOOLEAN, m_No_Higher_Event_Than_AP_Engage_Switch_Pressed: BOOLEAN, m_When_AP_Disconnect_Switch_Pressed: BOOLEAN, m_When_AP_Disconnect_Switch_Pressed_Seen: BOOLEAN, m_Select_ALT: BOOLEAN, SystemTime: RSML_Time DEFINITION Is_LAPPR_Selected_Random IN {TRUE, FALSE}; Independent_Mode_Random IN {On_Off_Off, On_Off_On}; Is_ALT_Selected_Random IN {TRUE, FALSE}; Onside_FD_On_Random IN {TRUE, FALSE}; Onside_FD_Random IN {On_Off_Off, On_Off_On}; ALTSEL_Active_Random IN {Active_State_Capture, Active_State_Track}; Pilot_Flying_Random IN {Side_LEFT, Side_RIGHT}; Is_LAPPR_Active_Random IN {TRUE, FALSE}; ALT_Random IN {Base_State_Cleared, Base_State_Selected}; Is_ALTSEL_Active_Random IN {TRUE, FALSE}; VAPPR_Selected_Random IN {Selected_State_Armed, Selected_State_Active}; Is_ALTSEL_Selected_Random IN {TRUE, FALSE}; Is_PITCH_Active_Random IN {TRUE, FALSE}; Is_ROLL_Selected_Random IN {TRUE, FALSE}; Is_VGA_Selected_Random IN {TRUE, FALSE}; VGA_Random IN {Base_State_Cleared, Base_State_Selected}; Is_VGA_Active_Random IN {TRUE, FALSE}; When_Selected_Nav_Source_Changed_Random IN {TRUE, FALSE}; When_Selected_Nav_Frequency_Changed_Random IN {TRUE, FALSE}; VS_Lamp_Random IN {Lamp_OFF, Lamp_ON}; HDG_Lamp_Random IN {Lamp_OFF, Lamp_ON}; NAV_Lamp_Random IN {Lamp_OFF, Lamp_ON}; FLC_Lamp_Random IN {Lamp_OFF, Lamp_ON}; ALT_Lamp_Random IN {Lamp_OFF, Lamp_ON}; NAV_Random IN {Base_State_Cleared, Base_State_Selected}; APPR_Lamp_Random IN {Lamp_OFF, Lamp_ON}; AP_Random IN {AP_State_Disengaged, AP_State_Engaged}; Offside_FD_Random IN {On_Off_Off, On_Off_On}; AP_Lamp_Random IN {Lamp_OFF, Lamp_ON}; LGA_Random IN {Base_State_Cleared, Base_State_Selected}; ALTSEL_Random IN {Base_State_Cleared, Base_State_Selected}; Is_AP_Engaged_Random IN {TRUE, FALSE}; Is_Offside_VGA_Active_Random IN {TRUE, FALSE}; Is_Offside_LAPPR_Active_Random IN {TRUE, FALSE}; Is_Offside_VAPPR_Active_Random IN {TRUE, FALSE}; Offside_Modes_Random IN {On_Off_Off, On_Off_On}; Offside_NAV_Random IN {Base_State_Cleared, Base_State_Selected}; Offside_NAV_Selected_Random IN {Selected_State_Armed, Selected_State_Active}; Offside_ROLL_Random IN {Base_State_Cleared, Base_State_Selected}; Offside_HDG_Random IN {Base_State_Cleared, Base_State_Selected}; Offside_LAPPR_Selected_Random IN {Selected_State_Armed, Selected_State_Active}; Offside_VS_Random IN {Base_State_Cleared, Base_State_Selected}; Offside_LAPPR_Random IN {Base_State_Cleared, Base_State_Selected}; Is_FLC_Selected_Random IN {TRUE, FALSE}; Is_FLC_Active_Random IN {TRUE, FALSE}; Offside_LGA_Random IN {Base_State_Cleared, Base_State_Selected}; Offside_ALTSEL_Random IN {Base_State_Cleared, Base_State_Selected}; Offside_PITCH_Random IN {Base_State_Cleared, Base_State_Selected}; Offside_FLC_Random IN {Base_State_Cleared, Base_State_Selected}; Offside_ALTSEL_Selected_Random IN {Selected_State_Armed, Selected_State_Active}; Offside_ALT_Random IN {Base_State_Cleared, Base_State_Selected}; Offside_ALTSEL_Active_Random IN {Active_State_Capture, Active_State_Track}; Offside_VAPPR_Random IN {Base_State_Cleared, Base_State_Selected}; Offside_VAPPR_Selected_Random IN {Selected_State_Armed, Selected_State_Active}; Offside_VGA_Random IN {Base_State_Cleared, Base_State_Selected}; Is_ALTSEL_Track_Random IN {TRUE, FALSE}; Is_HDG_Selected_Random IN {TRUE, FALSE}; Is_LGA_Active_Random IN {TRUE, FALSE}; Is_ROLL_Active_Random IN {TRUE, FALSE}; Is_NAV_Selected_Random IN {TRUE, FALSE}; Is_HDG_Active_Random IN {TRUE, FALSE}; Modes_Random IN {On_Off_Off, On_Off_On}; LAPPR_Selected_Random IN {Selected_State_Armed, Selected_State_Active}; Mode_Annunciations_On_Random IN {TRUE, FALSE}; Is_PITCH_Selected_Random IN {TRUE, FALSE}; VAPPR_Random IN {Base_State_Cleared, Base_State_Selected}; ALTSEL_Selected_Random IN {Selected_State_Armed, Selected_State_Active}; ROLL_Random IN {Base_State_Cleared, Base_State_Selected}; Is_VS_Selected_Random IN {TRUE, FALSE}; VS_Random IN {Base_State_Cleared, Base_State_Selected}; Is_This_Side_Active_Random IN {TRUE, FALSE}; Is_ALT_Active_Random IN {TRUE, FALSE}; Is_VAPPR_Selected_Random IN {TRUE, FALSE}; Is_VAPPR_Active_Random IN {TRUE, FALSE}; Is_NAV_Active_Random IN {TRUE, FALSE}; LAPPR_Random IN {Base_State_Cleared, Base_State_Selected}; Is_VS_Active_Random IN {TRUE, FALSE}; HDG_Random IN {Base_State_Cleared, Base_State_Selected}; PITCH_Random IN {Base_State_Cleared, Base_State_Selected}; Is_LGA_Selected_Random IN {TRUE, FALSE}; NAV_Selected_Random IN {Selected_State_Armed, Selected_State_Active}; FLC_Random IN {Base_State_Cleared, Base_State_Selected}; FD_Switch_Random IN {Switch_OFF, Switch_ON}; HDG_Switch_Random IN {Switch_OFF, Switch_ON}; Is_NAV_Track_Cond_Met_Random IN {TRUE, FALSE}; Is_ALTSEL_Capture_Cond_Met_Random IN {TRUE, FALSE}; Is_ALTSEL_Track_Cond_Met_Random IN {TRUE, FALSE}; Is_LAPPR_Track_Cond_Met_Random IN {TRUE, FALSE}; Is_VAPPR_Track_Cond_Met_Random IN {TRUE, FALSE}; VS_Switch_Random IN {Switch_OFF, Switch_ON}; NAV_Switch_Random IN {Switch_OFF, Switch_ON}; FLC_Switch_Random IN {Switch_OFF, Switch_ON}; APPR_Switch_Random IN {Switch_OFF, Switch_ON}; ALT_Switch_Random IN {Switch_OFF, Switch_ON}; SYNC_Switch_Random IN {Switch_OFF, Switch_ON}; Transfer_Switch_Random IN {Switch_OFF, Switch_ON}; VS_Pitch_Wheel_In_Motion_Random IN {TRUE, FALSE}; GA_Switch_Random IN {Switch_OFF, Switch_ON}; AP_Engage_Switch_Random IN {Switch_OFF, Switch_ON}; AP_Disconnect_Switch_Random IN {Switch_OFF, Switch_ON}; Overspeed_Random IN {TRUE, FALSE}; ALTSEL_Target_Altitude_Changed_Random IN {TRUE, FALSE}; Offside_Hdg_Selected_Random IN {TRUE, FALSE}; Offside_Nav_Selected_Random IN {TRUE, FALSE}; Offside_Nav_Active_Random IN {TRUE, FALSE}; Offside_FGS_Active_Random IN {TRUE, FALSE}; Offside_FD_On_Random IN {TRUE, FALSE}; Offside_Modes_On_Random IN {TRUE, FALSE}; Offside_Roll_Selected_Random IN {TRUE, FALSE}; Offside_Lappr_Selected_Random IN {TRUE, FALSE}; Offside_Altsel_Track_Random IN {TRUE, FALSE}; Offside_Vappr_Selected_Random IN {TRUE, FALSE}; Offside_Vappr_Active_Random IN {TRUE, FALSE}; Offside_Lappr_Active_Random IN {TRUE, FALSE}; Offside_Lga_Selected_Random IN {TRUE, FALSE}; Offside_Pitch_Selected_Random IN {TRUE, FALSE}; Offside_Vs_Selected_Random IN {TRUE, FALSE}; Offside_Flc_Selected_Random IN {TRUE, FALSE}; Offside_Alt_Selected_Random IN {TRUE, FALSE}; Offside_Altsel_Selected_Random IN {TRUE, FALSE}; Offside_Altsel_Active_Random IN {TRUE, FALSE}; Offside_Vga_Selected_Random IN {TRUE, FALSE} INITIALIZATION Is_LAPPR_Selected = FALSE; Is_LAPPR_Selected_Undefined = FALSE; Independent_Mode = On_Off_Off; Independent_Mode_Undefined = FALSE; Is_ALT_Selected = FALSE; Is_ALT_Selected_Undefined = FALSE; Onside_FD_On = FALSE; Onside_FD_On_Undefined = FALSE; Onside_FD = On_Off_Off; Onside_FD_Undefined = FALSE; ALTSEL_Active_Undefined = TRUE; Pilot_Flying = Side_LEFT; Pilot_Flying_Undefined = FALSE; Is_LAPPR_Active = FALSE; Is_LAPPR_Active_Undefined = FALSE; ALT_Undefined = TRUE; Is_ALTSEL_Active = FALSE; Is_ALTSEL_Active_Undefined = FALSE; VAPPR_Selected_Undefined = TRUE; Is_ALTSEL_Selected = FALSE; Is_ALTSEL_Selected_Undefined = FALSE; Is_PITCH_Active = FALSE; Is_PITCH_Active_Undefined = FALSE; Is_ROLL_Selected = FALSE; Is_ROLL_Selected_Undefined = FALSE; Is_VGA_Selected = FALSE; Is_VGA_Selected_Undefined = FALSE; VGA_Undefined = TRUE; Is_VGA_Active = FALSE; Is_VGA_Active_Undefined = FALSE; When_Selected_Nav_Source_Changed = FALSE; When_Selected_Nav_Source_Changed_Undefined = FALSE; When_Selected_Nav_Frequency_Changed = FALSE; When_Selected_Nav_Frequency_Changed_Undefined = FALSE; VS_Lamp = Lamp_OFF; VS_Lamp_Undefined = FALSE; HDG_Lamp = Lamp_OFF; HDG_Lamp_Undefined = FALSE; NAV_Lamp = Lamp_OFF; NAV_Lamp_Undefined = FALSE; FLC_Lamp = Lamp_OFF; FLC_Lamp_Undefined = FALSE; ALT_Lamp = Lamp_OFF; ALT_Lamp_Undefined = FALSE; NAV_Undefined = TRUE; APPR_Lamp = Lamp_OFF; APPR_Lamp_Undefined = FALSE; AP = AP_State_Disengaged; AP_Undefined = FALSE; Offside_FD = On_Off_Off; Offside_FD_Undefined = FALSE; AP_Lamp = Lamp_OFF; AP_Lamp_Undefined = FALSE; LGA_Undefined = TRUE; ALTSEL_Undefined = TRUE; Is_AP_Engaged = FALSE; Is_AP_Engaged_Undefined = FALSE; Is_Offside_VGA_Active = FALSE; Is_Offside_VGA_Active_Undefined = FALSE; Is_Offside_LAPPR_Active = FALSE; Is_Offside_LAPPR_Active_Undefined = FALSE; Is_Offside_VAPPR_Active = FALSE; Is_Offside_VAPPR_Active_Undefined = FALSE; Offside_Modes = On_Off_Off; Offside_Modes_Undefined = FALSE; Offside_NAV_Undefined = TRUE; Offside_NAV_Selected_Undefined = TRUE; Offside_ROLL_Undefined = TRUE; Offside_HDG_Undefined = TRUE; Offside_LAPPR_Selected_Undefined = TRUE; Offside_VS_Undefined = TRUE; Offside_LAPPR_Undefined = TRUE; Is_FLC_Selected = FALSE; Is_FLC_Selected_Undefined = FALSE; Is_FLC_Active = FALSE; Is_FLC_Active_Undefined = FALSE; Offside_LGA_Undefined = TRUE; Offside_ALTSEL_Undefined = TRUE; Offside_PITCH_Undefined = TRUE; Offside_FLC_Undefined = TRUE; Offside_ALTSEL_Selected_Undefined = TRUE; Offside_ALT_Undefined = TRUE; Offside_ALTSEL_Active_Undefined = TRUE; Offside_VAPPR_Undefined = TRUE; Offside_VAPPR_Selected_Undefined = TRUE; Offside_VGA_Undefined = TRUE; Is_ALTSEL_Track = FALSE; Is_ALTSEL_Track_Undefined = FALSE; Is_HDG_Selected = FALSE; Is_HDG_Selected_Undefined = FALSE; Is_LGA_Active = FALSE; Is_LGA_Active_Undefined = FALSE; Is_ROLL_Active = FALSE; Is_ROLL_Active_Undefined = FALSE; Is_NAV_Selected = FALSE; Is_NAV_Selected_Undefined = FALSE; Is_HDG_Active = FALSE; Is_HDG_Active_Undefined = FALSE; Modes = On_Off_Off; Modes_Undefined = FALSE; LAPPR_Selected_Undefined = TRUE; Mode_Annunciations_On = FALSE; Mode_Annunciations_On_Undefined = FALSE; Is_PITCH_Selected = FALSE; Is_PITCH_Selected_Undefined = FALSE; VAPPR_Undefined = TRUE; ALTSEL_Selected_Undefined = TRUE; ROLL_Undefined = TRUE; Is_VS_Selected = FALSE; Is_VS_Selected_Undefined = FALSE; VS_Undefined = TRUE; Is_This_Side_Active = TRUE; Is_This_Side_Active_Undefined = FALSE; Is_ALT_Active = FALSE; Is_ALT_Active_Undefined = FALSE; Is_VAPPR_Selected = FALSE; Is_VAPPR_Selected_Undefined = FALSE; Is_VAPPR_Active = FALSE; Is_VAPPR_Active_Undefined = FALSE; Is_NAV_Active = FALSE; Is_NAV_Active_Undefined = FALSE; LAPPR_Undefined = TRUE; Is_VS_Active = FALSE; Is_VS_Active_Undefined = FALSE; HDG_Undefined = TRUE; PITCH_Undefined = TRUE; Is_LGA_Selected = FALSE; Is_LGA_Selected_Undefined = FALSE; NAV_Selected_Undefined = TRUE; FLC_Undefined = TRUE; FD_Switch_Undefined = TRUE; HDG_Switch_Undefined = TRUE; Is_NAV_Track_Cond_Met = FALSE; Is_NAV_Track_Cond_Met_Undefined = FALSE; Is_ALTSEL_Capture_Cond_Met = FALSE; Is_ALTSEL_Capture_Cond_Met_Undefined = FALSE; Is_ALTSEL_Track_Cond_Met = FALSE; Is_ALTSEL_Track_Cond_Met_Undefined = FALSE; Is_LAPPR_Track_Cond_Met = FALSE; Is_LAPPR_Track_Cond_Met_Undefined = FALSE; Is_VAPPR_Track_Cond_Met = FALSE; Is_VAPPR_Track_Cond_Met_Undefined = FALSE; VS_Switch_Undefined = TRUE; NAV_Switch_Undefined = TRUE; FLC_Switch_Undefined = TRUE; APPR_Switch_Undefined = TRUE; ALT_Switch_Undefined = TRUE; SYNC_Switch_Undefined = TRUE; Transfer_Switch_Undefined = TRUE; VS_Pitch_Wheel_In_Motion_Undefined = TRUE; GA_Switch_Undefined = TRUE; AP_Engage_Switch_Undefined = TRUE; AP_Disconnect_Switch_Undefined = TRUE; Overspeed_Undefined = TRUE; ALTSEL_Target_Altitude_Changed = TRUE; ALTSEL_Target_Altitude_Changed_Undefined = FALSE; Offside_Hdg_Selected_Undefined = TRUE; Offside_Nav_Selected_Undefined = TRUE; Offside_Nav_Active_Undefined = TRUE; Offside_FGS_Active_Undefined = TRUE; Offside_FD_On_Undefined = TRUE; Offside_Modes_On_Undefined = TRUE; Offside_Roll_Selected_Undefined = TRUE; Offside_Lappr_Selected_Undefined = TRUE; Offside_Altsel_Track_Undefined = TRUE; Offside_Vappr_Selected_Undefined = TRUE; Offside_Vappr_Active_Undefined = TRUE; Offside_Lappr_Active_Undefined = TRUE; Offside_Lga_Selected_Undefined = TRUE; Offside_Pitch_Selected_Undefined = TRUE; Offside_Vs_Selected_Undefined = TRUE; Offside_Flc_Selected_Undefined = TRUE; Offside_Alt_Selected_Undefined = TRUE; Offside_Altsel_Selected_Undefined = TRUE; Offside_Altsel_Active_Undefined = TRUE; Offside_Vga_Selected_Undefined = TRUE; SystemTime = 0; TRANSITION Is_LAPPR_Selected' = IF Is_LAPPR_Selected_Undefined' THEN Is_LAPPR_Selected_Random' ELSIF TRUE THEN ((NOT LAPPR_Undefined') AND (LAPPR' = Base_State_Selected)) ELSE Is_LAPPR_Selected ENDIF; Is_LAPPR_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_LAPPR_Selected_Undefined ENDIF; Independent_Mode' = IF Independent_Mode_Undefined' THEN Independent_Mode_Random' ELSIF m_Independent_Mode_Condition' THEN On_Off_On ELSIF (NOT m_Independent_Mode_Condition') THEN On_Off_Off ELSE Independent_Mode ENDIF; Independent_Mode_Undefined' = IF m_Independent_Mode_Condition' THEN FALSE ELSIF (NOT m_Independent_Mode_Condition') THEN FALSE ELSE Independent_Mode_Undefined ENDIF; Is_ALT_Selected' = IF Is_ALT_Selected_Undefined' THEN Is_ALT_Selected_Random' ELSIF TRUE THEN ((NOT ALT_Undefined') AND (ALT' = Base_State_Selected)) ELSE Is_ALT_Selected ENDIF; Is_ALT_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_ALT_Selected_Undefined ENDIF; Onside_FD_On' = IF Onside_FD_On_Undefined' THEN Onside_FD_On_Random' ELSIF TRUE THEN ((NOT Onside_FD_Undefined') AND (Onside_FD' = On_Off_On)) ELSE Onside_FD_On ENDIF; Onside_FD_On_Undefined' = IF TRUE THEN FALSE ELSE Onside_FD_On_Undefined ENDIF; Onside_FD' = IF Onside_FD_Undefined' THEN Onside_FD_Random' ELSIF (m_When_Turn_FD_On' AND ((NOT Onside_FD_Undefined) AND (Onside_FD = On_Off_Off))) THEN On_Off_On ELSIF (m_When_Turn_FD_Off' AND ((NOT Onside_FD_Undefined) AND (Onside_FD = On_Off_On))) THEN On_Off_Off ELSE Onside_FD ENDIF; Onside_FD_Undefined' = IF (m_When_Turn_FD_On' AND ((NOT Onside_FD_Undefined) AND (Onside_FD = On_Off_Off))) THEN FALSE ELSIF (m_When_Turn_FD_Off' AND ((NOT Onside_FD_Undefined) AND (Onside_FD = On_Off_On))) THEN FALSE ELSE Onside_FD_Undefined ENDIF; ALTSEL_Active' = IF ALTSEL_Active_Undefined' THEN ALTSEL_Active_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_ALTSEL_Active' ELSIF (TRUE AND ALTSEL_Active_Undefined) THEN Active_State_Capture ELSIF (m_Track_ALTSEL' AND ((NOT ALTSEL_Active_Undefined) AND (ALTSEL_Active = Active_State_Capture))) THEN Active_State_Track ELSE ALTSEL_Active ENDIF; ALTSEL_Active_Undefined' = IF (ALTSEL_Selected_Undefined' OR ((NOT ALTSEL_Selected_Undefined') AND (ALTSEL_Selected' /= Selected_State_Active))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (TRUE AND ALTSEL_Active_Undefined) THEN FALSE ELSIF (m_Track_ALTSEL' AND ((NOT ALTSEL_Active_Undefined) AND (ALTSEL_Active = Active_State_Capture))) THEN FALSE ELSE ALTSEL_Active_Undefined ENDIF; Pilot_Flying' = IF Pilot_Flying_Undefined' THEN Pilot_Flying_Random' ELSIF (m_When_Transfer_Switch_Pressed_Seen' AND ((NOT Pilot_Flying_Undefined) AND (Pilot_Flying = Side_LEFT))) THEN Side_RIGHT ELSIF (m_When_Transfer_Switch_Pressed_Seen' AND ((NOT Pilot_Flying_Undefined) AND (Pilot_Flying = Side_RIGHT))) THEN Side_LEFT ELSE Pilot_Flying ENDIF; Pilot_Flying_Undefined' = IF (m_When_Transfer_Switch_Pressed_Seen' AND ((NOT Pilot_Flying_Undefined) AND (Pilot_Flying = Side_LEFT))) THEN FALSE ELSIF (m_When_Transfer_Switch_Pressed_Seen' AND ((NOT Pilot_Flying_Undefined) AND (Pilot_Flying = Side_RIGHT))) THEN FALSE ELSE Pilot_Flying_Undefined ENDIF; Is_LAPPR_Active' = IF Is_LAPPR_Active_Undefined' THEN Is_LAPPR_Active_Random' ELSIF TRUE THEN ((NOT LAPPR_Selected_Undefined') AND (LAPPR_Selected' = Selected_State_Active)) ELSE Is_LAPPR_Active ENDIF; Is_LAPPR_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_LAPPR_Active_Undefined ENDIF; ALT' = IF ALT_Undefined' THEN ALT_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_ALT' ELSIF (((NOT m_Select_ALT') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ALT_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_ALT' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ALT_Undefined) THEN Base_State_Selected ELSIF ((m_Select_ALT' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALT_Undefined) AND (ALT = Base_State_Cleared))) THEN Base_State_Selected ELSIF ((m_Deselect_ALT' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALT_Undefined) AND (ALT = Base_State_Selected))) THEN Base_State_Cleared ELSE ALT ENDIF; ALT_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_ALT') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ALT_Undefined) THEN FALSE ELSIF ((m_Select_ALT' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ALT_Undefined) THEN FALSE ELSIF ((m_Select_ALT' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALT_Undefined) AND (ALT = Base_State_Cleared))) THEN FALSE ELSIF ((m_Deselect_ALT' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALT_Undefined) AND (ALT = Base_State_Selected))) THEN FALSE ELSE ALT_Undefined ENDIF; Is_ALTSEL_Active' = IF Is_ALTSEL_Active_Undefined' THEN Is_ALTSEL_Active_Random' ELSIF TRUE THEN ((NOT ALTSEL_Selected_Undefined') AND (ALTSEL_Selected' = Selected_State_Active)) ELSE Is_ALTSEL_Active ENDIF; Is_ALTSEL_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_ALTSEL_Active_Undefined ENDIF; VAPPR_Selected' = IF VAPPR_Selected_Undefined' THEN VAPPR_Selected_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_VAPPR_Selected' ELSIF (TRUE AND VAPPR_Selected_Undefined) THEN Selected_State_Armed ELSIF ((m_Activate_VAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VAPPR_Selected_Undefined) AND (VAPPR_Selected = Selected_State_Armed))) THEN Selected_State_Active ELSE VAPPR_Selected ENDIF; VAPPR_Selected_Undefined' = IF (VAPPR_Undefined' OR ((NOT VAPPR_Undefined') AND (VAPPR' /= Base_State_Selected))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (TRUE AND VAPPR_Selected_Undefined) THEN FALSE ELSIF ((m_Activate_VAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VAPPR_Selected_Undefined) AND (VAPPR_Selected = Selected_State_Armed))) THEN FALSE ELSE VAPPR_Selected_Undefined ENDIF; Is_ALTSEL_Selected' = IF Is_ALTSEL_Selected_Undefined' THEN Is_ALTSEL_Selected_Random' ELSIF TRUE THEN ((NOT ALTSEL_Undefined') AND (ALTSEL' = Base_State_Selected)) ELSE Is_ALTSEL_Selected ENDIF; Is_ALTSEL_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_ALTSEL_Selected_Undefined ENDIF; Is_PITCH_Active' = IF Is_PITCH_Active_Undefined' THEN Is_PITCH_Active_Random' ELSIF TRUE THEN ((NOT PITCH_Undefined') AND (PITCH' = Base_State_Selected)) ELSE Is_PITCH_Active ENDIF; Is_PITCH_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_PITCH_Active_Undefined ENDIF; Is_ROLL_Selected' = IF Is_ROLL_Selected_Undefined' THEN Is_ROLL_Selected_Random' ELSIF TRUE THEN ((NOT ROLL_Undefined') AND (ROLL' = Base_State_Selected)) ELSE Is_ROLL_Selected ENDIF; Is_ROLL_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_ROLL_Selected_Undefined ENDIF; Is_VGA_Selected' = IF Is_VGA_Selected_Undefined' THEN Is_VGA_Selected_Random' ELSIF TRUE THEN ((NOT VGA_Undefined') AND (VGA' = Base_State_Selected)) ELSE Is_VGA_Selected ENDIF; Is_VGA_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_VGA_Selected_Undefined ENDIF; VGA' = IF VGA_Undefined' THEN VGA_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_VGA' ELSIF (((NOT m_Select_VGA') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VGA_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_VGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VGA_Undefined) THEN Base_State_Selected ELSIF ((m_Select_VGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VGA_Undefined) AND (VGA = Base_State_Cleared))) THEN Base_State_Selected ELSIF ((m_Deselect_VGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VGA_Undefined) AND (VGA = Base_State_Selected))) THEN Base_State_Cleared ELSE VGA ENDIF; VGA_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_VGA') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VGA_Undefined) THEN FALSE ELSIF ((m_Select_VGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VGA_Undefined) THEN FALSE ELSIF ((m_Select_VGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VGA_Undefined) AND (VGA = Base_State_Cleared))) THEN FALSE ELSIF ((m_Deselect_VGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VGA_Undefined) AND (VGA = Base_State_Selected))) THEN FALSE ELSE VGA_Undefined ENDIF; Is_VGA_Active' = IF Is_VGA_Active_Undefined' THEN Is_VGA_Active_Random' ELSIF TRUE THEN ((NOT VGA_Undefined') AND (VGA' = Base_State_Selected)) ELSE Is_VGA_Active ENDIF; Is_VGA_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_VGA_Active_Undefined ENDIF; When_Selected_Nav_Source_Changed' = IF When_Selected_Nav_Source_Changed_Undefined' THEN When_Selected_Nav_Source_Changed_Random' ELSE When_Selected_Nav_Source_Changed ENDIF; When_Selected_Nav_Source_Changed_Undefined' = When_Selected_Nav_Source_Changed_Undefined; When_Selected_Nav_Frequency_Changed' = IF When_Selected_Nav_Frequency_Changed_Undefined' THEN When_Selected_Nav_Frequency_Changed_Random' ELSE When_Selected_Nav_Frequency_Changed ENDIF; When_Selected_Nav_Frequency_Changed_Undefined' = When_Selected_Nav_Frequency_Changed_Undefined; VS_Lamp' = IF VS_Lamp_Undefined' THEN VS_Lamp_Random' ELSIF (NOT Is_VS_Selected_Undefined' AND Is_VS_Selected') THEN Lamp_ON ELSIF (NOT (NOT Is_VS_Selected_Undefined' AND Is_VS_Selected')) THEN Lamp_OFF ELSE VS_Lamp ENDIF; VS_Lamp_Undefined' = IF (NOT Is_VS_Selected_Undefined' AND Is_VS_Selected') THEN FALSE ELSIF (NOT (NOT Is_VS_Selected_Undefined' AND Is_VS_Selected')) THEN FALSE ELSE VS_Lamp_Undefined ENDIF; HDG_Lamp' = IF HDG_Lamp_Undefined' THEN HDG_Lamp_Random' ELSIF (NOT Is_HDG_Selected_Undefined' AND Is_HDG_Selected') THEN Lamp_ON ELSIF (NOT (NOT Is_HDG_Selected_Undefined' AND Is_HDG_Selected')) THEN Lamp_OFF ELSE HDG_Lamp ENDIF; HDG_Lamp_Undefined' = IF (NOT Is_HDG_Selected_Undefined' AND Is_HDG_Selected') THEN FALSE ELSIF (NOT (NOT Is_HDG_Selected_Undefined' AND Is_HDG_Selected')) THEN FALSE ELSE HDG_Lamp_Undefined ENDIF; NAV_Lamp' = IF NAV_Lamp_Undefined' THEN NAV_Lamp_Random' ELSIF (NOT Is_NAV_Selected_Undefined' AND Is_NAV_Selected') THEN Lamp_ON ELSIF (NOT (NOT Is_NAV_Selected_Undefined' AND Is_NAV_Selected')) THEN Lamp_OFF ELSE NAV_Lamp ENDIF; NAV_Lamp_Undefined' = IF (NOT Is_NAV_Selected_Undefined' AND Is_NAV_Selected') THEN FALSE ELSIF (NOT (NOT Is_NAV_Selected_Undefined' AND Is_NAV_Selected')) THEN FALSE ELSE NAV_Lamp_Undefined ENDIF; FLC_Lamp' = IF FLC_Lamp_Undefined' THEN FLC_Lamp_Random' ELSIF (NOT Is_FLC_Selected_Undefined' AND Is_FLC_Selected') THEN Lamp_ON ELSIF (NOT (NOT Is_FLC_Selected_Undefined' AND Is_FLC_Selected')) THEN Lamp_OFF ELSE FLC_Lamp ENDIF; FLC_Lamp_Undefined' = IF (NOT Is_FLC_Selected_Undefined' AND Is_FLC_Selected') THEN FALSE ELSIF (NOT (NOT Is_FLC_Selected_Undefined' AND Is_FLC_Selected')) THEN FALSE ELSE FLC_Lamp_Undefined ENDIF; ALT_Lamp' = IF ALT_Lamp_Undefined' THEN ALT_Lamp_Random' ELSIF (NOT Is_ALT_Selected_Undefined' AND Is_ALT_Selected') THEN Lamp_ON ELSIF (NOT (NOT Is_ALT_Selected_Undefined' AND Is_ALT_Selected')) THEN Lamp_OFF ELSE ALT_Lamp ENDIF; ALT_Lamp_Undefined' = IF (NOT Is_ALT_Selected_Undefined' AND Is_ALT_Selected') THEN FALSE ELSIF (NOT (NOT Is_ALT_Selected_Undefined' AND Is_ALT_Selected')) THEN FALSE ELSE ALT_Lamp_Undefined ENDIF; NAV' = IF NAV_Undefined' THEN NAV_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_NAV' ELSIF (((NOT m_Select_NAV') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND NAV_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_NAV' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND NAV_Undefined) THEN Base_State_Selected ELSIF ((m_Select_NAV' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT NAV_Undefined) AND (NAV = Base_State_Cleared))) THEN Base_State_Selected ELSIF ((((m_Deselect_NAV' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT NAV_Undefined) AND (NAV = Base_State_Selected))) OR (((m_Dearm_NAV' AND ((NOT NAV_Selected_Undefined) AND (NAV_Selected = Selected_State_Armed))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT NAV_Undefined) AND (NAV = Base_State_Selected)))) OR (((m_Deactivate_NAV' AND ((NOT NAV_Selected_Undefined) AND (NAV_Selected = Selected_State_Active))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT NAV_Undefined) AND (NAV = Base_State_Selected)))) THEN Base_State_Cleared ELSE NAV ENDIF; NAV_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_NAV') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND NAV_Undefined) THEN FALSE ELSIF ((m_Select_NAV' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND NAV_Undefined) THEN FALSE ELSIF ((m_Select_NAV' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT NAV_Undefined) AND (NAV = Base_State_Cleared))) THEN FALSE ELSIF ((((m_Deselect_NAV' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT NAV_Undefined) AND (NAV = Base_State_Selected))) OR (((m_Dearm_NAV' AND ((NOT NAV_Selected_Undefined) AND (NAV_Selected = Selected_State_Armed))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT NAV_Undefined) AND (NAV = Base_State_Selected)))) OR (((m_Deactivate_NAV' AND ((NOT NAV_Selected_Undefined) AND (NAV_Selected = Selected_State_Active))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT NAV_Undefined) AND (NAV = Base_State_Selected)))) THEN FALSE ELSE NAV_Undefined ENDIF; APPR_Lamp' = IF APPR_Lamp_Undefined' THEN APPR_Lamp_Random' ELSIF ((NOT Is_LAPPR_Selected_Undefined' AND Is_LAPPR_Selected') OR (NOT Is_VAPPR_Selected_Undefined' AND Is_VAPPR_Selected')) THEN Lamp_ON ELSIF ((NOT (NOT Is_LAPPR_Selected_Undefined' AND Is_LAPPR_Selected')) AND (NOT (NOT Is_VAPPR_Selected_Undefined' AND Is_VAPPR_Selected'))) THEN Lamp_OFF ELSE APPR_Lamp ENDIF; APPR_Lamp_Undefined' = IF ((NOT Is_LAPPR_Selected_Undefined' AND Is_LAPPR_Selected') OR (NOT Is_VAPPR_Selected_Undefined' AND Is_VAPPR_Selected')) THEN FALSE ELSIF ((NOT (NOT Is_LAPPR_Selected_Undefined' AND Is_LAPPR_Selected')) AND (NOT (NOT Is_VAPPR_Selected_Undefined' AND Is_VAPPR_Selected'))) THEN FALSE ELSE APPR_Lamp_Undefined ENDIF; AP' = IF AP_Undefined' THEN AP_Random' ELSIF (m_When_Engage_AP' AND ((NOT AP_Undefined) AND (AP = AP_State_Disengaged))) THEN AP_State_Engaged ELSIF (m_When_Disengage_AP' AND ((NOT AP_Undefined) AND (AP = AP_State_Engaged))) THEN AP_State_Disengaged ELSE AP ENDIF; AP_Undefined' = IF (m_When_Engage_AP' AND ((NOT AP_Undefined) AND (AP = AP_State_Disengaged))) THEN FALSE ELSIF (m_When_Disengage_AP' AND ((NOT AP_Undefined) AND (AP = AP_State_Engaged))) THEN FALSE ELSE AP_Undefined ENDIF; Offside_FD' = IF Offside_FD_Undefined' THEN Offside_FD_Random' ELSIF (NOT (NOT Offside_FD_On_Undefined' AND Offside_FD_On')) THEN On_Off_Off ELSIF (NOT Offside_FD_On_Undefined' AND Offside_FD_On') THEN On_Off_On ELSE Offside_FD ENDIF; Offside_FD_Undefined' = IF (NOT (NOT Offside_FD_On_Undefined' AND Offside_FD_On')) THEN FALSE ELSIF (NOT Offside_FD_On_Undefined' AND Offside_FD_On') THEN FALSE ELSE Offside_FD_Undefined ENDIF; AP_Lamp' = IF AP_Lamp_Undefined' THEN AP_Lamp_Random' ELSIF (NOT Is_AP_Engaged_Undefined' AND Is_AP_Engaged') THEN Lamp_ON ELSIF (NOT (NOT Is_AP_Engaged_Undefined' AND Is_AP_Engaged')) THEN Lamp_OFF ELSE AP_Lamp ENDIF; AP_Lamp_Undefined' = IF (NOT Is_AP_Engaged_Undefined' AND Is_AP_Engaged') THEN FALSE ELSIF (NOT (NOT Is_AP_Engaged_Undefined' AND Is_AP_Engaged')) THEN FALSE ELSE AP_Lamp_Undefined ENDIF; LGA' = IF LGA_Undefined' THEN LGA_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_LGA' ELSIF (((NOT m_Select_LGA') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND LGA_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_LGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND LGA_Undefined) THEN Base_State_Selected ELSIF ((m_Select_LGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LGA_Undefined) AND (LGA = Base_State_Cleared))) THEN Base_State_Selected ELSIF ((m_Deselect_LGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LGA_Undefined) AND (LGA = Base_State_Selected))) THEN Base_State_Cleared ELSE LGA ENDIF; LGA_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_LGA') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND LGA_Undefined) THEN FALSE ELSIF ((m_Select_LGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND LGA_Undefined) THEN FALSE ELSIF ((m_Select_LGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LGA_Undefined) AND (LGA = Base_State_Cleared))) THEN FALSE ELSIF ((m_Deselect_LGA' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LGA_Undefined) AND (LGA = Base_State_Selected))) THEN FALSE ELSE LGA_Undefined ENDIF; ALTSEL' = IF ALTSEL_Undefined' THEN ALTSEL_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_ALTSEL' ELSIF (((NOT m_Select_ALTSEL') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ALTSEL_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_ALTSEL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ALTSEL_Undefined) THEN Base_State_Selected ELSIF ((m_Select_ALTSEL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALTSEL_Undefined) AND (ALTSEL = Base_State_Cleared))) THEN Base_State_Selected ELSIF ((m_Deselect_ALTSEL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALTSEL_Undefined) AND (ALTSEL = Base_State_Selected))) THEN Base_State_Cleared ELSE ALTSEL ENDIF; ALTSEL_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_ALTSEL') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ALTSEL_Undefined) THEN FALSE ELSIF ((m_Select_ALTSEL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ALTSEL_Undefined) THEN FALSE ELSIF ((m_Select_ALTSEL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALTSEL_Undefined) AND (ALTSEL = Base_State_Cleared))) THEN FALSE ELSIF ((m_Deselect_ALTSEL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALTSEL_Undefined) AND (ALTSEL = Base_State_Selected))) THEN FALSE ELSE ALTSEL_Undefined ENDIF; Is_AP_Engaged' = IF Is_AP_Engaged_Undefined' THEN Is_AP_Engaged_Random' ELSIF TRUE THEN ((NOT AP_Undefined') AND (AP' = AP_State_Engaged)) ELSE Is_AP_Engaged ENDIF; Is_AP_Engaged_Undefined' = IF TRUE THEN FALSE ELSE Is_AP_Engaged_Undefined ENDIF; Is_Offside_VGA_Active' = IF Is_Offside_VGA_Active_Undefined' THEN Is_Offside_VGA_Active_Random' ELSIF TRUE THEN ((NOT Offside_VGA_Undefined') AND (Offside_VGA' = Base_State_Selected)) ELSE Is_Offside_VGA_Active ENDIF; Is_Offside_VGA_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_Offside_VGA_Active_Undefined ENDIF; Is_Offside_LAPPR_Active' = IF Is_Offside_LAPPR_Active_Undefined' THEN Is_Offside_LAPPR_Active_Random' ELSIF TRUE THEN ((NOT Offside_LAPPR_Selected_Undefined') AND (Offside_LAPPR_Selected' = Selected_State_Active)) ELSE Is_Offside_LAPPR_Active ENDIF; Is_Offside_LAPPR_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_Offside_LAPPR_Active_Undefined ENDIF; Is_Offside_VAPPR_Active' = IF Is_Offside_VAPPR_Active_Undefined' THEN Is_Offside_VAPPR_Active_Random' ELSIF TRUE THEN ((NOT Offside_VAPPR_Selected_Undefined') AND (Offside_VAPPR_Selected' = Selected_State_Active)) ELSE Is_Offside_VAPPR_Active ENDIF; Is_Offside_VAPPR_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_Offside_VAPPR_Active_Undefined ENDIF; Offside_Modes' = IF Offside_Modes_Undefined' THEN Offside_Modes_Random' ELSIF (NOT (NOT Offside_Modes_On_Undefined' AND Offside_Modes_On')) THEN On_Off_Off ELSIF (NOT Offside_Modes_On_Undefined' AND Offside_Modes_On') THEN On_Off_On ELSE Offside_Modes ENDIF; Offside_Modes_Undefined' = IF (NOT (NOT Offside_Modes_On_Undefined' AND Offside_Modes_On')) THEN FALSE ELSIF (NOT Offside_Modes_On_Undefined' AND Offside_Modes_On') THEN FALSE ELSE Offside_Modes_Undefined ENDIF; Offside_NAV' = IF Offside_NAV_Undefined' THEN Offside_NAV_Random' ELSIF (NOT (NOT Offside_Nav_Selected_Undefined' AND Offside_Nav_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Nav_Selected_Undefined' AND Offside_Nav_Selected') THEN Base_State_Selected ELSE Offside_NAV ENDIF; Offside_NAV_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Nav_Selected_Undefined' AND Offside_Nav_Selected')) THEN FALSE ELSIF (NOT Offside_Nav_Selected_Undefined' AND Offside_Nav_Selected') THEN FALSE ELSE Offside_NAV_Undefined ENDIF; Offside_NAV_Selected' = IF Offside_NAV_Selected_Undefined' THEN Offside_NAV_Selected_Random' ELSIF (NOT (NOT Offside_Nav_Active_Undefined' AND Offside_Nav_Active')) THEN Selected_State_Armed ELSIF (NOT Offside_Nav_Active_Undefined' AND Offside_Nav_Active') THEN Selected_State_Active ELSE Offside_NAV_Selected ENDIF; Offside_NAV_Selected_Undefined' = IF (Offside_NAV_Undefined' OR ((NOT Offside_NAV_Undefined') AND (Offside_NAV' /= Base_State_Selected))) THEN TRUE ELSIF (NOT (NOT Offside_Nav_Active_Undefined' AND Offside_Nav_Active')) THEN FALSE ELSIF (NOT Offside_Nav_Active_Undefined' AND Offside_Nav_Active') THEN FALSE ELSE Offside_NAV_Selected_Undefined ENDIF; Offside_ROLL' = IF Offside_ROLL_Undefined' THEN Offside_ROLL_Random' ELSIF (NOT (NOT Offside_Roll_Selected_Undefined' AND Offside_Roll_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Roll_Selected_Undefined' AND Offside_Roll_Selected') THEN Base_State_Selected ELSE Offside_ROLL ENDIF; Offside_ROLL_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Roll_Selected_Undefined' AND Offside_Roll_Selected')) THEN FALSE ELSIF (NOT Offside_Roll_Selected_Undefined' AND Offside_Roll_Selected') THEN FALSE ELSE Offside_ROLL_Undefined ENDIF; Offside_HDG' = IF Offside_HDG_Undefined' THEN Offside_HDG_Random' ELSIF (NOT (NOT Offside_Hdg_Selected_Undefined' AND Offside_Hdg_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Hdg_Selected_Undefined' AND Offside_Hdg_Selected') THEN Base_State_Selected ELSE Offside_HDG ENDIF; Offside_HDG_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Hdg_Selected_Undefined' AND Offside_Hdg_Selected')) THEN FALSE ELSIF (NOT Offside_Hdg_Selected_Undefined' AND Offside_Hdg_Selected') THEN FALSE ELSE Offside_HDG_Undefined ENDIF; Offside_LAPPR_Selected' = IF Offside_LAPPR_Selected_Undefined' THEN Offside_LAPPR_Selected_Random' ELSIF (NOT (NOT Offside_Lappr_Active_Undefined' AND Offside_Lappr_Active')) THEN Selected_State_Armed ELSIF (NOT Offside_Lappr_Active_Undefined' AND Offside_Lappr_Active') THEN Selected_State_Active ELSE Offside_LAPPR_Selected ENDIF; Offside_LAPPR_Selected_Undefined' = IF (Offside_LAPPR_Undefined' OR ((NOT Offside_LAPPR_Undefined') AND (Offside_LAPPR' /= Base_State_Selected))) THEN TRUE ELSIF (NOT (NOT Offside_Lappr_Active_Undefined' AND Offside_Lappr_Active')) THEN FALSE ELSIF (NOT Offside_Lappr_Active_Undefined' AND Offside_Lappr_Active') THEN FALSE ELSE Offside_LAPPR_Selected_Undefined ENDIF; Offside_VS' = IF Offside_VS_Undefined' THEN Offside_VS_Random' ELSIF (NOT (NOT Offside_Vs_Selected_Undefined' AND Offside_Vs_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Vs_Selected_Undefined' AND Offside_Vs_Selected') THEN Base_State_Selected ELSE Offside_VS ENDIF; Offside_VS_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Vs_Selected_Undefined' AND Offside_Vs_Selected')) THEN FALSE ELSIF (NOT Offside_Vs_Selected_Undefined' AND Offside_Vs_Selected') THEN FALSE ELSE Offside_VS_Undefined ENDIF; Offside_LAPPR' = IF Offside_LAPPR_Undefined' THEN Offside_LAPPR_Random' ELSIF (NOT (NOT Offside_Lappr_Selected_Undefined' AND Offside_Lappr_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Lappr_Selected_Undefined' AND Offside_Lappr_Selected') THEN Base_State_Selected ELSE Offside_LAPPR ENDIF; Offside_LAPPR_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Lappr_Selected_Undefined' AND Offside_Lappr_Selected')) THEN FALSE ELSIF (NOT Offside_Lappr_Selected_Undefined' AND Offside_Lappr_Selected') THEN FALSE ELSE Offside_LAPPR_Undefined ENDIF; Is_FLC_Selected' = IF Is_FLC_Selected_Undefined' THEN Is_FLC_Selected_Random' ELSIF TRUE THEN ((NOT FLC_Undefined') AND (FLC' = Base_State_Selected)) ELSE Is_FLC_Selected ENDIF; Is_FLC_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_FLC_Selected_Undefined ENDIF; Is_FLC_Active' = IF Is_FLC_Active_Undefined' THEN Is_FLC_Active_Random' ELSIF TRUE THEN ((NOT FLC_Undefined') AND (FLC' = Base_State_Selected)) ELSE Is_FLC_Active ENDIF; Is_FLC_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_FLC_Active_Undefined ENDIF; Offside_LGA' = IF Offside_LGA_Undefined' THEN Offside_LGA_Random' ELSIF (NOT (NOT Offside_Lga_Selected_Undefined' AND Offside_Lga_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Lga_Selected_Undefined' AND Offside_Lga_Selected') THEN Base_State_Selected ELSE Offside_LGA ENDIF; Offside_LGA_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Lga_Selected_Undefined' AND Offside_Lga_Selected')) THEN FALSE ELSIF (NOT Offside_Lga_Selected_Undefined' AND Offside_Lga_Selected') THEN FALSE ELSE Offside_LGA_Undefined ENDIF; Offside_ALTSEL' = IF Offside_ALTSEL_Undefined' THEN Offside_ALTSEL_Random' ELSIF (NOT (NOT Offside_Altsel_Selected_Undefined' AND Offside_Altsel_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Altsel_Selected_Undefined' AND Offside_Altsel_Selected') THEN Base_State_Selected ELSE Offside_ALTSEL ENDIF; Offside_ALTSEL_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Altsel_Selected_Undefined' AND Offside_Altsel_Selected')) THEN FALSE ELSIF (NOT Offside_Altsel_Selected_Undefined' AND Offside_Altsel_Selected') THEN FALSE ELSE Offside_ALTSEL_Undefined ENDIF; Offside_PITCH' = IF Offside_PITCH_Undefined' THEN Offside_PITCH_Random' ELSIF (NOT (NOT Offside_Pitch_Selected_Undefined' AND Offside_Pitch_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Pitch_Selected_Undefined' AND Offside_Pitch_Selected') THEN Base_State_Selected ELSE Offside_PITCH ENDIF; Offside_PITCH_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Pitch_Selected_Undefined' AND Offside_Pitch_Selected')) THEN FALSE ELSIF (NOT Offside_Pitch_Selected_Undefined' AND Offside_Pitch_Selected') THEN FALSE ELSE Offside_PITCH_Undefined ENDIF; Offside_FLC' = IF Offside_FLC_Undefined' THEN Offside_FLC_Random' ELSIF (NOT (NOT Offside_Flc_Selected_Undefined' AND Offside_Flc_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Flc_Selected_Undefined' AND Offside_Flc_Selected') THEN Base_State_Selected ELSE Offside_FLC ENDIF; Offside_FLC_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Flc_Selected_Undefined' AND Offside_Flc_Selected')) THEN FALSE ELSIF (NOT Offside_Flc_Selected_Undefined' AND Offside_Flc_Selected') THEN FALSE ELSE Offside_FLC_Undefined ENDIF; Offside_ALTSEL_Selected' = IF Offside_ALTSEL_Selected_Undefined' THEN Offside_ALTSEL_Selected_Random' ELSIF (NOT (NOT Offside_Altsel_Active_Undefined' AND Offside_Altsel_Active')) THEN Selected_State_Armed ELSIF (NOT Offside_Altsel_Active_Undefined' AND Offside_Altsel_Active') THEN Selected_State_Active ELSE Offside_ALTSEL_Selected ENDIF; Offside_ALTSEL_Selected_Undefined' = IF (Offside_ALTSEL_Undefined' OR ((NOT Offside_ALTSEL_Undefined') AND (Offside_ALTSEL' /= Base_State_Selected))) THEN TRUE ELSIF (NOT (NOT Offside_Altsel_Active_Undefined' AND Offside_Altsel_Active')) THEN FALSE ELSIF (NOT Offside_Altsel_Active_Undefined' AND Offside_Altsel_Active') THEN FALSE ELSE Offside_ALTSEL_Selected_Undefined ENDIF; Offside_ALT' = IF Offside_ALT_Undefined' THEN Offside_ALT_Random' ELSIF (NOT (NOT Offside_Alt_Selected_Undefined' AND Offside_Alt_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Alt_Selected_Undefined' AND Offside_Alt_Selected') THEN Base_State_Selected ELSE Offside_ALT ENDIF; Offside_ALT_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Alt_Selected_Undefined' AND Offside_Alt_Selected')) THEN FALSE ELSIF (NOT Offside_Alt_Selected_Undefined' AND Offside_Alt_Selected') THEN FALSE ELSE Offside_ALT_Undefined ENDIF; Offside_ALTSEL_Active' = IF Offside_ALTSEL_Active_Undefined' THEN Offside_ALTSEL_Active_Random' ELSIF (NOT (NOT Offside_Altsel_Track_Undefined' AND Offside_Altsel_Track')) THEN Active_State_Capture ELSIF (NOT Offside_Altsel_Track_Undefined' AND Offside_Altsel_Track') THEN Active_State_Track ELSE Offside_ALTSEL_Active ENDIF; Offside_ALTSEL_Active_Undefined' = IF (Offside_ALTSEL_Selected_Undefined' OR ((NOT Offside_ALTSEL_Selected_Undefined') AND (Offside_ALTSEL_Selected' /= Selected_State_Active))) THEN TRUE ELSIF (NOT (NOT Offside_Altsel_Track_Undefined' AND Offside_Altsel_Track')) THEN FALSE ELSIF (NOT Offside_Altsel_Track_Undefined' AND Offside_Altsel_Track') THEN FALSE ELSE Offside_ALTSEL_Active_Undefined ENDIF; Offside_VAPPR' = IF Offside_VAPPR_Undefined' THEN Offside_VAPPR_Random' ELSIF (NOT (NOT Offside_Vappr_Selected_Undefined' AND Offside_Vappr_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Vappr_Selected_Undefined' AND Offside_Vappr_Selected') THEN Base_State_Selected ELSE Offside_VAPPR ENDIF; Offside_VAPPR_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Vappr_Selected_Undefined' AND Offside_Vappr_Selected')) THEN FALSE ELSIF (NOT Offside_Vappr_Selected_Undefined' AND Offside_Vappr_Selected') THEN FALSE ELSE Offside_VAPPR_Undefined ENDIF; Offside_VAPPR_Selected' = IF Offside_VAPPR_Selected_Undefined' THEN Offside_VAPPR_Selected_Random' ELSIF (NOT (NOT Offside_Vappr_Active_Undefined' AND Offside_Vappr_Active')) THEN Selected_State_Armed ELSIF (NOT Offside_Vappr_Active_Undefined' AND Offside_Vappr_Active') THEN Selected_State_Active ELSE Offside_VAPPR_Selected ENDIF; Offside_VAPPR_Selected_Undefined' = IF (Offside_VAPPR_Undefined' OR ((NOT Offside_VAPPR_Undefined') AND (Offside_VAPPR' /= Base_State_Selected))) THEN TRUE ELSIF (NOT (NOT Offside_Vappr_Active_Undefined' AND Offside_Vappr_Active')) THEN FALSE ELSIF (NOT Offside_Vappr_Active_Undefined' AND Offside_Vappr_Active') THEN FALSE ELSE Offside_VAPPR_Selected_Undefined ENDIF; Offside_VGA' = IF Offside_VGA_Undefined' THEN Offside_VGA_Random' ELSIF (NOT (NOT Offside_Vga_Selected_Undefined' AND Offside_Vga_Selected')) THEN Base_State_Cleared ELSIF (NOT Offside_Vga_Selected_Undefined' AND Offside_Vga_Selected') THEN Base_State_Selected ELSE Offside_VGA ENDIF; Offside_VGA_Undefined' = IF (Offside_Modes_Undefined' OR ((NOT Offside_Modes_Undefined') AND (Offside_Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Offside_Vga_Selected_Undefined' AND Offside_Vga_Selected')) THEN FALSE ELSIF (NOT Offside_Vga_Selected_Undefined' AND Offside_Vga_Selected') THEN FALSE ELSE Offside_VGA_Undefined ENDIF; Is_ALTSEL_Track' = IF Is_ALTSEL_Track_Undefined' THEN Is_ALTSEL_Track_Random' ELSIF TRUE THEN ((NOT ALTSEL_Active_Undefined') AND (ALTSEL_Active' = Active_State_Track)) ELSE Is_ALTSEL_Track ENDIF; Is_ALTSEL_Track_Undefined' = IF TRUE THEN FALSE ELSE Is_ALTSEL_Track_Undefined ENDIF; Is_HDG_Selected' = IF Is_HDG_Selected_Undefined' THEN Is_HDG_Selected_Random' ELSIF TRUE THEN ((NOT HDG_Undefined') AND (HDG' = Base_State_Selected)) ELSE Is_HDG_Selected ENDIF; Is_HDG_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_HDG_Selected_Undefined ENDIF; Is_LGA_Active' = IF Is_LGA_Active_Undefined' THEN Is_LGA_Active_Random' ELSIF TRUE THEN ((NOT LGA_Undefined') AND (LGA' = Base_State_Selected)) ELSE Is_LGA_Active ENDIF; Is_LGA_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_LGA_Active_Undefined ENDIF; Is_ROLL_Active' = IF Is_ROLL_Active_Undefined' THEN Is_ROLL_Active_Random' ELSIF TRUE THEN ((NOT ROLL_Undefined') AND (ROLL' = Base_State_Selected)) ELSE Is_ROLL_Active ENDIF; Is_ROLL_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_ROLL_Active_Undefined ENDIF; Is_NAV_Selected' = IF Is_NAV_Selected_Undefined' THEN Is_NAV_Selected_Random' ELSIF TRUE THEN ((NOT NAV_Undefined') AND (NAV' = Base_State_Selected)) ELSE Is_NAV_Selected ENDIF; Is_NAV_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_NAV_Selected_Undefined ENDIF; Is_HDG_Active' = IF Is_HDG_Active_Undefined' THEN Is_HDG_Active_Random' ELSIF TRUE THEN ((NOT HDG_Undefined') AND (HDG' = Base_State_Selected)) ELSE Is_HDG_Active ENDIF; Is_HDG_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_HDG_Active_Undefined ENDIF; Modes' = IF Modes_Undefined' THEN Modes_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_Modes' ELSIF (((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_Turn_Modes_On') AND ((NOT Modes_Undefined) AND (Modes = On_Off_Off))) THEN On_Off_On ELSIF (((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_Turn_Modes_Off') AND ((NOT Modes_Undefined) AND (Modes = On_Off_On))) THEN On_Off_Off ELSE Modes ENDIF; Modes_Undefined' = IF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_Turn_Modes_On') AND ((NOT Modes_Undefined) AND (Modes = On_Off_Off))) THEN FALSE ELSIF (((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_Turn_Modes_Off') AND ((NOT Modes_Undefined) AND (Modes = On_Off_On))) THEN FALSE ELSE Modes_Undefined ENDIF; LAPPR_Selected' = IF LAPPR_Selected_Undefined' THEN LAPPR_Selected_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_LAPPR_Selected' ELSIF (TRUE AND LAPPR_Selected_Undefined) THEN Selected_State_Armed ELSIF ((m_Activate_LAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LAPPR_Selected_Undefined) AND (LAPPR_Selected = Selected_State_Armed))) THEN Selected_State_Active ELSE LAPPR_Selected ENDIF; LAPPR_Selected_Undefined' = IF (LAPPR_Undefined' OR ((NOT LAPPR_Undefined') AND (LAPPR' /= Base_State_Selected))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (TRUE AND LAPPR_Selected_Undefined) THEN FALSE ELSIF ((m_Activate_LAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LAPPR_Selected_Undefined) AND (LAPPR_Selected = Selected_State_Armed))) THEN FALSE ELSE LAPPR_Selected_Undefined ENDIF; Mode_Annunciations_On' = IF Mode_Annunciations_On_Undefined' THEN Mode_Annunciations_On_Random' ELSIF TRUE THEN ((NOT Modes_Undefined') AND (Modes' = On_Off_On)) ELSE Mode_Annunciations_On ENDIF; Mode_Annunciations_On_Undefined' = IF TRUE THEN FALSE ELSE Mode_Annunciations_On_Undefined ENDIF; Is_PITCH_Selected' = IF Is_PITCH_Selected_Undefined' THEN Is_PITCH_Selected_Random' ELSIF TRUE THEN ((NOT PITCH_Undefined') AND (PITCH' = Base_State_Selected)) ELSE Is_PITCH_Selected ENDIF; Is_PITCH_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_PITCH_Selected_Undefined ENDIF; VAPPR' = IF VAPPR_Undefined' THEN VAPPR_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_VAPPR' ELSIF (((NOT m_Select_VAPPR') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VAPPR_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_VAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VAPPR_Undefined) THEN Base_State_Selected ELSIF ((m_Select_VAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VAPPR_Undefined) AND (VAPPR = Base_State_Cleared))) THEN Base_State_Selected ELSIF (((m_Deselect_VAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VAPPR_Undefined) AND (VAPPR = Base_State_Selected))) OR (((m_Deactivate_VAPPR' AND ((NOT VAPPR_Selected_Undefined) AND (VAPPR_Selected = Selected_State_Active))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VAPPR_Undefined) AND (VAPPR = Base_State_Selected)))) THEN Base_State_Cleared ELSE VAPPR ENDIF; VAPPR_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_VAPPR') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VAPPR_Undefined) THEN FALSE ELSIF ((m_Select_VAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VAPPR_Undefined) THEN FALSE ELSIF ((m_Select_VAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VAPPR_Undefined) AND (VAPPR = Base_State_Cleared))) THEN FALSE ELSIF (((m_Deselect_VAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VAPPR_Undefined) AND (VAPPR = Base_State_Selected))) OR (((m_Deactivate_VAPPR' AND ((NOT VAPPR_Selected_Undefined) AND (VAPPR_Selected = Selected_State_Active))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VAPPR_Undefined) AND (VAPPR = Base_State_Selected)))) THEN FALSE ELSE VAPPR_Undefined ENDIF; ALTSEL_Selected' = IF ALTSEL_Selected_Undefined' THEN ALTSEL_Selected_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_ALTSEL_Selected' ELSIF (TRUE AND ALTSEL_Selected_Undefined) THEN Selected_State_Armed ELSIF ((m_Capture_ALTSEL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALTSEL_Selected_Undefined) AND (ALTSEL_Selected = Selected_State_Armed))) THEN Selected_State_Active ELSIF ((m_Deactivate_ALTSEL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALTSEL_Selected_Undefined) AND (ALTSEL_Selected = Selected_State_Active))) THEN Selected_State_Armed ELSE ALTSEL_Selected ENDIF; ALTSEL_Selected_Undefined' = IF (ALTSEL_Undefined' OR ((NOT ALTSEL_Undefined') AND (ALTSEL' /= Base_State_Selected))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (TRUE AND ALTSEL_Selected_Undefined) THEN FALSE ELSIF ((m_Capture_ALTSEL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALTSEL_Selected_Undefined) AND (ALTSEL_Selected = Selected_State_Armed))) THEN FALSE ELSIF ((m_Deactivate_ALTSEL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ALTSEL_Selected_Undefined) AND (ALTSEL_Selected = Selected_State_Active))) THEN FALSE ELSE ALTSEL_Selected_Undefined ENDIF; ROLL' = IF ROLL_Undefined' THEN ROLL_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_ROLL' ELSIF (((NOT m_Select_ROLL') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ROLL_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_ROLL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ROLL_Undefined) THEN Base_State_Selected ELSIF ((m_Select_ROLL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ROLL_Undefined) AND (ROLL = Base_State_Cleared))) THEN Base_State_Selected ELSIF ((m_Deselect_ROLL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ROLL_Undefined) AND (ROLL = Base_State_Selected))) THEN Base_State_Cleared ELSE ROLL ENDIF; ROLL_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_ROLL') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ROLL_Undefined) THEN FALSE ELSIF ((m_Select_ROLL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ROLL_Undefined) THEN FALSE ELSIF ((m_Select_ROLL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ROLL_Undefined) AND (ROLL = Base_State_Cleared))) THEN FALSE ELSIF ((m_Deselect_ROLL' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT ROLL_Undefined) AND (ROLL = Base_State_Selected))) THEN FALSE ELSE ROLL_Undefined ENDIF; Is_VS_Selected' = IF Is_VS_Selected_Undefined' THEN Is_VS_Selected_Random' ELSIF TRUE THEN ((NOT VS_Undefined') AND (VS' = Base_State_Selected)) ELSE Is_VS_Selected ENDIF; Is_VS_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_VS_Selected_Undefined ENDIF; VS' = IF VS_Undefined' THEN VS_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_VS' ELSIF (((NOT m_Select_VS') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VS_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_VS' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VS_Undefined) THEN Base_State_Selected ELSIF ((m_Select_VS' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VS_Undefined) AND (VS = Base_State_Cleared))) THEN Base_State_Selected ELSIF ((m_Deselect_VS' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VS_Undefined) AND (VS = Base_State_Selected))) THEN Base_State_Cleared ELSE VS ENDIF; VS_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_VS') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VS_Undefined) THEN FALSE ELSIF ((m_Select_VS' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND VS_Undefined) THEN FALSE ELSIF ((m_Select_VS' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VS_Undefined) AND (VS = Base_State_Cleared))) THEN FALSE ELSIF ((m_Deselect_VS' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT VS_Undefined) AND (VS = Base_State_Selected))) THEN FALSE ELSE VS_Undefined ENDIF; Is_This_Side_Active' = IF Is_This_Side_Active_Undefined' THEN Is_This_Side_Active_Random' ELSIF (((NOT ((NOT Independent_Mode_Undefined) AND (Independent_Mode = On_Off_Off))) OR (((NOT Independent_Mode_Undefined) AND (Independent_Mode = On_Off_Off)) AND ((NOT Pilot_Flying_Undefined') AND (Pilot_Flying' = THIS_SIDE)))) OR ((((NOT Independent_Mode_Undefined) AND (Independent_Mode = On_Off_Off)) AND (NOT ((NOT Pilot_Flying_Undefined') AND (Pilot_Flying' = THIS_SIDE)))) AND (NOT ((NOT Offside_Modes_Undefined') AND (Offside_Modes' = On_Off_On))))) THEN TRUE ELSIF ((((NOT Independent_Mode_Undefined) AND (Independent_Mode = On_Off_Off)) AND (NOT ((NOT Pilot_Flying_Undefined') AND (Pilot_Flying' = THIS_SIDE)))) AND ((NOT Offside_Modes_Undefined') AND (Offside_Modes' = On_Off_On))) THEN FALSE ELSE Is_This_Side_Active ENDIF; Is_This_Side_Active_Undefined' = IF (((NOT ((NOT Independent_Mode_Undefined) AND (Independent_Mode = On_Off_Off))) OR (((NOT Independent_Mode_Undefined) AND (Independent_Mode = On_Off_Off)) AND ((NOT Pilot_Flying_Undefined') AND (Pilot_Flying' = THIS_SIDE)))) OR ((((NOT Independent_Mode_Undefined) AND (Independent_Mode = On_Off_Off)) AND (NOT ((NOT Pilot_Flying_Undefined') AND (Pilot_Flying' = THIS_SIDE)))) AND (NOT ((NOT Offside_Modes_Undefined') AND (Offside_Modes' = On_Off_On))))) THEN FALSE ELSIF ((((NOT Independent_Mode_Undefined) AND (Independent_Mode = On_Off_Off)) AND (NOT ((NOT Pilot_Flying_Undefined') AND (Pilot_Flying' = THIS_SIDE)))) AND ((NOT Offside_Modes_Undefined') AND (Offside_Modes' = On_Off_On))) THEN FALSE ELSE Is_This_Side_Active_Undefined ENDIF; Is_ALT_Active' = IF Is_ALT_Active_Undefined' THEN Is_ALT_Active_Random' ELSIF TRUE THEN ((NOT ALT_Undefined') AND (ALT' = Base_State_Selected)) ELSE Is_ALT_Active ENDIF; Is_ALT_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_ALT_Active_Undefined ENDIF; Is_VAPPR_Selected' = IF Is_VAPPR_Selected_Undefined' THEN Is_VAPPR_Selected_Random' ELSIF TRUE THEN ((NOT VAPPR_Undefined') AND (VAPPR' = Base_State_Selected)) ELSE Is_VAPPR_Selected ENDIF; Is_VAPPR_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_VAPPR_Selected_Undefined ENDIF; Is_VAPPR_Active' = IF Is_VAPPR_Active_Undefined' THEN Is_VAPPR_Active_Random' ELSIF TRUE THEN ((NOT VAPPR_Selected_Undefined') AND (VAPPR_Selected' = Selected_State_Active)) ELSE Is_VAPPR_Active ENDIF; Is_VAPPR_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_VAPPR_Active_Undefined ENDIF; Is_NAV_Active' = IF Is_NAV_Active_Undefined' THEN Is_NAV_Active_Random' ELSIF TRUE THEN ((NOT NAV_Selected_Undefined') AND (NAV_Selected' = Selected_State_Active)) ELSE Is_NAV_Active ENDIF; Is_NAV_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_NAV_Active_Undefined ENDIF; LAPPR' = IF LAPPR_Undefined' THEN LAPPR_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_LAPPR' ELSIF (((NOT m_Select_LAPPR') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND LAPPR_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_LAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND LAPPR_Undefined) THEN Base_State_Selected ELSIF ((m_Select_LAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LAPPR_Undefined) AND (LAPPR = Base_State_Cleared))) THEN Base_State_Selected ELSIF ((((m_Deselect_LAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LAPPR_Undefined) AND (LAPPR = Base_State_Selected))) OR (((m_Dearm_LAPPR' AND ((NOT LAPPR_Selected_Undefined) AND (LAPPR_Selected = Selected_State_Armed))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LAPPR_Undefined) AND (LAPPR = Base_State_Selected)))) OR (((m_Deactivate_LAPPR' AND ((NOT LAPPR_Selected_Undefined) AND (LAPPR_Selected = Selected_State_Active))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LAPPR_Undefined) AND (LAPPR = Base_State_Selected)))) THEN Base_State_Cleared ELSE LAPPR ENDIF; LAPPR_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_LAPPR') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND LAPPR_Undefined) THEN FALSE ELSIF ((m_Select_LAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND LAPPR_Undefined) THEN FALSE ELSIF ((m_Select_LAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LAPPR_Undefined) AND (LAPPR = Base_State_Cleared))) THEN FALSE ELSIF ((((m_Deselect_LAPPR' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LAPPR_Undefined) AND (LAPPR = Base_State_Selected))) OR (((m_Dearm_LAPPR' AND ((NOT LAPPR_Selected_Undefined) AND (LAPPR_Selected = Selected_State_Armed))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LAPPR_Undefined) AND (LAPPR = Base_State_Selected)))) OR (((m_Deactivate_LAPPR' AND ((NOT LAPPR_Selected_Undefined) AND (LAPPR_Selected = Selected_State_Active))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT LAPPR_Undefined) AND (LAPPR = Base_State_Selected)))) THEN FALSE ELSE LAPPR_Undefined ENDIF; Is_VS_Active' = IF Is_VS_Active_Undefined' THEN Is_VS_Active_Random' ELSIF TRUE THEN ((NOT VS_Undefined') AND (VS' = Base_State_Selected)) ELSE Is_VS_Active ENDIF; Is_VS_Active_Undefined' = IF TRUE THEN FALSE ELSE Is_VS_Active_Undefined ENDIF; HDG' = IF HDG_Undefined' THEN HDG_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_HDG' ELSIF (((NOT m_Select_HDG') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND HDG_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_HDG' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND HDG_Undefined) THEN Base_State_Selected ELSIF ((m_Select_HDG' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT HDG_Undefined) AND (HDG = Base_State_Cleared))) THEN Base_State_Selected ELSIF ((m_Deselect_HDG' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT HDG_Undefined) AND (HDG = Base_State_Selected))) THEN Base_State_Cleared ELSE HDG ENDIF; HDG_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_HDG') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND HDG_Undefined) THEN FALSE ELSIF ((m_Select_HDG' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND HDG_Undefined) THEN FALSE ELSIF ((m_Select_HDG' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT HDG_Undefined) AND (HDG = Base_State_Cleared))) THEN FALSE ELSIF ((m_Deselect_HDG' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT HDG_Undefined) AND (HDG = Base_State_Selected))) THEN FALSE ELSE HDG_Undefined ENDIF; PITCH' = IF PITCH_Undefined' THEN PITCH_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_PITCH' ELSIF (((NOT m_Select_PITCH') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND PITCH_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_PITCH' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND PITCH_Undefined) THEN Base_State_Selected ELSIF ((m_Select_PITCH' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT PITCH_Undefined) AND (PITCH = Base_State_Cleared))) THEN Base_State_Selected ELSIF ((m_Deselect_PITCH' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT PITCH_Undefined) AND (PITCH = Base_State_Selected))) THEN Base_State_Cleared ELSE PITCH ENDIF; PITCH_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_PITCH') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND PITCH_Undefined) THEN FALSE ELSIF ((m_Select_PITCH' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND PITCH_Undefined) THEN FALSE ELSIF ((m_Select_PITCH' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT PITCH_Undefined) AND (PITCH = Base_State_Cleared))) THEN FALSE ELSIF ((m_Deselect_PITCH' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT PITCH_Undefined) AND (PITCH = Base_State_Selected))) THEN FALSE ELSE PITCH_Undefined ENDIF; Is_LGA_Selected' = IF Is_LGA_Selected_Undefined' THEN Is_LGA_Selected_Random' ELSIF TRUE THEN ((NOT LGA_Undefined') AND (LGA' = Base_State_Selected)) ELSE Is_LGA_Selected ENDIF; Is_LGA_Selected_Undefined' = IF TRUE THEN FALSE ELSE Is_LGA_Selected_Undefined ENDIF; NAV_Selected' = IF NAV_Selected_Undefined' THEN NAV_Selected_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_NAV_Selected' ELSIF (TRUE AND NAV_Selected_Undefined) THEN Selected_State_Armed ELSIF ((m_Activate_NAV' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT NAV_Selected_Undefined) AND (NAV_Selected = Selected_State_Armed))) THEN Selected_State_Active ELSE NAV_Selected ENDIF; NAV_Selected_Undefined' = IF (NAV_Undefined' OR ((NOT NAV_Undefined') AND (NAV' /= Base_State_Selected))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (TRUE AND NAV_Selected_Undefined) THEN FALSE ELSIF ((m_Activate_NAV' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT NAV_Selected_Undefined) AND (NAV_Selected = Selected_State_Armed))) THEN FALSE ELSE NAV_Selected_Undefined ENDIF; FLC' = IF FLC_Undefined' THEN FLC_Random' ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN Offside_FLC' ELSIF (((NOT m_Select_FLC') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND FLC_Undefined) THEN Base_State_Cleared ELSIF ((m_Select_FLC' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND FLC_Undefined) THEN Base_State_Selected ELSIF ((m_Select_FLC' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT FLC_Undefined) AND (FLC = Base_State_Cleared))) THEN Base_State_Selected ELSIF ((m_Deselect_FLC' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT FLC_Undefined) AND (FLC = Base_State_Selected))) THEN Base_State_Cleared ELSE FLC ENDIF; FLC_Undefined' = IF (Modes_Undefined' OR ((NOT Modes_Undefined') AND (Modes' /= On_Off_On))) THEN TRUE ELSIF (NOT (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN FALSE ELSIF (((NOT m_Select_FLC') AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND FLC_Undefined) THEN FALSE ELSIF ((m_Select_FLC' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND FLC_Undefined) THEN FALSE ELSIF ((m_Select_FLC' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT FLC_Undefined) AND (FLC = Base_State_Cleared))) THEN FALSE ELSIF ((m_Deselect_FLC' AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) AND ((NOT FLC_Undefined) AND (FLC = Base_State_Selected))) THEN FALSE ELSE FLC_Undefined ENDIF; FD_Switch' = IF FD_Switch_Undefined' THEN FD_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.FdSwi ELSE FD_Switch ENDIF; FD_Switch_Undefined' = IF TRUE THEN FALSE ELSE FD_Switch_Undefined ENDIF; HDG_Switch' = IF HDG_Switch_Undefined' THEN HDG_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.HdgSwi ELSE HDG_Switch ENDIF; HDG_Switch_Undefined' = IF TRUE THEN FALSE ELSE HDG_Switch_Undefined ENDIF; Is_NAV_Track_Cond_Met' = IF Is_NAV_Track_Cond_Met_Undefined' THEN Is_NAV_Track_Cond_Met_Random' ELSIF TRUE THEN This_Input_Msg'.NavTrackCondMet ELSE Is_NAV_Track_Cond_Met ENDIF; Is_NAV_Track_Cond_Met_Undefined' = IF TRUE THEN FALSE ELSE Is_NAV_Track_Cond_Met_Undefined ENDIF; Is_ALTSEL_Capture_Cond_Met' = IF Is_ALTSEL_Capture_Cond_Met_Undefined' THEN Is_ALTSEL_Capture_Cond_Met_Random' ELSIF TRUE THEN This_Input_Msg'.AltselCaptureCondMet ELSE Is_ALTSEL_Capture_Cond_Met ENDIF; Is_ALTSEL_Capture_Cond_Met_Undefined' = IF TRUE THEN FALSE ELSE Is_ALTSEL_Capture_Cond_Met_Undefined ENDIF; Is_ALTSEL_Track_Cond_Met' = IF Is_ALTSEL_Track_Cond_Met_Undefined' THEN Is_ALTSEL_Track_Cond_Met_Random' ELSIF TRUE THEN This_Input_Msg'.AltselTrackCondMet ELSE Is_ALTSEL_Track_Cond_Met ENDIF; Is_ALTSEL_Track_Cond_Met_Undefined' = IF TRUE THEN FALSE ELSE Is_ALTSEL_Track_Cond_Met_Undefined ENDIF; Is_LAPPR_Track_Cond_Met' = IF Is_LAPPR_Track_Cond_Met_Undefined' THEN Is_LAPPR_Track_Cond_Met_Random' ELSIF TRUE THEN This_Input_Msg'.LapprTrackCondMet ELSE Is_LAPPR_Track_Cond_Met ENDIF; Is_LAPPR_Track_Cond_Met_Undefined' = IF TRUE THEN FALSE ELSE Is_LAPPR_Track_Cond_Met_Undefined ENDIF; Is_VAPPR_Track_Cond_Met' = IF Is_VAPPR_Track_Cond_Met_Undefined' THEN Is_VAPPR_Track_Cond_Met_Random' ELSIF TRUE THEN This_Input_Msg'.VapprTrackCondMet ELSE Is_VAPPR_Track_Cond_Met ENDIF; Is_VAPPR_Track_Cond_Met_Undefined' = IF TRUE THEN FALSE ELSE Is_VAPPR_Track_Cond_Met_Undefined ENDIF; VS_Switch' = IF VS_Switch_Undefined' THEN VS_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.VsSwi ELSE VS_Switch ENDIF; VS_Switch_Undefined' = IF TRUE THEN FALSE ELSE VS_Switch_Undefined ENDIF; NAV_Switch' = IF NAV_Switch_Undefined' THEN NAV_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.NavSwi ELSE NAV_Switch ENDIF; NAV_Switch_Undefined' = IF TRUE THEN FALSE ELSE NAV_Switch_Undefined ENDIF; FLC_Switch' = IF FLC_Switch_Undefined' THEN FLC_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.FlcSwi ELSE FLC_Switch ENDIF; FLC_Switch_Undefined' = IF TRUE THEN FALSE ELSE FLC_Switch_Undefined ENDIF; APPR_Switch' = IF APPR_Switch_Undefined' THEN APPR_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.ApprSwi ELSE APPR_Switch ENDIF; APPR_Switch_Undefined' = IF TRUE THEN FALSE ELSE APPR_Switch_Undefined ENDIF; ALT_Switch' = IF ALT_Switch_Undefined' THEN ALT_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.AltSwi ELSE ALT_Switch ENDIF; ALT_Switch_Undefined' = IF TRUE THEN FALSE ELSE ALT_Switch_Undefined ENDIF; SYNC_Switch' = IF SYNC_Switch_Undefined' THEN SYNC_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.SyncSwi ELSE SYNC_Switch ENDIF; SYNC_Switch_Undefined' = IF TRUE THEN FALSE ELSE SYNC_Switch_Undefined ENDIF; Transfer_Switch' = IF Transfer_Switch_Undefined' THEN Transfer_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.TransSwi ELSE Transfer_Switch ENDIF; Transfer_Switch_Undefined' = IF TRUE THEN FALSE ELSE Transfer_Switch_Undefined ENDIF; VS_Pitch_Wheel_In_Motion' = IF VS_Pitch_Wheel_In_Motion_Undefined' THEN VS_Pitch_Wheel_In_Motion_Random' ELSIF TRUE THEN This_Input_Msg'.VsPthWhlMot ELSE VS_Pitch_Wheel_In_Motion ENDIF; VS_Pitch_Wheel_In_Motion_Undefined' = IF TRUE THEN FALSE ELSE VS_Pitch_Wheel_In_Motion_Undefined ENDIF; GA_Switch' = IF GA_Switch_Undefined' THEN GA_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.GaSwi ELSE GA_Switch ENDIF; GA_Switch_Undefined' = IF TRUE THEN FALSE ELSE GA_Switch_Undefined ENDIF; AP_Engage_Switch' = IF AP_Engage_Switch_Undefined' THEN AP_Engage_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.ApEngSwi ELSE AP_Engage_Switch ENDIF; AP_Engage_Switch_Undefined' = IF TRUE THEN FALSE ELSE AP_Engage_Switch_Undefined ENDIF; AP_Disconnect_Switch' = IF AP_Disconnect_Switch_Undefined' THEN AP_Disconnect_Switch_Random' ELSIF TRUE THEN This_Input_Msg'.ApDiscSwi ELSE AP_Disconnect_Switch ENDIF; AP_Disconnect_Switch_Undefined' = IF TRUE THEN FALSE ELSE AP_Disconnect_Switch_Undefined ENDIF; Overspeed' = IF Overspeed_Undefined' THEN Overspeed_Random' ELSIF TRUE THEN This_Input_Msg'.Overspeed ELSE Overspeed ENDIF; Overspeed_Undefined' = IF TRUE THEN FALSE ELSE Overspeed_Undefined ENDIF; ALTSEL_Target_Altitude_Changed' = IF ALTSEL_Target_Altitude_Changed_Undefined' THEN ALTSEL_Target_Altitude_Changed_Random' ELSIF TRUE THEN This_Input_Msg'.AltselTargetAltChanged ELSE ALTSEL_Target_Altitude_Changed ENDIF; ALTSEL_Target_Altitude_Changed_Undefined' = IF TRUE THEN FALSE ELSE ALTSEL_Target_Altitude_Changed_Undefined ENDIF; Offside_Hdg_Selected' = IF Offside_Hdg_Selected_Undefined' THEN Offside_Hdg_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.HdgSel ELSE Offside_Hdg_Selected ENDIF; Offside_Hdg_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Hdg_Selected_Undefined ENDIF; Offside_Nav_Selected' = IF Offside_Nav_Selected_Undefined' THEN Offside_Nav_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.NavSel ELSE Offside_Nav_Selected ENDIF; Offside_Nav_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Nav_Selected_Undefined ENDIF; Offside_Nav_Active' = IF Offside_Nav_Active_Undefined' THEN Offside_Nav_Active_Random' ELSIF TRUE THEN Other_Input_Msg'.NavAct ELSE Offside_Nav_Active ENDIF; Offside_Nav_Active_Undefined' = IF TRUE THEN FALSE ELSE Offside_Nav_Active_Undefined ENDIF; Offside_FGS_Active' = IF Offside_FGS_Active_Undefined' THEN Offside_FGS_Active_Random' ELSIF TRUE THEN Other_Input_Msg'.FGSActive ELSE Offside_FGS_Active ENDIF; Offside_FGS_Active_Undefined' = IF TRUE THEN FALSE ELSE Offside_FGS_Active_Undefined ENDIF; Offside_FD_On' = IF Offside_FD_On_Undefined' THEN Offside_FD_On_Random' ELSIF TRUE THEN Other_Input_Msg'.FdOn ELSE Offside_FD_On ENDIF; Offside_FD_On_Undefined' = IF TRUE THEN FALSE ELSE Offside_FD_On_Undefined ENDIF; Offside_Modes_On' = IF Offside_Modes_On_Undefined' THEN Offside_Modes_On_Random' ELSIF TRUE THEN Other_Input_Msg'.ModesOn ELSE Offside_Modes_On ENDIF; Offside_Modes_On_Undefined' = IF TRUE THEN FALSE ELSE Offside_Modes_On_Undefined ENDIF; Offside_Roll_Selected' = IF Offside_Roll_Selected_Undefined' THEN Offside_Roll_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.RollSel ELSE Offside_Roll_Selected ENDIF; Offside_Roll_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Roll_Selected_Undefined ENDIF; Offside_Lappr_Selected' = IF Offside_Lappr_Selected_Undefined' THEN Offside_Lappr_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.LapprSel ELSE Offside_Lappr_Selected ENDIF; Offside_Lappr_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Lappr_Selected_Undefined ENDIF; Offside_Altsel_Track' = IF Offside_Altsel_Track_Undefined' THEN Offside_Altsel_Track_Random' ELSIF TRUE THEN Other_Input_Msg'.AltselTrk ELSE Offside_Altsel_Track ENDIF; Offside_Altsel_Track_Undefined' = IF TRUE THEN FALSE ELSE Offside_Altsel_Track_Undefined ENDIF; Offside_Vappr_Selected' = IF Offside_Vappr_Selected_Undefined' THEN Offside_Vappr_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.VapprSel ELSE Offside_Vappr_Selected ENDIF; Offside_Vappr_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Vappr_Selected_Undefined ENDIF; Offside_Vappr_Active' = IF Offside_Vappr_Active_Undefined' THEN Offside_Vappr_Active_Random' ELSIF TRUE THEN Other_Input_Msg'.VapprAct ELSE Offside_Vappr_Active ENDIF; Offside_Vappr_Active_Undefined' = IF TRUE THEN FALSE ELSE Offside_Vappr_Active_Undefined ENDIF; Offside_Lappr_Active' = IF Offside_Lappr_Active_Undefined' THEN Offside_Lappr_Active_Random' ELSIF TRUE THEN Other_Input_Msg'.LapprAct ELSE Offside_Lappr_Active ENDIF; Offside_Lappr_Active_Undefined' = IF TRUE THEN FALSE ELSE Offside_Lappr_Active_Undefined ENDIF; Offside_Lga_Selected' = IF Offside_Lga_Selected_Undefined' THEN Offside_Lga_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.LgaSel ELSE Offside_Lga_Selected ENDIF; Offside_Lga_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Lga_Selected_Undefined ENDIF; Offside_Pitch_Selected' = IF Offside_Pitch_Selected_Undefined' THEN Offside_Pitch_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.PthSel ELSE Offside_Pitch_Selected ENDIF; Offside_Pitch_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Pitch_Selected_Undefined ENDIF; Offside_Vs_Selected' = IF Offside_Vs_Selected_Undefined' THEN Offside_Vs_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.VsSel ELSE Offside_Vs_Selected ENDIF; Offside_Vs_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Vs_Selected_Undefined ENDIF; Offside_Flc_Selected' = IF Offside_Flc_Selected_Undefined' THEN Offside_Flc_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.FlcSel ELSE Offside_Flc_Selected ENDIF; Offside_Flc_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Flc_Selected_Undefined ENDIF; Offside_Alt_Selected' = IF Offside_Alt_Selected_Undefined' THEN Offside_Alt_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.AltSel ELSE Offside_Alt_Selected ENDIF; Offside_Alt_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Alt_Selected_Undefined ENDIF; Offside_Altsel_Selected' = IF Offside_Altsel_Selected_Undefined' THEN Offside_Altsel_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.AltselSel ELSE Offside_Altsel_Selected ENDIF; Offside_Altsel_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Altsel_Selected_Undefined ENDIF; Offside_Altsel_Active' = IF Offside_Altsel_Active_Undefined' THEN Offside_Altsel_Active_Random' ELSIF TRUE THEN Other_Input_Msg'.AltselAct ELSE Offside_Altsel_Active ENDIF; Offside_Altsel_Active_Undefined' = IF TRUE THEN FALSE ELSE Offside_Altsel_Active_Undefined ENDIF; Offside_Vga_Selected' = IF Offside_Vga_Selected_Undefined' THEN Offside_Vga_Selected_Random' ELSIF TRUE THEN Other_Input_Msg'.VgaSel ELSE Offside_Vga_Selected ENDIF; Offside_Vga_Selected_Undefined' = IF TRUE THEN FALSE ELSE Offside_Vga_Selected_Undefined ENDIF; m_Deactivate_LAPPR' = IF m_When_Nonbasic_Lateral_Mode_Activated' THEN TRUE ELSE FALSE ENDIF; m_When_Turn_Modes_On' = IF ((((NOT Onside_FD_Undefined') AND (Onside_FD' = On_Off_On)) OR ((NOT Offside_FD_Undefined') AND (Offside_FD' = On_Off_On))) OR (NOT Is_AP_Engaged_Undefined' AND Is_AP_Engaged')) THEN TRUE ELSE FALSE ENDIF; m_Independent_Mode_Condition' = IF (((((NOT Is_LAPPR_Active_Undefined' AND Is_LAPPR_Active') AND (NOT Is_VAPPR_Active_Undefined' AND Is_VAPPR_Active')) AND (NOT Is_Offside_LAPPR_Active_Undefined' AND Is_Offside_LAPPR_Active')) AND (NOT Is_Offside_VAPPR_Active_Undefined' AND Is_Offside_VAPPR_Active')) OR ((NOT Is_VGA_Active_Undefined' AND Is_VGA_Active') AND (NOT Is_Offside_VGA_Active_Undefined' AND Is_Offside_VGA_Active'))) THEN TRUE ELSE FALSE ENDIF; m_When_LAPPR_Track_Cond_Met' = IF (NOT Is_LAPPR_Track_Cond_Met_Undefined' AND Is_LAPPR_Track_Cond_Met') THEN TRUE ELSE FALSE ENDIF; m_When_LAPPR_Track_Cond_Met_Seen' = IF (m_When_LAPPR_Track_Cond_Met' AND m_No_Higher_Event_Than_LAPPR_Track_Cond_Met') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_LAPPR_Track_Cond_Met' = IF ((NOT m_When_FD_Switch_Pressed') AND m_No_Higher_Event_Than_FD_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_VAPPR_Track_Cond_Met' = IF (NOT Is_VAPPR_Track_Cond_Met_Undefined' AND Is_VAPPR_Track_Cond_Met') THEN TRUE ELSE FALSE ENDIF; m_When_VAPPR_Track_Cond_Met_Seen' = IF (m_When_VAPPR_Track_Cond_Met' AND m_No_Higher_Event_Than_VAPPR_Track_Cond_Met') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_VAPPR_Track_Cond_Met' = IF ((NOT m_When_FD_Switch_Pressed') AND m_No_Higher_Event_Than_FD_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_Deselect_ALT' = IF ((((m_When_ALT_Switch_Pressed_Seen' OR m_When_VS_Pitch_Wheel_Rotated_Seen') OR m_When_Nonbasic_Vertical_Mode_Activated') OR m_When_Pilot_Flying_Transfer') OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_When_Turn_FD_Off' = IF (m_When_FD_Switch_Pressed_Seen' AND (NOT m_Overspeed_Condition')) THEN TRUE ELSE FALSE ENDIF; m_Deselect_NAV' = IF ((((m_When_NAV_Switch_Pressed_Seen' OR (NOT When_Selected_Nav_Source_Changed_Undefined' AND When_Selected_Nav_Source_Changed')) OR (NOT When_Selected_Nav_Frequency_Changed_Undefined' AND When_Selected_Nav_Frequency_Changed')) OR m_When_Pilot_Flying_Transfer') OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_Dearm_NAV' = IF m_When_LAPPR_Armed' THEN TRUE ELSE FALSE ENDIF; m_Deactivate_NAV' = IF m_When_Nonbasic_Lateral_Mode_Activated' THEN TRUE ELSE FALSE ENDIF; m_Select_ALTSEL' = IF ((((NOT (NOT Is_VAPPR_Active_Undefined' AND Is_VAPPR_Active')) AND (NOT (NOT Is_VGA_Active_Undefined' AND Is_VGA_Active'))) AND (NOT (NOT Is_ALT_Active_Undefined' AND Is_ALT_Active'))) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_On))) THEN TRUE ELSE FALSE ENDIF; m_Capture_ALTSEL' = IF m_When_ALTSEL_Capture_Cond_Met_Seen' THEN TRUE ELSE FALSE ENDIF; m_Track_ALTSEL' = IF m_When_ALTSEL_Track_Cond_Met_Seen' THEN TRUE ELSE FALSE ENDIF; m_When_GA_Switch_Pressed' = IF (NOT ((NOT GA_Switch_Undefined) AND (GA_Switch = Switch_ON)) AND ((NOT GA_Switch_Undefined') AND (GA_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_GA_Switch_Pressed_Seen' = IF (m_When_GA_Switch_Pressed' AND m_No_Higher_Event_Than_GA_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_GA_Switch_Pressed' = IF ((NOT m_When_SYNC_Switch_Pressed') AND m_No_Higher_Event_Than_SYNC_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_SYNC_Switch_Pressed' = IF (NOT ((NOT SYNC_Switch_Undefined) AND (SYNC_Switch = Switch_ON)) AND ((NOT SYNC_Switch_Undefined') AND (SYNC_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_SYNC_Switch_Pressed_Seen' = IF (m_When_SYNC_Switch_Pressed' AND m_No_Higher_Event_Than_SYNC_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_SYNC_Switch_Pressed' = IF TRUE THEN TRUE ELSE FALSE ENDIF; m_When_Turn_FD_On' = IF (((((m_When_FD_Switch_Pressed_Seen' OR (NOT ((NOT AP_Undefined) AND (AP = AP_State_Engaged)) AND ((NOT AP_Undefined') AND (AP' = AP_State_Engaged)))) OR m_Overspeed_Condition') OR m_When_Lateral_Mode_Manually_Selected') OR m_When_Vertical_Mode_Manually_Selected') OR ((m_When_Pilot_Flying_Transfer' AND ((NOT Pilot_Flying_Undefined') AND (Pilot_Flying' = THIS_SIDE))) AND (NOT Mode_Annunciations_On_Undefined AND Mode_Annunciations_On))) THEN TRUE ELSE FALSE ENDIF; m_Select_VAPPR' = IF m_When_APPR_Switch_Pressed_Seen' THEN TRUE ELSE FALSE ENDIF; m_Activate_VAPPR' = IF ((m_When_VAPPR_Track_Cond_Met_Seen' AND (NOT Is_LAPPR_Active_Undefined' AND Is_LAPPR_Active')) AND (NOT m_Overspeed_Condition')) THEN TRUE ELSE FALSE ENDIF; m_Deselect_VAPPR' = IF (((((m_When_APPR_Switch_Pressed_Seen' OR (NOT ((NOT Is_LAPPR_Selected_Undefined) AND (Is_LAPPR_Selected = FALSE)) AND ((NOT Is_LAPPR_Selected_Undefined') AND (Is_LAPPR_Selected' = FALSE)))) OR (NOT When_Selected_Nav_Source_Changed_Undefined' AND When_Selected_Nav_Source_Changed')) OR (NOT When_Selected_Nav_Frequency_Changed_Undefined' AND When_Selected_Nav_Frequency_Changed')) OR m_When_Pilot_Flying_Transfer') OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_When_Vertical_Mode_Manually_Selected' = IF (((((((((((((NOT (NOT Mode_Annunciations_On_Undefined AND Mode_Annunciations_On)) AND m_When_VS_Switch_Pressed_Seen') OR ((NOT (NOT Mode_Annunciations_On_Undefined AND Mode_Annunciations_On)) AND m_When_FLC_Switch_Pressed_Seen')) OR ((NOT (NOT Mode_Annunciations_On_Undefined AND Mode_Annunciations_On)) AND m_When_ALT_Switch_Pressed_Seen')) OR ((NOT (NOT Mode_Annunciations_On_Undefined AND Mode_Annunciations_On)) AND m_When_APPR_Switch_Pressed_Seen')) OR ((NOT (NOT Mode_Annunciations_On_Undefined AND Mode_Annunciations_On)) AND m_When_GA_Switch_Pressed_Seen')) OR ((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_VS_Switch_Pressed_Seen')) OR ((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_FLC_Switch_Pressed_Seen')) OR ((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_ALT_Switch_Pressed_Seen')) OR ((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_APPR_Switch_Pressed_Seen')) OR ((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_GA_Switch_Pressed_Seen')) OR (((((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_VS_Pitch_Wheel_Rotated_Seen') AND (NOT (NOT Is_VS_Active_Undefined AND Is_VS_Active))) AND (NOT (NOT Is_VAPPR_Active_Undefined AND Is_VAPPR_Active))) AND (NOT (NOT Overspeed_Undefined AND Overspeed)))) OR (((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_ALTSEL_Target_Altitude_Changed_Seen') AND (NOT Is_ALTSEL_Active_Undefined AND Is_ALTSEL_Active))) THEN TRUE ELSE FALSE ENDIF; m_Deselect_ALTSEL' = IF ((((NOT Is_VAPPR_Active_Undefined' AND Is_VAPPR_Active') OR (NOT Is_VGA_Active_Undefined' AND Is_VGA_Active')) OR (NOT Is_ALT_Active_Undefined' AND Is_ALT_Active')) OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_Deactivate_ALTSEL' = IF (((m_When_ALTSEL_Target_Altitude_Changed_Seen' OR m_When_VS_Pitch_Wheel_Rotated_Seen') OR m_When_Pilot_Flying_Transfer') OR m_When_Nonbasic_Vertical_Mode_Activated') THEN TRUE ELSE FALSE ENDIF; m_When_ALTSEL_Track_Cond_Met' = IF (NOT Is_ALTSEL_Track_Cond_Met_Undefined' AND Is_ALTSEL_Track_Cond_Met') THEN TRUE ELSE FALSE ENDIF; m_When_ALTSEL_Track_Cond_Met_Seen' = IF (m_When_ALTSEL_Track_Cond_Met' AND m_No_Higher_Event_Than_ALTSEL_Track_Cond_Met') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_ALTSEL_Track_Cond_Met' = IF ((NOT m_When_FD_Switch_Pressed') AND m_No_Higher_Event_Than_FD_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_ALTSEL_Capture_Cond_Met' = IF (NOT Is_ALTSEL_Capture_Cond_Met_Undefined' AND Is_ALTSEL_Capture_Cond_Met') THEN TRUE ELSE FALSE ENDIF; m_When_ALTSEL_Capture_Cond_Met_Seen' = IF (m_When_ALTSEL_Capture_Cond_Met' AND m_No_Higher_Event_Than_ALTSEL_Capture_Cond_Met') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_ALTSEL_Capture_Cond_Met' = IF ((NOT m_When_FD_Switch_Pressed') AND m_No_Higher_Event_Than_FD_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_NAV_Track_Cond_Met' = IF (NOT Is_NAV_Track_Cond_Met_Undefined' AND Is_NAV_Track_Cond_Met') THEN TRUE ELSE FALSE ENDIF; m_When_NAV_Track_Cond_Met_Seen' = IF (m_When_NAV_Track_Cond_Met' AND m_No_Higher_Event_Than_NAV_Track_Cond_Met') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_NAV_Track_Cond_Met' = IF ((NOT m_When_FD_Switch_Pressed') AND m_No_Higher_Event_Than_FD_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_Turn_Modes_Off' = IF ((((NOT Onside_FD_Undefined') AND (Onside_FD' = On_Off_Off)) AND ((NOT Offside_FD_Undefined') AND (Offside_FD' = On_Off_Off))) AND ((NOT AP_Undefined') AND (AP' = AP_State_Disengaged))) THEN TRUE ELSE FALSE ENDIF; m_When_FLC_Activated' = IF ((m_Select_FLC' AND (NOT ((NOT FLC_Undefined) AND (FLC = Base_State_Selected)))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_Select_VGA' = IF (m_When_GA_Switch_Pressed_Seen' AND (NOT m_Overspeed_Condition')) THEN TRUE ELSE FALSE ENDIF; m_Deselect_VGA' = IF (((((((NOT ((NOT AP_Undefined) AND (AP = AP_State_Engaged)) AND ((NOT AP_Undefined') AND (AP' = AP_State_Engaged))) OR m_When_Nonbasic_Lateral_Mode_Activated') OR m_When_Nonbasic_Vertical_Mode_Activated') OR m_When_SYNC_Switch_Pressed_Seen') OR m_When_VS_Pitch_Wheel_Rotated_Seen') OR m_When_Pilot_Flying_Transfer') OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_When_FD_Switch_Pressed' = IF (NOT ((NOT FD_Switch_Undefined) AND (FD_Switch = Switch_ON)) AND ((NOT FD_Switch_Undefined') AND (FD_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_FD_Switch_Pressed_Seen' = IF (m_When_FD_Switch_Pressed' AND m_No_Higher_Event_Than_FD_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_FD_Switch_Pressed' = IF ((NOT m_When_Transfer_Switch_Pressed') AND m_No_Higher_Event_Than_Transfer_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_Transfer_Switch_Pressed' = IF (NOT ((NOT Transfer_Switch_Undefined) AND (Transfer_Switch = Switch_ON)) AND ((NOT Transfer_Switch_Undefined') AND (Transfer_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_Transfer_Switch_Pressed_Seen' = IF (m_When_Transfer_Switch_Pressed' AND m_No_Higher_Event_Than_Transfer_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_VGA_Activated' = IF ((m_Select_VGA' AND (NOT ((NOT VGA_Undefined) AND (VGA = Base_State_Selected)))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_VS_Switch_Pressed' = IF ((NOT m_When_FLC_Switch_Pressed') AND m_No_Higher_Event_Than_FLC_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_FLC_Switch_Pressed' = IF (NOT ((NOT FLC_Switch_Undefined) AND (FLC_Switch = Switch_ON)) AND ((NOT FLC_Switch_Undefined') AND (FLC_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_FLC_Switch_Pressed_Seen' = IF (m_When_FLC_Switch_Pressed' AND m_No_Higher_Event_Than_FLC_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_FLC_Switch_Pressed' = IF ((NOT m_When_ALT_Switch_Pressed') AND m_No_Higher_Event_Than_ALT_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_ALT_Switch_Pressed' = IF (NOT ((NOT ALT_Switch_Undefined) AND (ALT_Switch = Switch_ON)) AND ((NOT ALT_Switch_Undefined') AND (ALT_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_ALT_Switch_Pressed_Seen' = IF (m_When_ALT_Switch_Pressed' AND m_No_Higher_Event_Than_ALT_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_ALT_Switch_Pressed' = IF ((NOT m_When_ALTSEL_Target_Altitude_Changed') AND m_No_Higher_Event_Than_ALTSEL_Target_Altitude_Changed') THEN TRUE ELSE FALSE ENDIF; m_When_ALTSEL_Target_Altitude_Changed' = IF ((NOT ALTSEL_Target_Altitude_Changed_Undefined') AND (NOT ALTSEL_Target_Altitude_Changed_Undefined' AND ALTSEL_Target_Altitude_Changed')) THEN TRUE ELSE FALSE ENDIF; m_When_ALTSEL_Target_Altitude_Changed_Seen' = IF (m_When_ALTSEL_Target_Altitude_Changed' AND m_No_Higher_Event_Than_ALTSEL_Target_Altitude_Changed') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_ALTSEL_Target_Altitude_Changed' = IF ((NOT m_When_APPR_Switch_Pressed') AND m_No_Higher_Event_Than_APPR_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_APPR_Switch_Pressed' = IF (NOT ((NOT APPR_Switch_Undefined) AND (APPR_Switch = Switch_ON)) AND ((NOT APPR_Switch_Undefined') AND (APPR_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_APPR_Switch_Pressed_Seen' = IF (m_When_APPR_Switch_Pressed' AND m_No_Higher_Event_Than_APPR_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_APPR_Switch_Pressed' = IF ((NOT m_When_GA_Switch_Pressed') AND m_No_Higher_Event_Than_GA_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_AP_Disconnect_Switch_Pressed' = IF TRUE THEN TRUE ELSE FALSE ENDIF; m_When_NAV_Switch_Pressed' = IF (NOT ((NOT NAV_Switch_Undefined) AND (NAV_Switch = Switch_ON)) AND ((NOT NAV_Switch_Undefined') AND (NAV_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_NAV_Switch_Pressed_Seen' = IF (m_When_NAV_Switch_Pressed' AND m_No_Higher_Event_Than_NAV_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_NAV_Switch_Pressed' = IF ((NOT m_When_HDG_Switch_Pressed') AND m_No_Higher_Event_Than_HDG_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_HDG_Switch_Pressed' = IF (NOT ((NOT HDG_Switch_Undefined) AND (HDG_Switch = Switch_ON)) AND ((NOT HDG_Switch_Undefined') AND (HDG_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_HDG_Switch_Pressed_Seen' = IF (m_When_HDG_Switch_Pressed' AND m_No_Higher_Event_Than_HDG_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_Select_FLC' = IF ((m_When_FLC_Switch_Pressed_Seen' AND (NOT (NOT Is_VAPPR_Active_Undefined AND Is_VAPPR_Active))) OR ((((m_Overspeed_Condition' AND (NOT (NOT Is_ALT_Active_Undefined AND Is_ALT_Active))) AND (NOT m_When_ALT_Activated')) AND (NOT (NOT Is_ALTSEL_Active_Undefined AND Is_ALTSEL_Active))) AND (NOT m_When_ALTSEL_Activated'))) THEN TRUE ELSE FALSE ENDIF; m_Deselect_FLC' = IF (((((m_When_FLC_Switch_Pressed_Seen' AND (NOT m_Overspeed_Condition')) OR (m_When_VS_Pitch_Wheel_Rotated_Seen' AND (NOT m_Overspeed_Condition'))) OR m_When_Nonbasic_Vertical_Mode_Activated') OR m_When_Pilot_Flying_Transfer') OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_When_Nonbasic_Lateral_Mode_Activated' = IF (((m_When_HDG_Activated' OR m_When_NAV_Activated') OR m_When_LAPPR_Activated') OR m_When_LGA_Activated') THEN TRUE ELSE FALSE ENDIF; m_When_LAPPR_Armed' = IF ((m_Select_LAPPR' AND ((NOT LAPPR_Undefined) AND (LAPPR = Base_State_Cleared))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_When_LAPPR_Activated' = IF ((m_Activate_LAPPR' AND ((NOT LAPPR_Selected_Undefined) AND (LAPPR_Selected = Selected_State_Armed))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_Select_HDG' = IF m_When_HDG_Switch_Pressed_Seen' THEN TRUE ELSE FALSE ENDIF; m_Deselect_HDG' = IF (((m_When_HDG_Switch_Pressed_Seen' OR m_When_Nonbasic_Lateral_Mode_Activated') OR m_When_Pilot_Flying_Transfer') OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_When_LGA_Activated' = IF ((m_Select_LGA' AND (NOT ((NOT LGA_Undefined) AND (LGA = Base_State_Selected)))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_Select_LAPPR' = IF m_When_APPR_Switch_Pressed_Seen' THEN TRUE ELSE FALSE ENDIF; m_Activate_LAPPR' = IF m_When_LAPPR_Track_Cond_Met_Seen' THEN TRUE ELSE FALSE ENDIF; m_Deselect_LAPPR' = IF ((((m_When_APPR_Switch_Pressed_Seen' OR (NOT When_Selected_Nav_Source_Changed_Undefined' AND When_Selected_Nav_Source_Changed')) OR (NOT When_Selected_Nav_Frequency_Changed_Undefined' AND When_Selected_Nav_Frequency_Changed')) OR m_When_Pilot_Flying_Transfer') OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_Dearm_LAPPR' = IF m_When_NAV_Armed' THEN TRUE ELSE FALSE ENDIF; m_When_Lateral_Mode_Manually_Selected' = IF (((((((((NOT (NOT Mode_Annunciations_On_Undefined AND Mode_Annunciations_On)) AND m_When_HDG_Switch_Pressed_Seen') OR ((NOT (NOT Mode_Annunciations_On_Undefined AND Mode_Annunciations_On)) AND m_When_NAV_Switch_Pressed_Seen')) OR ((NOT (NOT Mode_Annunciations_On_Undefined AND Mode_Annunciations_On)) AND m_When_APPR_Switch_Pressed_Seen')) OR ((NOT (NOT Mode_Annunciations_On_Undefined AND Mode_Annunciations_On)) AND m_When_GA_Switch_Pressed_Seen')) OR ((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_HDG_Switch_Pressed_Seen')) OR ((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_NAV_Switch_Pressed_Seen')) OR ((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_APPR_Switch_Pressed_Seen')) OR ((NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active') AND m_When_GA_Switch_Pressed_Seen')) THEN TRUE ELSE FALSE ENDIF; m_Overspeed_Condition' = IF ((NOT Overspeed_Undefined') AND ((NOT Overspeed_Undefined') AND (Overspeed' = TRUE))) THEN TRUE ELSE FALSE ENDIF; m_When_Nonbasic_Vertical_Mode_Activated' = IF (((((m_When_VS_Activated' OR m_When_FLC_Activated') OR m_When_ALT_Activated') OR m_When_ALTSEL_Activated') OR m_When_VAPPR_Activated') OR m_When_VGA_Activated') THEN TRUE ELSE FALSE ENDIF; m_Is_No_Nonbasic_Vertical_Mode_Active' = IF ((((((NOT (NOT Is_VS_Active_Undefined' AND Is_VS_Active')) AND (NOT (NOT Is_FLC_Active_Undefined' AND Is_FLC_Active'))) AND (NOT (NOT Is_ALT_Active_Undefined' AND Is_ALT_Active'))) AND (NOT (NOT Is_ALTSEL_Active_Undefined' AND Is_ALTSEL_Active'))) AND (NOT (NOT Is_VAPPR_Active_Undefined' AND Is_VAPPR_Active'))) AND (NOT (NOT Is_VGA_Active_Undefined' AND Is_VGA_Active'))) THEN TRUE ELSE FALSE ENDIF; m_When_Engage_AP' = IF m_When_AP_Engage_Switch_Pressed_Seen' THEN TRUE ELSE FALSE ENDIF; m_When_Disengage_AP' = IF ((m_When_AP_Engage_Switch_Pressed_Seen' OR m_When_AP_Disconnect_Switch_Pressed_Seen') OR m_When_GA_Switch_Pressed_Seen') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_HDG_Switch_Pressed' = IF ((NOT m_When_APPR_Switch_Pressed') AND m_No_Higher_Event_Than_APPR_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_VS_Pitch_Wheel_Rotated' = IF (NOT (NOT VS_Pitch_Wheel_In_Motion_Undefined AND VS_Pitch_Wheel_In_Motion) AND (NOT VS_Pitch_Wheel_In_Motion_Undefined' AND VS_Pitch_Wheel_In_Motion')) THEN TRUE ELSE FALSE ENDIF; m_When_VS_Pitch_Wheel_Rotated_Seen' = IF (m_When_VS_Pitch_Wheel_Rotated' AND m_No_Higher_Event_Than_VS_Pitch_Wheel_Rotated') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_VS_Pitch_Wheel_Rotated' = IF ((NOT m_When_VS_Switch_Pressed') AND m_No_Higher_Event_Than_VS_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_VS_Switch_Pressed' = IF (NOT ((NOT VS_Switch_Undefined) AND (VS_Switch = Switch_ON)) AND ((NOT VS_Switch_Undefined') AND (VS_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_VS_Switch_Pressed_Seen' = IF (m_When_VS_Switch_Pressed' AND m_No_Higher_Event_Than_VS_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_ALTSEL_Activated' = IF ((m_Capture_ALTSEL' AND ((NOT ALTSEL_Selected_Undefined) AND (ALTSEL_Selected = Selected_State_Armed))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_Select_LGA' = IF (m_When_GA_Switch_Pressed_Seen' AND (NOT m_Overspeed_Condition')) THEN TRUE ELSE FALSE ENDIF; m_When_HDG_Activated' = IF ((m_Select_HDG' AND (NOT ((NOT HDG_Undefined) AND (HDG = Base_State_Selected)))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_Select_PITCH' = IF (m_Is_No_Nonbasic_Vertical_Mode_Active' AND ((NOT Modes_Undefined') AND (Modes' = On_Off_On))) THEN TRUE ELSE FALSE ENDIF; m_Deselect_PITCH' = IF (m_When_Nonbasic_Vertical_Mode_Activated' OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_When_VAPPR_Activated' = IF ((m_Activate_VAPPR' AND ((NOT VAPPR_Selected_Undefined) AND (VAPPR_Selected = Selected_State_Armed))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_When_Vertical_Mode_Changed' = IF (((((((((((NOT Is_PITCH_Selected_Undefined AND Is_PITCH_Selected) /= (NOT Is_PITCH_Selected_Undefined' AND Is_PITCH_Selected')) OR ((NOT Is_VS_Selected_Undefined AND Is_VS_Selected) /= (NOT Is_VS_Selected_Undefined' AND Is_VS_Selected'))) OR ((NOT Is_ALT_Selected_Undefined AND Is_ALT_Selected) /= (NOT Is_ALT_Selected_Undefined' AND Is_ALT_Selected'))) OR ((NOT Is_ALTSEL_Selected_Undefined AND Is_ALTSEL_Selected) /= (NOT Is_ALTSEL_Selected_Undefined' AND Is_ALTSEL_Selected'))) OR ((NOT Is_ALTSEL_Active_Undefined AND Is_ALTSEL_Active) /= (NOT Is_ALTSEL_Active_Undefined' AND Is_ALTSEL_Active'))) OR ((NOT Is_ALTSEL_Track_Undefined AND Is_ALTSEL_Track) /= (NOT Is_ALTSEL_Track_Undefined' AND Is_ALTSEL_Track'))) OR ((NOT Is_FLC_Selected_Undefined AND Is_FLC_Selected) /= (NOT Is_FLC_Selected_Undefined' AND Is_FLC_Selected'))) OR ((NOT Is_VAPPR_Selected_Undefined AND Is_VAPPR_Selected) /= (NOT Is_VAPPR_Selected_Undefined' AND Is_VAPPR_Selected'))) OR ((NOT Is_VAPPR_Active_Undefined AND Is_VAPPR_Active) /= (NOT Is_VAPPR_Active_Undefined' AND Is_VAPPR_Active'))) OR ((NOT Is_VGA_Selected_Undefined AND Is_VGA_Selected) /= (NOT Is_VGA_Selected_Undefined' AND Is_VGA_Selected'))) THEN TRUE ELSE FALSE ENDIF; m_When_Lamp_Changed' = IF ((((((((AP_Lamp /= AP_Lamp') OR (APPR_Lamp /= APPR_Lamp')) OR (HDG_Lamp /= HDG_Lamp')) OR (NAV_Lamp /= NAV_Lamp')) OR (VS_Lamp /= VS_Lamp')) OR (ALT_Lamp /= ALT_Lamp')) OR (FLC_Lamp /= FLC_Lamp')) OR (APPR_Lamp /= APPR_Lamp')) THEN TRUE ELSE FALSE ENDIF; m_When_Lateral_Mode_Changed' = IF ((((((((NOT Is_ROLL_Selected_Undefined AND Is_ROLL_Selected) /= (NOT Is_ROLL_Selected_Undefined' AND Is_ROLL_Selected')) OR ((NOT Is_HDG_Selected_Undefined AND Is_HDG_Selected) /= (NOT Is_HDG_Selected_Undefined' AND Is_HDG_Selected'))) OR ((NOT Is_NAV_Selected_Undefined AND Is_NAV_Selected) /= (NOT Is_NAV_Selected_Undefined' AND Is_NAV_Selected'))) OR ((NOT Is_NAV_Active_Undefined AND Is_NAV_Active) /= (NOT Is_NAV_Active_Undefined' AND Is_NAV_Active'))) OR ((NOT Is_LAPPR_Selected_Undefined AND Is_LAPPR_Selected) /= (NOT Is_LAPPR_Selected_Undefined' AND Is_LAPPR_Selected'))) OR ((NOT Is_LAPPR_Active_Undefined AND Is_LAPPR_Active) /= (NOT Is_LAPPR_Active_Undefined' AND Is_LAPPR_Active'))) OR ((NOT Is_LGA_Selected_Undefined AND Is_LGA_Selected) /= (NOT Is_LGA_Selected_Undefined' AND Is_LGA_Selected'))) THEN TRUE ELSE FALSE ENDIF; m_Select_VS' = IF ((m_When_VS_Switch_Pressed_Seen' AND (NOT m_Overspeed_Condition')) AND (NOT (NOT Is_VAPPR_Active_Undefined AND Is_VAPPR_Active))) THEN TRUE ELSE FALSE ENDIF; m_Deselect_VS' = IF (((m_When_VS_Switch_Pressed_Seen' OR m_When_Nonbasic_Vertical_Mode_Activated') OR m_When_Pilot_Flying_Transfer') OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_When_VS_Activated' = IF ((m_Select_VS' AND (NOT ((NOT VS_Undefined) AND (VS = Base_State_Selected)))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_When_ALT_Activated' = IF ((m_Select_ALT' AND (NOT ((NOT ALT_Undefined) AND (ALT = Base_State_Selected)))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_When_Pilot_Flying_Transfer' = IF (Pilot_Flying /= Pilot_Flying') THEN TRUE ELSE FALSE ENDIF; m_Deactivate_VAPPR' = IF m_When_Nonbasic_Vertical_Mode_Activated' THEN TRUE ELSE FALSE ENDIF; m_Is_No_Nonbasic_Lateral_Mode_Active' = IF ((((NOT (NOT Is_HDG_Active_Undefined' AND Is_HDG_Active')) AND (NOT (NOT Is_NAV_Active_Undefined' AND Is_NAV_Active'))) AND (NOT (NOT Is_LAPPR_Active_Undefined' AND Is_LAPPR_Active'))) AND (NOT (NOT Is_LGA_Active_Undefined' AND Is_LGA_Active'))) THEN TRUE ELSE FALSE ENDIF; m_Select_ROLL' = IF (m_Is_No_Nonbasic_Lateral_Mode_Active' AND ((NOT Modes_Undefined') AND (Modes' = On_Off_On))) THEN TRUE ELSE FALSE ENDIF; m_Deselect_ROLL' = IF (m_When_Nonbasic_Lateral_Mode_Activated' OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_Select_NAV' = IF m_When_NAV_Switch_Pressed_Seen' THEN TRUE ELSE FALSE ENDIF; m_Activate_NAV' = IF m_When_NAV_Track_Cond_Met_Seen' THEN TRUE ELSE FALSE ENDIF; m_When_NAV_Armed' = IF ((m_Select_NAV' AND ((NOT NAV_Undefined) AND (NAV = Base_State_Cleared))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_When_NAV_Activated' = IF ((m_Activate_NAV' AND ((NOT NAV_Selected_Undefined) AND (NAV_Selected = Selected_State_Armed))) AND (NOT Is_This_Side_Active_Undefined' AND Is_This_Side_Active')) THEN TRUE ELSE FALSE ENDIF; m_Deselect_LGA' = IF ((((((NOT ((NOT AP_Undefined) AND (AP = AP_State_Engaged)) AND ((NOT AP_Undefined') AND (AP' = AP_State_Engaged))) OR m_When_Nonbasic_Lateral_Mode_Activated') OR m_When_Nonbasic_Vertical_Mode_Activated') OR m_When_SYNC_Switch_Pressed_Seen') OR m_When_Pilot_Flying_Transfer') OR (NOT ((NOT Modes_Undefined) AND (Modes = On_Off_Off)) AND ((NOT Modes_Undefined') AND (Modes' = On_Off_Off)))) THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_Transfer_Switch_Pressed' = IF ((((((NOT m_When_AP_Engage_Switch_Pressed') AND m_No_Higher_Event_Than_AP_Engage_Switch_Pressed') AND (NOT m_When_VS_Pitch_Wheel_Rotated')) AND m_No_Higher_Event_Than_VS_Pitch_Wheel_Rotated') AND (NOT m_When_NAV_Switch_Pressed')) AND m_No_Higher_Event_Than_NAV_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_AP_Engage_Switch_Pressed' = IF (NOT ((NOT AP_Engage_Switch_Undefined) AND (AP_Engage_Switch = Switch_ON)) AND ((NOT AP_Engage_Switch_Undefined') AND (AP_Engage_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_AP_Engage_Switch_Pressed_Seen' = IF (m_When_AP_Engage_Switch_Pressed' AND m_No_Higher_Event_Than_AP_Engage_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_No_Higher_Event_Than_AP_Engage_Switch_Pressed' = IF ((NOT m_When_AP_Disconnect_Switch_Pressed') AND m_No_Higher_Event_Than_AP_Disconnect_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_When_AP_Disconnect_Switch_Pressed' = IF (NOT ((NOT AP_Disconnect_Switch_Undefined) AND (AP_Disconnect_Switch = Switch_ON)) AND ((NOT AP_Disconnect_Switch_Undefined') AND (AP_Disconnect_Switch' = Switch_ON))) THEN TRUE ELSE FALSE ENDIF; m_When_AP_Disconnect_Switch_Pressed_Seen' = IF (m_When_AP_Disconnect_Switch_Pressed' AND m_No_Higher_Event_Than_AP_Disconnect_Switch_Pressed') THEN TRUE ELSE FALSE ENDIF; m_Select_ALT' = IF ((m_When_ALT_Switch_Pressed_Seen' AND (NOT (NOT Is_VAPPR_Active_Undefined AND Is_VAPPR_Active))) OR (((NOT (NOT Is_VAPPR_Active_Undefined AND Is_VAPPR_Active)) AND m_When_ALTSEL_Target_Altitude_Changed_Seen') AND (NOT Is_ALTSEL_Track_Undefined AND Is_ALTSEL_Track))) THEN TRUE ELSE FALSE ENDIF; SystemTime' = SystemTime + 0; END; END