Aristotle Research Group

Functions:

main
ALIM
Inhibit_Biased_Climb
Non_Crossing_Biased_Climb
Non_Crossing_Biased_Descend
Own_Above_Threat
Own_Below_Threat
alt_sep_test
initialize

BACK

Function: initialize

node	label	endline	reaching definitions
1	E	50
2	X	55	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Climb_Inhibit> <6:Positive_RA_Alt_Thresh>
3	S	51	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Clim b_Inhibit>
4	S	52	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Climb_Inhibit> <3:Positive_RA_Alt_Thresh>
5	S	53	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Climb_Inhibit> <4:Positive_RA_Alt_Thresh>
6	S	54	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Climb_Inhibit> <5:Positive_RA_Alt_Thresh>

Function: ALIM

node	label	endline	reaching definitions
1	E	59
2	X	61	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Clim b_Inhibit>
3	S	60	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Clim b_Inhibit>

Function: Inhibit_Biased_Climb

node	label	endline	reaching definitions
1	E	65
2	X	67	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Clim b_Inhibit>
3	S	66	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Clim b_Inhibit>

Function: Non_Crossing_Biased_Climb

node	label	endline	reaching definitions
1	E	71
2	X	85	<4:upward_preferred> <8:Cur_Vertical_Sep> <8:High_Confidence> <8:Two_of_Three_Reports_Valid> <8:Own_Tracked_Alt> <8:Own_Tracked_Alt _Rate> <8:Other_Tracked_Alt> <8:Alt_Layer_Value> <8:Positive_RA_Alt_Thresh> <8:Up_Separation> <8:Down_Separation> <8:Other_RAC> <8:Other_Capability> <8:Climb_Inhibit> <8:result> <10:Cur_Vertical_Sep> <10:High_Confidence> <10:Two_of_Three_Reports_Valid> <10:Own_Tracked_Alt> <10:Own_Tracked_Alt_Rate> <10:Other_Tracked_Alt> <10:Alt_Layer_Value> <10:Positive_RA_Alt_Thresh> <10:Up_Separation> <10:Down_Separation> <10:Other_RAC> <10:Other_Capability> <10:Climb_Inhibit> <10:result>
3	D	74	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Clim b_Inhibit>
4	F	75	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Clim b_Inhibit>
5	RTN	0	<4:Cur_Vertical_Sep> <4:High_Confidence> <4:Two_of_Three_Reports_Valid> <4:Own_Tracked_Alt> <4:Own_Tracked_Alt_Rate> <4:Other_Trac ked_Alt> <4:Alt_Layer_Value> <4:Positive_RA_Alt_Thresh> <4:Up_Separation> <4:Down_Separation> <4:Other_RAC> <4:Other_Capability> <4:Cli mb_Inhibit> <4:upward_preferred>
6	C	76	<4:Cur_Vertical_Sep> <4:High_Confidence> <4:Two_of_Three_Reports_Valid> <4:Own_Tracked_Alt> <4:Own_Tracked_Alt_Rate> <4:Other_Track ed_Alt> <4:Alt_Layer_Value> <4:Positive_RA_Alt_Thresh> <4:Up_Separation> <4:Down_Separation> <4:Other_RAC> <4:Other_Capability> <4:Clim b_Inhibit> <4:upward_preferred>
7	P	0	<4:Cur_Vertical_Sep> <4:High_Confidence> <4:Two_of_Three_Reports_Valid> <4:Own_Tracked_Alt> <4:Own_Tracked_Alt_Rate> <4:Other_Tracke d_Alt> <4:Alt_Layer_Value> <4:Positive_RA_Alt_Thresh> <4:Up_Separation> <4:Down_Separation> <4:Other_RAC> <4:Other_Capability> <4:Climb _Inhibit> <4:upward_preferred>
8	F	78	<4:Cur_Vertical_Sep> <4:High_Confidence> <4:Two_of_Three_Reports_Valid> <4:Own_Tracked_Alt> <4:Own_Tracked_Alt_Rate> <4:Other_Track ed_Alt> <4:Alt_Layer_Value> <4:Positive_RA_Alt_Thresh> <4:Up_Separation> <4:Down_Separation> <4:Other_RAC> <4:Other_Capability> <4:Clim b_Inhibit> <4:upward_preferred>
9	RTN	0	<4:upward_preferred> <8:Cur_Vertical_Sep> <8:High_Confidence> <8:Two_of_Three_Reports_Valid> <8:Own_Tracked_Alt> <8:Own_Tracked_Al t_Rate> <8:Other_Tracked_Alt> <8:Alt_Layer_Value> <8:Positive_RA_Alt_Thresh> <8:Up_Separation> <8:Down_Separation> <8:Other_RAC> <8:Other_Capability> <8:Climb_Inhibit> <8:result>
10	F	82	<4:Cur_Vertical_Sep> <4:High_Confidence> <4:Two_of_Three_Reports_Valid> <4:Own_Tracked_Alt> <4:Own_Tracked_Alt_Rate> <4:Other_Trac ked_Alt> <4:Alt_Layer_Value> <4:Positive_RA_Alt_Thresh> <4:Up_Separation> <4:Down_Separation> <4:Other_RAC> <4:Other_Capability> <4:Cli mb_Inhibit> <4:upward_preferred>
11	RTN	0	<4:upward_preferred> <10:Cur_Vertical_Sep> <10:High_Confidence> <10:Two_of_Three_Reports_Valid> <10:Own_Tracked_Alt> <10:Own_Trac ked_Alt_Rate> <10:Other_Tracked_Alt> <10:Alt_Layer_Value> <10:Positive_RA_Alt_Thresh> <10:Up_Separation> <10:Down_Separation> <10:Other_RAC&g t; <10:Other_Capability> <10:Climb_Inhibit> <10:result>
12	J	0	<4:upward_preferred> <8:Cur_Vertical_Sep> <8:High_Confidence> <8:Two_of_Three_Reports_Valid> <8:Own_Tracked_Alt> <8:Own_Tracked_Alt _Rate> <8:Other_Tracked_Alt> <8:Alt_Layer_Value> <8:Positive_RA_Alt_Thresh> <8:Up_Separation> <8:Down_Separation> <8:Other_RAC> <8:Other_Capability> <8:Climb_Inhibit> <8:result> <10:Cur_Vertical_Sep> <10:High_Confidence> <10:Two_of_Three_Reports_Valid> <10:Own_Tracked_Alt> <10:Own_Tracked_Alt_Rate> <10:Other_Tracked_Alt> <10:Alt_Layer_Value> <10:Positive_RA_Alt_Thresh> <10:Up_Separation> <10:Down_Separation> <10:Other_RAC> <10:Other_Capability> <10:Climb_Inhibit> <10:result>
13	S	84	<4:upward_preferred> <8:Cur_Vertical_Sep> <8:High_Confidence> <8:Two_of_Three_Reports_Valid> <8:Own_Tracked_Alt> <8:Own_Tracked_Al t_Rate> <8:Other_Tracked_Alt> <8:Alt_Layer_Value> <8:Positive_RA_Alt_Thresh> <8:Up_Separation> <8:Down_Separation> <8:Other_RAC> <8:Other_Capability> <8:Climb_Inhibit> <8:result> <10:Cur_Vertical_Sep> <10:High_Confidence> <10:Two_of_Three_Reports_Valid> <10:Own_Tracked_Alt> ; <10:Own_Tracked_Alt_Rate> <10:Other_Tracked_Alt> <10:Alt_Layer_Value> <10:Positive_RA_Alt_Thresh> <10:Up_Separation> <10:Down_Separation> <10:Other_RAC> <10:Other_Capability> <10:Climb_Inhibit> <10:result>

Function: Non_Crossing_Biased_Descend

node	label	endline	reaching definitions
1	E	89
2	X	103	<4:upward_preferred> <8:Cur_Vertical_Sep> <8:High_Confidence> <8:Two_of_Three_Reports_Valid> <8:Own_Tracked_Alt> <8:Own_Tracked_Al t_Rate> <8:Other_Tracked_Alt> <8:Alt_Layer_Value> <8:Positive_RA_Alt_Thresh> <8:Up_Separation> <8:Down_Separation> <8:Other_RAC> <8:Other_Capability> <8:Climb_Inhibit> <8:result> <10:Cur_Vertical_Sep> <10:High_Confidence> <10:Two_of_Three_Reports_Valid> <10:Own_Tracked_Alt> ; <10:Own_Tracked_Alt_Rate> <10:Other_Tracked_Alt> <10:Alt_Layer_Value> <10:Positive_RA_Alt_Thresh> <10:Up_Separation> <10:Down_Separation> <10:Other_RAC> <10:Other_Capability> <10:Climb_Inhibit> <10:result>
3	D	92	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Clim b_Inhibit>
4	F	93	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Clim b_Inhibit>
5	RTN	0	<4:Cur_Vertical_Sep> <4:High_Confidence> <4:Two_of_Three_Reports_Valid> <4:Own_Tracked_Alt> <4:Own_Tracked_Alt_Rate> <4:Other_Trac ked_Alt> <4:Alt_Layer_Value> <4:Positive_RA_Alt_Thresh> <4:Up_Separation> <4:Down_Separation> <4:Other_RAC> <4:Other_Capability> <4:Cli mb_Inhibit> <4:upward_preferred>
6	C	94	<4:Cur_Vertical_Sep> <4:High_Confidence> <4:Two_of_Three_Reports_Valid> <4:Own_Tracked_Alt> <4:Own_Tracked_Alt_Rate> <4:Other_Track ed_Alt> <4:Alt_Layer_Value> <4:Positive_RA_Alt_Thresh> <4:Up_Separation> <4:Down_Separation> <4:Other_RAC> <4:Other_Capability> <4:Clim b_Inhibit> <4:upward_preferred>
7	P	0	<4:Cur_Vertical_Sep> <4:High_Confidence> <4:Two_of_Three_Reports_Valid> <4:Own_Tracked_Alt> <4:Own_Tracked_Alt_Rate> <4:Other_Tracke d_Alt> <4:Alt_Layer_Value> <4:Positive_RA_Alt_Thresh> <4:Up_Separation> <4:Down_Separation> <4:Other_RAC> <4:Other_Capability> <4:Climb _Inhibit> <4:upward_preferred>
8	F	96	<4:Cur_Vertical_Sep> <4:High_Confidence> <4:Two_of_Three_Reports_Valid> <4:Own_Tracked_Alt> <4:Own_Tracked_Alt_Rate> <4:Other_Track ed_Alt> <4:Alt_Layer_Value> <4:Positive_RA_Alt_Thresh> <4:Up_Separation> <4:Down_Separation> <4:Other_RAC> <4:Other_Capability> <4:Clim b_Inhibit> <4:upward_preferred>
9	RTN	0	<4:upward_preferred> <8:Cur_Vertical_Sep> <8:High_Confidence> <8:Two_of_Three_Reports_Valid> <8:Own_Tracked_Alt> <8:Own_Tracked_Al t_Rate> <8:Other_Tracked_Alt> <8:Alt_Layer_Value> <8:Positive_RA_Alt_Thresh> <8:Up_Separation> <8:Down_Separation> <8:Other_RAC> <8:Other_Capability> <8:Climb_Inhibit> <8:result>
10	F	100	<4:Cur_Vertical_Sep> <4:High_Confidence> <4:Two_of_Three_Reports_Valid> <4:Own_Tracked_Alt> <4:Own_Tracked_Alt_Rate> <4:Other_Tra cked_Alt> <4:Alt_Layer_Value> <4:Positive_RA_Alt_Thresh> <4:Up_Separation> <4:Down_Separation> <4:Other_RAC> <4:Other_Capability> <4:Cl imb_Inhibit> <4:upward_preferred>
11	RTN	0	<4:upward_preferred> <10:Cur_Vertical_Sep> <10:High_Confidence> <10:Two_of_Three_Reports_Valid> <10:Own_Tracked_Alt> <10:Own_Trac ked_Alt_Rate> <10:Other_Tracked_Alt> <10:Alt_Layer_Value> <10:Positive_RA_Alt_Thresh> <10:Up_Separation> <10:Down_Separation> <10:Other_RAC&g t; <10:Other_Capability> <10:Climb_Inhibit> <10:result>
12	J	0	<4:upward_preferred> <8:Cur_Vertical_Sep> <8:High_Confidence> <8:Two_of_Three_Reports_Valid> <8:Own_Tracked_Alt> <8:Own_Tracked_Alt _Rate> <8:Other_Tracked_Alt> <8:Alt_Layer_Value> <8:Positive_RA_Alt_Thresh> <8:Up_Separation> <8:Down_Separation> <8:Other_RAC> <8:Other_Capability> <8:Climb_Inhibit> <8:result> <10:Cur_Vertical_Sep> <10:High_Confidence> <10:Two_of_Three_Reports_Valid> <10:Own_Tracked_Alt> <10:Own_Tracked_Alt_Rate> <10:Other_Tracked_Alt> <10:Alt_Layer_Value> <10:Positive_RA_Alt_Thresh> <10:Up_Separation> <10:Down_Separation> <10:Other_RAC> <10:Other_Capability> <10:Climb_Inhibit> <10:result>
13	S	102	<4:upward_preferred> <8:Cur_Vertical_Sep> <8:High_Confidence> <8:Two_of_Three_Reports_Valid> <8:Own_Tracked_Alt> <8:Own_Tracked_A lt_Rate> <8:Other_Tracked_Alt> <8:Alt_Layer_Value> <8:Positive_RA_Alt_Thresh> <8:Up_Separation> <8:Down_Separation> <8:Other_RAC> <8:Other_Capability> <8:Climb_Inhibit> <8:result> <10:Cur_Vertical_Sep> <10:High_Confidence> <10:Two_of_Three_Reports_Valid> <10:Own_Tracked_Alt&g t; <10:Own_Tracked_Alt_Rate> <10:Other_Tracked_Alt> <10:Alt_Layer_Value> <10:Positive_RA_Alt_Thresh> <10:Up_Separation> <10:Down_Separation> <10:Other_RAC> <10:Other_Capability> <10:Climb_Inhibit> <10:result>

Function: Own_Below_Threat

node	label	endline	reaching definitions
1	E	107
2	X	109	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Trac ked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cli mb_Inhibit>
3	S	108	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Trac ked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cli mb_Inhibit>

Function: Own_Above_Threat

node	label	endline	reaching definitions
1	E	113
2	X	115	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Trac ked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cli mb_Inhibit>
3	S	114	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Trac ked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cli mb_Inhibit>

Function: alt_sep_test

node	label	endline	reaching definitions
1	E	119
2	X	155	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Trac ked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cli mb_Inhibit> <4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidenc e> <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA _Alt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA> <16: alt_sep> <19:alt_sep> <22:alt_sep> <23:alt_sep>
3	D	122	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Trac ked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cli mb_Inhibit>
4	S	123	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Trac ked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cli mb_Inhibit>
5	S	124	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Trac ked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cli mb_Inhibit> <4:enabled>
6	S	125	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Trac ked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cli mb_Inhibit> <4:enabled> <5:tcas_equipped>
7	S	126	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Trac ked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cli mb_Inhibit> <4:enabled> <5:tcas_equipped> <6:intent_not_known>
8	C	127	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Trac ked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cli mb_Inhibit> <4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep>
9	P	0	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Tracke d_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Climb _Inhibit> <4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep>
10	F	129	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Tra cked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cl imb_Inhibit> <4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep>
11	RTN	0	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:Cur_Vertical_Sep> <10:High_Confidence> <10:Two_of_Three_ Reports_Valid> <10:Own_Tracked_Alt> <10:Own_Tracked_Alt_Rate> <10:Other_Tracked_Alt> <10:Alt_Layer_Value> <10:Positive_RA_Alt_Thresh> <10:Up_ Separation> <10:Down_Separation> <10:Other_RAC> <10:Other_Capability> <10:Climb_Inhibit> <10:need_upward_RA>
12	F	130	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:Cur_Vertical_Sep> <10:High_Confidence> <10:Two_of_Three_ Reports_Valid> <10:Own_Tracked_Alt> <10:Own_Tracked_Alt_Rate> <10:Other_Tracked_Alt> <10:Alt_Layer_Value> <10:Positive_RA_Alt_Thresh> <10:Up_ Separation> <10:Down_Separation> <10:Other_RAC> <10:Other_Capability> <10:Climb_Inhibit> <10:need_upward_RA>
13	RTN	0	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidenc e> <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA _Alt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA>
14	C	131	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidenc e> <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA _Alt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA>
15	P	0	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidence& gt; <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA_A lt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA>
16	S	133	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidenc e> <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA _Alt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA>
17	C	137	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidenc e> <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA _Alt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA>
18	P	0	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidence& gt; <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA_A lt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA>
19	S	139	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidenc e> <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA _Alt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA>
20	C	143	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidenc e> <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA _Alt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA>
21	P	0	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidence& gt; <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA_A lt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA>
22	S	145	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidenc e> <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA _Alt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA>
23	S	149	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidenc e> <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA _Alt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA>
24	J	0	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidence> <12:Two_of_ Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA_Alt_Thresh> < 12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA> <22:alt_sep> <23:a lt_sep>
25	J	0	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidence> <12:Two_of_ Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA_Alt_Thresh> < 12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA> <19:alt_sep> <22:a lt_sep> <23:alt_sep>
26	J	0	<4:enabled> <5:tcas_equipped> <6:intent_not_known> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidence> <12:Two_of_ Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA_Alt_Thresh> < 12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA> <16:alt_sep> <19:a lt_sep> <22:alt_sep> <23:alt_sep>
27	J	0	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Track ed_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Clim b_Inhibit> <4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confidence > <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_RA_ Alt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA> <16:a lt_sep> <19:alt_sep> <22:alt_sep> <23:alt_sep>
28	S	154	<1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_Alt_Rate> <1:Other_Tra cked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Cl imb_Inhibit> <4:enabled> <5:tcas_equipped> <6:intent_not_known> <7:alt_sep> <10:need_upward_RA> <12:Cur_Vertical_Sep> <12:High_Confiden ce> <12:Two_of_Three_Reports_Valid> <12:Own_Tracked_Alt> <12:Own_Tracked_Alt_Rate> <12:Other_Tracked_Alt> <12:Alt_Layer_Value> <12:Positive_R A_Alt_Thresh> <12:Up_Separation> <12:Down_Separation> <12:Other_RAC> <12:Other_Capability> <12:Climb_Inhibit> <12:need_downward_RA> <16 :alt_sep> <19:alt_sep> <22:alt_sep> <23:alt_sep>

Function: main

node	label	endline	reaching definitions
1	E	160
2	X	185	<13:argv> <13:argc> <13:Cur_Vertical_Sep> <13:High_Confidence> <13:Two_of_Three_Reports_Valid> <13:Own_Tracked_Alt> <13:Own_ Tracked_Alt_Rate> <13:Other_Tracked_Alt> <13:Alt_Layer_Value> <13:Positive_RA_Alt_Thresh> <13:Up_Separation> <13:Down_Separation> <13:Other_R AC> <13:Other_Capability> <13:Climb_Inhibit> <43:argv> <43:argc> <43:Cur_Vertical_Sep> <43:High_Confidence> <43:Two_of_Three_Reports_Va lid> <43:Own_Tracked_Alt> <43:Own_Tracked_Alt_Rate> <43:Other_Tracked_Alt> <43:Alt_Layer_Value> <43:Positive_RA_Alt_Thresh> <43:Up_Separation > <43:Down_Separation> <43:Other_RAC> <43:Other_Capability> <43:Climb_Inhibit>
3	C	161	<1:argv> <1:argc> <1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked _Alt_Rate> <1:Other_Tracked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Climb_Inhibit>
4	P	0	<1:argv> <1:argc> <1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_A lt_Rate> <1:Other_Tracked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Climb_Inhibit>
5	F	163	<1:argv> <1:argc> <1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked _Alt_Rate> <1:Other_Tracked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Climb_Inhibit>
6	RTN	0	<5:argv> <5:argc> <5:Cur_Vertical_Sep> <5:High_Confidence> <5:Two_of_Three_Reports_Valid> <5:Own_Tracked_Alt> <5:Own_Tracked _Alt_Rate> <5:Other_Tracked_Alt> <5:Alt_Layer_Value> <5:Positive_RA_Alt_Thresh> <5:Up_Separation> <5:Down_Separation> <5:Other_RAC> <5:Other_Capability> <5:Climb_Inhibit>
7	F	164	<5:argv> <5:argc> <5:Cur_Vertical_Sep> <5:High_Confidence> <5:Two_of_Three_Reports_Valid> <5:Own_Tracked_Alt> <5:Own_Tracked _Alt_Rate> <5:Other_Tracked_Alt> <5:Alt_Layer_Value> <5:Positive_RA_Alt_Thresh> <5:Up_Separation> <5:Down_Separation> <5:Other_RAC> <5:Other_Capability> <5:Climb_Inhibit>
8	RTN	0	<7:argv> <7:argc> <7:Cur_Vertical_Sep> <7:High_Confidence> <7:Two_of_Three_Reports_Valid> <7:Own_Tracked_Alt> <7:Own_Tracked _Alt_Rate> <7:Other_Tracked_Alt> <7:Alt_Layer_Value> <7:Positive_RA_Alt_Thresh> <7:Up_Separation> <7:Down_Separation> <7:Other_RAC> <7:Other_Capability> <7:Climb_Inhibit>
9	F	165	<7:argv> <7:argc> <7:Cur_Vertical_Sep> <7:High_Confidence> <7:Two_of_Three_Reports_Valid> <7:Own_Tracked_Alt> <7:Own_Tracked _Alt_Rate> <7:Other_Tracked_Alt> <7:Alt_Layer_Value> <7:Positive_RA_Alt_Thresh> <7:Up_Separation> <7:Down_Separation> <7:Other_RAC> <7:Other_Capability> <7:Climb_Inhibit>
10	RTN	0	<9:argv> <9:argc> <9:Cur_Vertical_Sep> <9:High_Confidence> <9:Two_of_Three_Reports_Valid> <9:Own_Tracked_Alt> <9:Own_Tracke d_Alt_Rate> <9:Other_Tracked_Alt> <9:Alt_Layer_Value> <9:Positive_RA_Alt_Thresh> <9:Up_Separation> <9:Down_Separation> <9:Other_RAC> <9:Other_Capability> <9:Climb_Inhibit>
11	F	166	<9:argv> <9:argc> <9:Cur_Vertical_Sep> <9:High_Confidence> <9:Two_of_Three_Reports_Valid> <9:Own_Tracked_Alt> <9:Own_Tracke d_Alt_Rate> <9:Other_Tracked_Alt> <9:Alt_Layer_Value> <9:Positive_RA_Alt_Thresh> <9:Up_Separation> <9:Down_Separation> <9:Other_RAC> <9:Other_Capability> <9:Climb_Inhibit>
12	RTN	0	<11:argv> <11:argc> <11:Cur_Vertical_Sep> <11:High_Confidence> <11:Two_of_Three_Reports_Valid> <11:Own_Tracked_Alt> <11:Own _Tracked_Alt_Rate> <11:Other_Tracked_Alt> <11:Alt_Layer_Value> <11:Positive_RA_Alt_Thresh> <11:Up_Separation> <11:Down_Separation> <11:Other_ RAC> <11:Other_Capability> <11:Climb_Inhibit>
13	F	167	<11:argv> <11:argc> <11:Cur_Vertical_Sep> <11:High_Confidence> <11:Two_of_Three_Reports_Valid> <11:Own_Tracked_Alt> <11:Own _Tracked_Alt_Rate> <11:Other_Tracked_Alt> <11:Alt_Layer_Value> <11:Positive_RA_Alt_Thresh> <11:Up_Separation> <11:Down_Separation> <11:Other_ RAC> <11:Other_Capability> <11:Climb_Inhibit>
14	RTN	0	<13:argv> <13:argc> <13:Cur_Vertical_Sep> <13:High_Confidence> <13:Two_of_Three_Reports_Valid> <13:Own_Tracked_Alt> <13:Own _Tracked_Alt_Rate> <13:Other_Tracked_Alt> <13:Alt_Layer_Value> <13:Positive_RA_Alt_Thresh> <13:Up_Separation> <13:Down_Separation> <13:Other_ RAC> <13:Other_Capability> <13:Climb_Inhibit>
15	S	168	<13:argv> <13:argc> <13:Cur_Vertical_Sep> <13:High_Confidence> <13:Two_of_Three_Reports_Valid> <13:Own_Tracked_Alt> <13:Own _Tracked_Alt_Rate> <13:Other_Tracked_Alt> <13:Alt_Layer_Value> <13:Positive_RA_Alt_Thresh> <13:Up_Separation> <13:Down_Separation> <13:Other_ RAC> <13:Other_Capability> <13:Climb_Inhibit>
16	J	0	<1:argv> <1:argc> <1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracked_ Alt_Rate> <1:Other_Tracked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Climb_Inhibit>
17	F	170	<1:argv> <1:argc> <1:Cur_Vertical_Sep> <1:High_Confidence> <1:Two_of_Three_Reports_Valid> <1:Own_Tracked_Alt> <1:Own_Tracke d_Alt_Rate> <1:Other_Tracked_Alt> <1:Alt_Layer_Value> <1:Positive_RA_Alt_Thresh> <1:Up_Separation> <1:Down_Separation> <1:Other_RAC> <1:Other_Capability> <1:Climb_Inhibit>
18	RTN	0	<17:argv> <17:argc> <17:Cur_Vertical_Sep> <17:High_Confidence> <17:Two_of_Three_Reports_Valid> <17:Own_Tracked_Alt> <17:Own _Tracked_Alt_Rate> <17:Other_Tracked_Alt> <17:Alt_Layer_Value> <17:Positive_RA_Alt_Thresh> <17:Up_Separation> <17:Down_Separation> <17:Other_ RAC> <17:Other_Capability> <17:Climb_Inhibit>
19	F	171	<17:argv> <17:argc> <17:Cur_Vertical_Sep> <17:High_Confidence> <17:Two_of_Three_Reports_Valid> <17:Own_Tracked_Alt> <17:Own _Tracked_Alt_Rate> <17:Other_Tracked_Alt> <17:Alt_Layer_Value> <17:Positive_RA_Alt_Thresh> <17:Up_Separation> <17:Down_Separation> <17:Other_ RAC> <17:Other_Capability> <17:Climb_Inhibit>
20	RTN	0	<19:argv> <19:argc> <19:Cur_Vertical_Sep> <19:High_Confidence> <19:Two_of_Three_Reports_Valid> <19:Own_Tracked_Alt> <19:Own _Tracked_Alt_Rate> <19:Other_Tracked_Alt> <19:Alt_Layer_Value> <19:Positive_RA_Alt_Thresh> <19:Up_Separation> <19:Down_Separation> <19:Other_ RAC> <19:Other_Capability> <19:Climb_Inhibit> <19:Cur_Vertical_Sep>
21	F	172	<19:argv> <19:argc> <19:Cur_Vertical_Sep> <19:High_Confidence> <19:Two_of_Three_Reports_Valid> <19:Own_Tracked_Alt> <19:Own _Tracked_Alt_Rate> <19:Other_Tracked_Alt> <19:Alt_Layer_Value> <19:Positive_RA_Alt_Thresh> <19:Up_Separation> <19:Down_Separation> <19:Other_ RAC> <19:Other_Capability> <19:Climb_Inhibit> <19:Cur_Vertical_Sep>
22	RTN	0	<21:argv> <21:argc> <21:Cur_Vertical_Sep> <21:High_Confidence> <21:Two_of_Three_Reports_Valid> <21:Own_Tracked_Alt> <21:Own _Tracked_Alt_Rate> <21:Other_Tracked_Alt> <21:Alt_Layer_Value> <21:Positive_RA_Alt_Thresh> <21:Up_Separation> <21:Down_Separation> <21:Other_ RAC> <21:Other_Capability> <21:Climb_Inhibit> <21:High_Confidence>
23	F	173	<21:argv> <21:argc> <21:Cur_Vertical_Sep> <21:High_Confidence> <21:Two_of_Three_Reports_Valid> <21:Own_Tracked_Alt> <21:Own _Tracked_Alt_Rate> <21:Other_Tracked_Alt> <21:Alt_Layer_Value> <21:Positive_RA_Alt_Thresh> <21:Up_Separation> <21:Down_Separation> <21:Other_ RAC> <21:Other_Capability> <21:Climb_Inhibit> <21:High_Confidence>
24	RTN	0	<23:argv> <23:argc> <23:Cur_Vertical_Sep> <23:High_Confidence> <23:Two_of_Three_Reports_Valid> <23:Own_Tracked_Alt> <23:Own _Tracked_Alt_Rate> <23:Other_Tracked_Alt> <23:Alt_Layer_Value> <23:Positive_RA_Alt_Thresh> <23:Up_Separation> <23:Down_Separation> <23:Other_ RAC> <23:Other_Capability> <23:Climb_Inhibit> <23:Two_of_Three_Reports_Valid>
25	F	174	<23:argv> <23:argc> <23:Cur_Vertical_Sep> <23:High_Confidence> <23:Two_of_Three_Reports_Valid> <23:Own_Tracked_Alt> <23:Own _Tracked_Alt_Rate> <23:Other_Tracked_Alt> <23:Alt_Layer_Value> <23:Positive_RA_Alt_Thresh> <23:Up_Separation> <23:Down_Separation> <23:Other_ RAC> <23:Other_Capability> <23:Climb_Inhibit> <23:Two_of_Three_Reports_Valid>
26	RTN	0	<25:argv> <25:argc> <25:Cur_Vertical_Sep> <25:High_Confidence> <25:Two_of_Three_Reports_Valid> <25:Own_Tracked_Alt> <25:Own _Tracked_Alt_Rate> <25:Other_Tracked_Alt> <25:Alt_Layer_Value> <25:Positive_RA_Alt_Thresh> <25:Up_Separation> <25:Down_Separation> <25:Other_ RAC> <25:Other_Capability> <25:Climb_Inhibit> <25:Own_Tracked_Alt>
27	F	175	<25:argv> <25:argc> <25:Cur_Vertical_Sep> <25:High_Confidence> <25:Two_of_Three_Reports_Valid> <25:Own_Tracked_Alt> <25:Own _Tracked_Alt_Rate> <25:Other_Tracked_Alt> <25:Alt_Layer_Value> <25:Positive_RA_Alt_Thresh> <25:Up_Separation> <25:Down_Separation> <25:Other_ RAC> <25:Other_Capability> <25:Climb_Inhibit> <25:Own_Tracked_Alt>
28	RTN	0	<27:argv> <27:argc> <27:Cur_Vertical_Sep> <27:High_Confidence> <27:Two_of_Three_Reports_Valid> <27:Own_Tracked_Alt> <27:Own _Tracked_Alt_Rate> <27:Other_Tracked_Alt> <27:Alt_Layer_Value> <27:Positive_RA_Alt_Thresh> <27:Up_Separation> <27:Down_Separation> <27:Other_ RAC> <27:Other_Capability> <27:Climb_Inhibit> <27:Own_Tracked_Alt_Rate>
29	F	176	<27:argv> <27:argc> <27:Cur_Vertical_Sep> <27:High_Confidence> <27:Two_of_Three_Reports_Valid> <27:Own_Tracked_Alt> <27:Own _Tracked_Alt_Rate> <27:Other_Tracked_Alt> <27:Alt_Layer_Value> <27:Positive_RA_Alt_Thresh> <27:Up_Separation> <27:Down_Separation> <27:Other_ RAC> <27:Other_Capability> <27:Climb_Inhibit> <27:Own_Tracked_Alt_Rate>
30	RTN	0	<29:argv> <29:argc> <29:Cur_Vertical_Sep> <29:High_Confidence> <29:Two_of_Three_Reports_Valid> <29:Own_Tracked_Alt> <29:Own _Tracked_Alt_Rate> <29:Other_Tracked_Alt> <29:Alt_Layer_Value> <29:Positive_RA_Alt_Thresh> <29:Up_Separation> <29:Down_Separation> <29:Other_ RAC> <29:Other_Capability> <29:Climb_Inhibit> <29:Other_Tracked_Alt>
31	F	177	<29:argv> <29:argc> <29:Cur_Vertical_Sep> <29:High_Confidence> <29:Two_of_Three_Reports_Valid> <29:Own_Tracked_Alt> <29:Own _Tracked_Alt_Rate> <29:Other_Tracked_Alt> <29:Alt_Layer_Value> <29:Positive_RA_Alt_Thresh> <29:Up_Separation> <29:Down_Separation> <29:Other_ RAC> <29:Other_Capability> <29:Climb_Inhibit> <29:Other_Tracked_Alt>
32	RTN	0	<31:argv> <31:argc> <31:Cur_Vertical_Sep> <31:High_Confidence> <31:Two_of_Three_Reports_Valid> <31:Own_Tracked_Alt> <31:Own _Tracked_Alt_Rate> <31:Other_Tracked_Alt> <31:Alt_Layer_Value> <31:Positive_RA_Alt_Thresh> <31:Up_Separation> <31:Down_Separation> <31:Other_ RAC> <31:Other_Capability> <31:Climb_Inhibit> <31:Alt_Layer_Value>
33	F	178	<31:argv> <31:argc> <31:Cur_Vertical_Sep> <31:High_Confidence> <31:Two_of_Three_Reports_Valid> <31:Own_Tracked_Alt> <31:Own _Tracked_Alt_Rate> <31:Other_Tracked_Alt> <31:Alt_Layer_Value> <31:Positive_RA_Alt_Thresh> <31:Up_Separation> <31:Down_Separation> <31:Other_ RAC> <31:Other_Capability> <31:Climb_Inhibit> <31:Alt_Layer_Value>
34	RTN	0	<33:argv> <33:argc> <33:Cur_Vertical_Sep> <33:High_Confidence> <33:Two_of_Three_Reports_Valid> <33:Own_Tracked_Alt> <33:Own _Tracked_Alt_Rate> <33:Other_Tracked_Alt> <33:Alt_Layer_Value> <33:Positive_RA_Alt_Thresh> <33:Up_Separation> <33:Down_Separation> <33:Other_ RAC> <33:Other_Capability> <33:Climb_Inhibit> <33:Up_Separation>
35	F	179	<33:argv> <33:argc> <33:Cur_Vertical_Sep> <33:High_Confidence> <33:Two_of_Three_Reports_Valid> <33:Own_Tracked_Alt> <33:Own _Tracked_Alt_Rate> <33:Other_Tracked_Alt> <33:Alt_Layer_Value> <33:Positive_RA_Alt_Thresh> <33:Up_Separation> <33:Down_Separation> <33:Other_ RAC> <33:Other_Capability> <33:Climb_Inhibit> <33:Up_Separation>
36	RTN	0	<35:argv> <35:argc> <35:Cur_Vertical_Sep> <35:High_Confidence> <35:Two_of_Three_Reports_Valid> <35:Own_Tracked_Alt> <35:Own _Tracked_Alt_Rate> <35:Other_Tracked_Alt> <35:Alt_Layer_Value> <35:Positive_RA_Alt_Thresh> <35:Up_Separation> <35:Down_Separation> <35:Other_ RAC> <35:Other_Capability> <35:Climb_Inhibit> <35:Down_Separation>
37	F	180	<35:argv> <35:argc> <35:Cur_Vertical_Sep> <35:High_Confidence> <35:Two_of_Three_Reports_Valid> <35:Own_Tracked_Alt> <35:Own _Tracked_Alt_Rate> <35:Other_Tracked_Alt> <35:Alt_Layer_Value> <35:Positive_RA_Alt_Thresh> <35:Up_Separation> <35:Down_Separation> <35:Other_ RAC> <35:Other_Capability> <35:Climb_Inhibit> <35:Down_Separation>
38	RTN	0	<37:argv> <37:argc> <37:Cur_Vertical_Sep> <37:High_Confidence> <37:Two_of_Three_Reports_Valid> <37:Own_Tracked_Alt> <37:Own _Tracked_Alt_Rate> <37:Other_Tracked_Alt> <37:Alt_Layer_Value> <37:Positive_RA_Alt_Thresh> <37:Up_Separation> <37:Down_Separation> <37:Other_ RAC> <37:Other_Capability> <37:Climb_Inhibit> <37:Other_RAC>
39	F	181	<37:argv> <37:argc> <37:Cur_Vertical_Sep> <37:High_Confidence> <37:Two_of_Three_Reports_Valid> <37:Own_Tracked_Alt> <37:Own _Tracked_Alt_Rate> <37:Other_Tracked_Alt> <37:Alt_Layer_Value> <37:Positive_RA_Alt_Thresh> <37:Up_Separation> <37:Down_Separation> <37:Other_ RAC> <37:Other_Capability> <37:Climb_Inhibit> <37:Other_RAC>
40	RTN	0	<39:argv> <39:argc> <39:Cur_Vertical_Sep> <39:High_Confidence> <39:Two_of_Three_Reports_Valid> <39:Own_Tracked_Alt> <39:Own _Tracked_Alt_Rate> <39:Other_Tracked_Alt> <39:Alt_Layer_Value> <39:Positive_RA_Alt_Thresh> <39:Up_Separation> <39:Down_Separation> <39:Other_ RAC> <39:Other_Capability> <39:Climb_Inhibit> <39:Other_Capability>
41	F	182	<39:argv> <39:argc> <39:Cur_Vertical_Sep> <39:High_Confidence> <39:Two_of_Three_Reports_Valid> <39:Own_Tracked_Alt> <39:Own _Tracked_Alt_Rate> <39:Other_Tracked_Alt> <39:Alt_Layer_Value> <39:Positive_RA_Alt_Thresh> <39:Up_Separation> <39:Down_Separation> <39:Other_ RAC> <39:Other_Capability> <39:Climb_Inhibit> <39:Other_Capability>
42	RTN	0	<41:argv> <41:argc> <41:Cur_Vertical_Sep> <41:High_Confidence> <41:Two_of_Three_Reports_Valid> <41:Own_Tracked_Alt> <41:Own _Tracked_Alt_Rate> <41:Other_Tracked_Alt> <41:Alt_Layer_Value> <41:Positive_RA_Alt_Thresh> <41:Up_Separation> <41:Down_Separation> <41:Other_ RAC> <41:Other_Capability> <41:Climb_Inhibit> <41:Climb_Inhibit>
43	F	183	<41:argv> <41:argc> <41:Cur_Vertical_Sep> <41:High_Confidence> <41:Two_of_Three_Reports_Valid> <41:Own_Tracked_Alt> <41:Own _Tracked_Alt_Rate> <41:Other_Tracked_Alt> <41:Alt_Layer_Value> <41:Positive_RA_Alt_Thresh> <41:Up_Separation> <41:Down_Separation> <41:Other_ RAC> <41:Other_Capability> <41:Climb_Inhibit> <41:Climb_Inhibit>
44	RTN	0	<43:argv> <43:argc> <43:Cur_Vertical_Sep> <43:High_Confidence> <43:Two_of_Three_Reports_Valid> <43:Own_Tracked_Alt> <43:Own _Tracked_Alt_Rate> <43:Other_Tracked_Alt> <43:Alt_Layer_Value> <43:Positive_RA_Alt_Thresh> <43:Up_Separation> <43:Down_Separation> <43:Other_ RAC> <43:Other_Capability> <43:Climb_Inhibit>
45	S	184	<43:argv> <43:argc> <43:Cur_Vertical_Sep> <43:High_Confidence> <43:Two_of_Three_Reports_Valid> <43:Own_Tracked_Alt> <43:Own _Tracked_Alt_Rate> <43:Other_Tracked_Alt> <43:Alt_Layer_Value> <43:Positive_RA_Alt_Thresh> <43:Up_Separation> <43:Down_Separation> <43:Other_ RAC> <43:Other_Capability> <43:Climb_Inhibit>


_{Georgia Tech \| College of Computing \| Software Engineering \| Aristotle Home}	_{Updated November 1, 2001 by Tongyu Li}