//This file was generated from (Academic) UPPAAL 4.0.13 (rev. 4577), September 2010

/*

*/
//NO_QUERY

/*

*/
A<> forall(i: t_id) Train(i).Complete

/*
pred12_no_single_track_open_lines_utilized_in_both_directions_simultaniously
*/
A[] forall(i: t_id) not Train(i).ERROR_OpenLineOccupiedBothDirections

/*
pred8_open_lines_never_exceed_capacity
*/
A[] forall(i: t_id) not Train(i).ERROR_OpenLineCapacity

/*
pred10_open_lines_headway_times_upheld
*/
A[] forall(i: t_id) not Train(i).ERROR_OpenLineHeadwayTimeEnter

/*
pred10_open_lines_headway_times_upheld
*/
A[] forall(i: t_id) not Train(i).ERROR_OpenLineHeadwayTimeExit

/*
No trains attempt to overtake another train when traversing an open line
pred11_trains_do_not_attempt_to_overtake
*/
A[] forall(i: t_id) not Train(i).ERROR_OvertakeAttempt

/*
Running time constrains are uphold
pred5_trains_are_not_scheduled_to_arrive_earlier_than_possible
*/
A[] forall(i: t_id) not Train(i).ERROR_MinimumRunningTime

/*
Dwell times are upheld
pred6_dwell_times_upheld
*/
A[] forall(i: t_id) not Train(i).ERROR_DwellTime

/*
pred9_stations_headway_times_upheld
*/
A[] forall(i: t_id) not Train(i).ERROR_StationHeadwayTime

/*
pred7_stations_never_exceed_capacity
*/
A[] forall(i: t_id) not Train(i).ERROR_StationCapacity

/*

*/
Train(0).Inactive --> Train(0).Complete

/*

*/
Train(1).Inactive --> Train(1).Complete