Skip to content
Snippets Groups Projects
Commit ee534f7c authored by Michael Leuschel's avatar Michael Leuschel
Browse files

add a more sophisticated train example

parent 9bdb9b6e
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Train/SimpleTrainTrack.html
+ 21
− 659
View file @ ee534f7c
<!DOCTYPE html>
<html>
<head>
<!-- html file generated by ProB from a VisB visualization -->
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<script>
function setAttr(id, attribute, value){
......@@ -106,12 +107,8 @@
<script>
function visualise0(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 0");
highlightRow(stepNr);
}
function visualise1(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 1");
setAttr("visb_debug_messages","text","Step "+stepNr+"/1, State ID: 1");
setAttr("train_polygon","points","0.0,3.0 6.451612903225806,3.0 5.451612903225806,0 0.0,0 0.0,3.0 ");
setAttr("train_info_text","x","0.0");
setAttr("train_info_text","text","Train1: 0..2");
......@@ -119,560 +116,11 @@
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{}");
setAttr("bVar_train_rear_end","text","0");
highlightRow(stepNr);
}
function visualise2(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 2");
setAttr("train_polygon","points","0.0,3.0 6.451612903225806,3.0 5.451612903225806,0 0.0,0 0.0,3.0 ");
setAttr("train_info_text","x","0.0");
setAttr("train_info_text","text","Train1: 0..2");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1}");
setAttr("bVar_train_rear_end","text","0");
highlightRow(stepNr);
}
function visualise8(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 8");
setAttr("train_polygon","points","3.225806451612903,3.0 9.677419354838708,3.0 8.677419354838708,0 3.225806451612903,0 3.225806451612903,3.0 ");
setAttr("train_info_text","x","3.225806451612903");
setAttr("train_info_text","text","Train1: 1..3");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1}");
setAttr("bVar_train_rear_end","text","1");
highlightRow(stepNr);
}
function visualise11(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 11");
setAttr("train_polygon","points","6.451612903225806,3.0 12.903225806451612,3.0 11.903225806451612,0 6.451612903225806,0 6.451612903225806,3.0 ");
setAttr("train_info_text","x","6.451612903225806");
setAttr("train_info_text","text","Train1: 2..4");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1}");
setAttr("bVar_train_rear_end","text","2");
highlightRow(stepNr);
}
function visualise15(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 15");
setAttr("train_polygon","points","9.677419354838708,3.0 16.129032258064516,3.0 15.129032258064516,0 9.677419354838708,0 9.677419354838708,3.0 ");
setAttr("train_info_text","x","9.67741935483871");
setAttr("train_info_text","text","Train1: 3..5");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1}");
setAttr("bVar_train_rear_end","text","3");
highlightRow(stepNr);
}
function visualise19(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 19");
setAttr("train_polygon","points","12.903225806451612,3.0 19.354838709677416,3.0 18.354838709677416,0 12.903225806451612,0 12.903225806451612,3.0 ");
setAttr("train_info_text","x","12.903225806451612");
setAttr("train_info_text","text","Train1: 4..6");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1}");
setAttr("bVar_train_rear_end","text","4");
highlightRow(stepNr);
}
function visualise23(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 23");
setAttr("train_polygon","points","16.129032258064516,3.0 22.58064516129032,3.0 21.58064516129032,0 16.129032258064516,0 16.129032258064516,3.0 ");
setAttr("train_info_text","x","16.129032258064516");
setAttr("train_info_text","text","Train1: 5..7");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1}");
setAttr("bVar_train_rear_end","text","5");
highlightRow(stepNr);
}
function visualise27(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 27");
setAttr("train_polygon","points","19.354838709677416,3.0 25.806451612903224,3.0 24.806451612903224,0 19.354838709677416,0 19.354838709677416,3.0 ");
setAttr("train_info_text","x","19.35483870967742");
setAttr("train_info_text","text","Train1: 6..8");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1}");
setAttr("bVar_train_rear_end","text","6");
highlightRow(stepNr);
}
function visualise31(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 31");
setAttr("train_polygon","points","22.58064516129032,3.0 29.032258064516128,3.0 28.032258064516128,0 22.58064516129032,0 22.58064516129032,3.0 ");
setAttr("train_info_text","x","22.580645161290324");
setAttr("train_info_text","text","Train1: 7..9");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1}");
setAttr("bVar_train_rear_end","text","7");
highlightRow(stepNr);
}
function visualise35(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 35");
setAttr("train_polygon","points","25.806451612903224,3.0 32.25806451612903,3.0 31.258064516129032,0 25.806451612903224,0 25.806451612903224,3.0 ");
setAttr("train_info_text","x","25.806451612903224");
setAttr("train_info_text","text","Train1: 8..10");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1}");
setAttr("bVar_train_rear_end","text","8");
highlightRow(stepNr);
}
function visualise39(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 39");
setAttr("train_polygon","points","29.032258064516128,3.0 35.483870967741936,3.0 34.483870967741936,0 29.032258064516128,0 29.032258064516128,3.0 ");
setAttr("train_info_text","x","29.032258064516128");
setAttr("train_info_text","text","Train1: 9..11");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1}");
setAttr("bVar_train_rear_end","text","9");
highlightRow(stepNr);
}
function visualise43(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 43");
setAttr("train_polygon","points","32.25806451612903,3.0 38.70967741935483,3.0 37.70967741935483,0 32.25806451612903,0 32.25806451612903,3.0 ");
setAttr("train_info_text","x","32.25806451612903");
setAttr("train_info_text","text","Train1: 10..12");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1}");
setAttr("bVar_train_rear_end","text","10");
highlightRow(stepNr);
}
function visualise44(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 44");
setAttr("train_polygon","points","32.25806451612903,3.0 38.70967741935483,3.0 37.70967741935483,0 32.25806451612903,0 32.25806451612903,3.0 ");
setAttr("train_info_text","x","32.25806451612903");
setAttr("train_info_text","text","Train1: 10..12");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1,ttd2}");
setAttr("bVar_train_rear_end","text","10");
highlightRow(stepNr);
}
function visualise50(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 50");
setAttr("train_polygon","points","35.483870967741936,3.0 41.93548387096774,3.0 40.93548387096774,0 35.483870967741936,0 35.483870967741936,3.0 ");
setAttr("train_info_text","x","35.483870967741936");
setAttr("train_info_text","text","Train1: 11..13");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","0.0,0 0.0,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd1,ttd2}");
setAttr("bVar_train_rear_end","text","11");
highlightRow(stepNr);
}
function visualise52(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 52");
setAttr("train_polygon","points","35.483870967741936,3.0 41.93548387096774,3.0 40.93548387096774,0 35.483870967741936,0 35.483870967741936,3.0 ");
setAttr("train_info_text","x","35.483870967741936");
setAttr("train_info_text","text","Train1: 11..13");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","11");
highlightRow(stepNr);
}
function visualise56(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 56");
setAttr("train_polygon","points","38.70967741935483,3.0 45.16129032258064,3.0 44.16129032258064,0 38.70967741935483,0 38.70967741935483,3.0 ");
setAttr("train_info_text","x","38.70967741935484");
setAttr("train_info_text","text","Train1: 12..14");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","12");
highlightRow(stepNr);
}
function visualise59(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 59");
setAttr("train_polygon","points","41.93548387096774,3.0 48.387096774193544,3.0 47.387096774193544,0 41.93548387096774,0 41.93548387096774,3.0 ");
setAttr("train_info_text","x","41.935483870967744");
setAttr("train_info_text","text","Train1: 13..15");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","13");
highlightRow(stepNr);
}
function visualise63(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 63");
setAttr("train_polygon","points","45.16129032258064,3.0 51.61290322580645,3.0 50.61290322580645,0 45.16129032258064,0 45.16129032258064,3.0 ");
setAttr("train_info_text","x","45.16129032258065");
setAttr("train_info_text","text","Train1: 14..16");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","14");
highlightRow(stepNr);
}
function visualise67(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 67");
setAttr("train_polygon","points","48.387096774193544,3.0 54.83870967741935,3.0 53.83870967741935,0 48.387096774193544,0 48.387096774193544,3.0 ");
setAttr("train_info_text","x","48.38709677419355");
setAttr("train_info_text","text","Train1: 15..17");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","15");
highlightRow(stepNr);
}
function visualise71(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 71");
setAttr("train_polygon","points","51.61290322580645,3.0 58.064516129032256,3.0 57.064516129032256,0 51.61290322580645,0 51.61290322580645,3.0 ");
setAttr("train_info_text","x","51.61290322580645");
setAttr("train_info_text","text","Train1: 16..18");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","16");
highlightRow(stepNr);
}
function visualise75(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 75");
setAttr("train_polygon","points","54.83870967741935,3.0 61.29032258064516,3.0 60.29032258064516,0 54.83870967741935,0 54.83870967741935,3.0 ");
setAttr("train_info_text","x","54.83870967741935");
setAttr("train_info_text","text","Train1: 17..19");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","17");
highlightRow(stepNr);
}
function visualise79(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 79");
setAttr("train_polygon","points","58.064516129032256,3.0 64.51612903225806,3.0 63.516129032258064,0 58.064516129032256,0 58.064516129032256,3.0 ");
setAttr("train_info_text","x","58.064516129032256");
setAttr("train_info_text","text","Train1: 18..20");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","18");
highlightRow(stepNr);
}
function visualise83(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 83");
setAttr("train_polygon","points","61.29032258064516,3.0 67.74193548387096,3.0 66.74193548387096,0 61.29032258064516,0 61.29032258064516,3.0 ");
setAttr("train_info_text","x","61.29032258064516");
setAttr("train_info_text","text","Train1: 19..21");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","19");
highlightRow(stepNr);
}
function visualise87(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 87");
setAttr("train_polygon","points","64.51612903225806,3.0 70.96774193548387,3.0 69.96774193548387,0 64.51612903225806,0 64.51612903225806,3.0 ");
setAttr("train_info_text","x","64.51612903225806");
setAttr("train_info_text","text","Train1: 20..22");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","20");
highlightRow(stepNr);
}
function visualise91(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 91");
setAttr("train_polygon","points","67.74193548387096,3.0 74.19354838709677,3.0 73.19354838709677,0 67.74193548387096,0 67.74193548387096,3.0 ");
setAttr("train_info_text","x","67.74193548387096");
setAttr("train_info_text","text","Train1: 21..23");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","21");
highlightRow(stepNr);
}
function visualise95(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 95");
setAttr("train_polygon","points","70.96774193548387,3.0 77.41935483870967,3.0 76.41935483870967,0 70.96774193548387,0 70.96774193548387,3.0 ");
setAttr("train_info_text","x","70.96774193548387");
setAttr("train_info_text","text","Train1: 22..24");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","22");
highlightRow(stepNr);
}
function visualise99(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 99");
setAttr("train_polygon","points","74.19354838709677,3.0 80.64516129032258,3.0 79.64516129032258,0 74.19354838709677,0 74.19354838709677,3.0 ");
setAttr("train_info_text","x","74.19354838709677");
setAttr("train_info_text","text","Train1: 23..25");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","23");
highlightRow(stepNr);
}
function visualise103(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 103");
setAttr("train_polygon","points","77.41935483870967,3.0 83.87096774193547,3.0 82.87096774193547,0 77.41935483870967,0 77.41935483870967,3.0 ");
setAttr("train_info_text","x","77.41935483870968");
setAttr("train_info_text","text","Train1: 24..26");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","24");
highlightRow(stepNr);
}
function visualise107(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 107");
setAttr("train_polygon","points","80.64516129032258,3.0 87.09677419354838,3.0 86.09677419354838,0 80.64516129032258,0 80.64516129032258,3.0 ");
setAttr("train_info_text","x","80.64516129032258");
setAttr("train_info_text","text","Train1: 25..27");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2}");
setAttr("bVar_train_rear_end","text","25");
highlightRow(stepNr);
}
function visualise109(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 109");
setAttr("train_polygon","points","80.64516129032258,3.0 87.09677419354838,3.0 86.09677419354838,0 80.64516129032258,0 80.64516129032258,3.0 ");
setAttr("train_info_text","x","80.64516129032258");
setAttr("train_info_text","text","Train1: 25..27");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2,ttd3}");
setAttr("bVar_train_rear_end","text","25");
highlightRow(stepNr);
}
function visualise114(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 114");
setAttr("train_polygon","points","83.87096774193547,3.0 90.32258064516128,3.0 89.32258064516128,0 83.87096774193547,0 83.87096774193547,3.0 ");
setAttr("train_info_text","x","83.87096774193549");
setAttr("train_info_text","text","Train1: 26..28");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","35.483870967741936,0 35.483870967741936,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 35.483870967741936,2.0 35.483870967741936,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd2,ttd3}");
setAttr("bVar_train_rear_end","text","26");
highlightRow(stepNr);
}
function visualise116(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 116");
setAttr("train_polygon","points","83.87096774193547,3.0 90.32258064516128,3.0 89.32258064516128,0 83.87096774193547,0 83.87096774193547,3.0 ");
setAttr("train_info_text","x","83.87096774193549");
setAttr("train_info_text","text","Train1: 26..28");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd3}");
setAttr("bVar_train_rear_end","text","26");
highlightRow(stepNr);
}
function visualise120(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 120");
setAttr("train_polygon","points","87.09677419354838,3.0 93.54838709677419,3.0 92.54838709677419,0 87.09677419354838,0 87.09677419354838,3.0 ");
setAttr("train_info_text","x","87.09677419354838");
setAttr("train_info_text","text","Train1: 27..29");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd3}");
setAttr("bVar_train_rear_end","text","27");
highlightRow(stepNr);
}
function visualise123(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 123");
setAttr("train_polygon","points","90.32258064516128,3.0 96.77419354838709,3.0 95.77419354838709,0 90.32258064516128,0 90.32258064516128,3.0 ");
setAttr("train_info_text","x","90.3225806451613");
setAttr("train_info_text","text","Train1: 28..30");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd3}");
setAttr("bVar_train_rear_end","text","28");
highlightRow(stepNr);
}
function visualise127(stepNr) {
setAttr("visb_debug_messages","text","Step "+stepNr+"/36, State ID: 127");
setAttr("train_polygon","points","93.54838709677419,3.0 100.0,3.0 99.0,0 93.54838709677419,0 93.54838709677419,3.0 ");
setAttr("train_info_text","x","93.54838709677419");
setAttr("train_info_text","text","Train1: 29..31");
setAttr("track_polyline","points","0.0,0 0.0,0.5 0.0,-0.5 0.0,0 3.225806451612903,0 3.225806451612903,0.5 3.225806451612903,-0.5 3.225806451612903,0 6.451612903225806,0 6.451612903225806,0.5 6.451612903225806,-0.5 6.451612903225806,0 9.677419354838708,0 9.677419354838708,0.5 9.677419354838708,-0.5 9.677419354838708,0 12.903225806451612,0 12.903225806451612,0.5 12.903225806451612,-0.5 12.903225806451612,0 16.129032258064516,0 16.129032258064516,0.5 16.129032258064516,-0.5 16.129032258064516,0 19.354838709677416,0 19.354838709677416,0.5 19.354838709677416,-0.5 19.354838709677416,0 22.58064516129032,0 22.58064516129032,0.5 22.58064516129032,-0.5 22.58064516129032,0 25.806451612903224,0 25.806451612903224,0.5 25.806451612903224,-0.5 25.806451612903224,0 29.032258064516128,0 29.032258064516128,0.5 29.032258064516128,-0.5 29.032258064516128,0 32.25806451612903,0 32.25806451612903,0.5 32.25806451612903,-0.5 32.25806451612903,0 35.483870967741936,0 35.483870967741936,0.5 35.483870967741936,-0.5 35.483870967741936,0 38.70967741935483,0 38.70967741935483,0.5 38.70967741935483,-0.5 38.70967741935483,0 41.93548387096774,0 41.93548387096774,0.5 41.93548387096774,-0.5 41.93548387096774,0 45.16129032258064,0 45.16129032258064,0.5 45.16129032258064,-0.5 45.16129032258064,0 48.387096774193544,0 48.387096774193544,0.5 48.387096774193544,-0.5 48.387096774193544,0 51.61290322580645,0 51.61290322580645,0.5 51.61290322580645,-0.5 51.61290322580645,0 54.83870967741935,0 54.83870967741935,0.5 54.83870967741935,-0.5 54.83870967741935,0 58.064516129032256,0 58.064516129032256,0.5 58.064516129032256,-0.5 58.064516129032256,0 61.29032258064516,0 61.29032258064516,0.5 61.29032258064516,-0.5 61.29032258064516,0 64.51612903225806,0 64.51612903225806,0.5 64.51612903225806,-0.5 64.51612903225806,0 67.74193548387096,0 67.74193548387096,0.5 67.74193548387096,-0.5 67.74193548387096,0 70.96774193548387,0 70.96774193548387,0.5 70.96774193548387,-0.5 70.96774193548387,0 74.19354838709677,0 74.19354838709677,0.5 74.19354838709677,-0.5 74.19354838709677,0 77.41935483870967,0 77.41935483870967,0.5 77.41935483870967,-0.5 77.41935483870967,0 80.64516129032258,0 80.64516129032258,0.5 80.64516129032258,-0.5 80.64516129032258,0 83.87096774193547,0 83.87096774193547,0.5 83.87096774193547,-0.5 83.87096774193547,0 87.09677419354838,0 87.09677419354838,0.5 87.09677419354838,-0.5 87.09677419354838,0 90.32258064516128,0 90.32258064516128,0.5 90.32258064516128,-0.5 90.32258064516128,0 93.54838709677419,0 93.54838709677419,0.5 93.54838709677419,-0.5 93.54838709677419,0 96.77419354838709,0 96.77419354838709,0.5 96.77419354838709,-0.5 96.77419354838709,0 100.0,0 100.0,0.5 100.0,-0.5 100.0,0 100.0,0 ");
setAttr("ttd_polyline","points","0.0,0 0.0,1.0 0.0,-1.0 0.0,0 35.483870967741936,0 35.483870967741936,1.0 35.483870967741936,-1.0 35.483870967741936,0 83.87096774193547,0 83.87096774193547,1.0 83.87096774193547,-1.0 83.87096774193547,0 100.0,0 100.0,1.0 100.0,-1.0 100.0,0 100.0,0 ");
setAttr("occupied_ttd_polygon","points","83.87096774193547,0 83.87096774193547,2.0 100.0,2.0 100.0,0 100.0,0 ");
setAttr("cleared_ttd_polygon","points","0.0,0 0.0,2.0 83.87096774193547,2.0 83.87096774193547,0 100.0,0 ");
setAttr("bVar_occ","text","{ttd3}");
setAttr("bVar_train_rear_end","text","29");
highlightRow(stepNr);
}
async function runAll(delay) {
visualise0(1);
setAttr("visb_debug_messages","text","Step: 1/36, State ID: 0, Event: SETUP_CONSTANTS(TrackElementNumber=30,TRACK=\{0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2...");
await sleep(delay);
visualise1(2);
setAttr("visb_debug_messages","text","Step: 2/36, State ID: 1, Event: INITIALISATION(occ=\{\},train_rear_end=0)");
await sleep(delay);
visualise2(3);
setAttr("visb_debug_messages","text","Step: 3/36, State ID: 2, Event: TTD_Occupied(ttd1)");
await sleep(delay);
visualise8(4);
setAttr("visb_debug_messages","text","Step: 4/36, State ID: 8, Event: TrainMoveForward");
await sleep(delay);
visualise11(5);
setAttr("visb_debug_messages","text","Step: 5/36, State ID: 11, Event: TrainMoveForward");
await sleep(delay);
visualise15(6);
setAttr("visb_debug_messages","text","Step: 6/36, State ID: 15, Event: TrainMoveForward");
await sleep(delay);
visualise19(7);
setAttr("visb_debug_messages","text","Step: 7/36, State ID: 19, Event: TrainMoveForward");
await sleep(delay);
visualise23(8);
setAttr("visb_debug_messages","text","Step: 8/36, State ID: 23, Event: TrainMoveForward");
await sleep(delay);
visualise27(9);
setAttr("visb_debug_messages","text","Step: 9/36, State ID: 27, Event: TrainMoveForward");
await sleep(delay);
visualise31(10);
setAttr("visb_debug_messages","text","Step: 10/36, State ID: 31, Event: TrainMoveForward");
await sleep(delay);
visualise35(11);
setAttr("visb_debug_messages","text","Step: 11/36, State ID: 35, Event: TrainMoveForward");
await sleep(delay);
visualise39(12);
setAttr("visb_debug_messages","text","Step: 12/36, State ID: 39, Event: TrainMoveForward");
await sleep(delay);
visualise43(13);
setAttr("visb_debug_messages","text","Step: 13/36, State ID: 43, Event: TrainMoveForward");
await sleep(delay);
visualise44(14);
setAttr("visb_debug_messages","text","Step: 14/36, State ID: 44, Event: TTD_Occupied(ttd2)");
await sleep(delay);
visualise50(15);
setAttr("visb_debug_messages","text","Step: 15/36, State ID: 50, Event: TrainMoveForward");
await sleep(delay);
visualise52(16);
setAttr("visb_debug_messages","text","Step: 16/36, State ID: 52, Event: TTD_Free(ttd1)");
await sleep(delay);
visualise56(17);
setAttr("visb_debug_messages","text","Step: 17/36, State ID: 56, Event: TrainMoveForward");
await sleep(delay);
visualise59(18);
setAttr("visb_debug_messages","text","Step: 18/36, State ID: 59, Event: TrainMoveForward");
await sleep(delay);
visualise63(19);
setAttr("visb_debug_messages","text","Step: 19/36, State ID: 63, Event: TrainMoveForward");
await sleep(delay);
visualise67(20);
setAttr("visb_debug_messages","text","Step: 20/36, State ID: 67, Event: TrainMoveForward");
await sleep(delay);
visualise71(21);
setAttr("visb_debug_messages","text","Step: 21/36, State ID: 71, Event: TrainMoveForward");
await sleep(delay);
visualise75(22);
setAttr("visb_debug_messages","text","Step: 22/36, State ID: 75, Event: TrainMoveForward");
await sleep(delay);
visualise79(23);
setAttr("visb_debug_messages","text","Step: 23/36, State ID: 79, Event: TrainMoveForward");
await sleep(delay);
visualise83(24);
setAttr("visb_debug_messages","text","Step: 24/36, State ID: 83, Event: TrainMoveForward");
await sleep(delay);
visualise87(25);
setAttr("visb_debug_messages","text","Step: 25/36, State ID: 87, Event: TrainMoveForward");
await sleep(delay);
visualise91(26);
setAttr("visb_debug_messages","text","Step: 26/36, State ID: 91, Event: TrainMoveForward");
await sleep(delay);
visualise95(27);
setAttr("visb_debug_messages","text","Step: 27/36, State ID: 95, Event: TrainMoveForward");
await sleep(delay);
visualise99(28);
setAttr("visb_debug_messages","text","Step: 28/36, State ID: 99, Event: TrainMoveForward");
await sleep(delay);
visualise103(29);
setAttr("visb_debug_messages","text","Step: 29/36, State ID: 103, Event: TrainMoveForward");
await sleep(delay);
visualise107(30);
setAttr("visb_debug_messages","text","Step: 30/36, State ID: 107, Event: TrainMoveForward");
await sleep(delay);
visualise109(31);
setAttr("visb_debug_messages","text","Step: 31/36, State ID: 109, Event: TTD_Occupied(ttd3)");
await sleep(delay);
visualise114(32);
setAttr("visb_debug_messages","text","Step: 32/36, State ID: 114, Event: TrainMoveForward");
await sleep(delay);
visualise116(33);
setAttr("visb_debug_messages","text","Step: 33/36, State ID: 116, Event: TTD_Free(ttd2)");
await sleep(delay);
visualise120(34);
setAttr("visb_debug_messages","text","Step: 34/36, State ID: 120, Event: TrainMoveForward");
await sleep(delay);
visualise123(35);
setAttr("visb_debug_messages","text","Step: 35/36, State ID: 123, Event: TrainMoveForward");
await sleep(delay);
visualise127(36);
setAttr("visb_debug_messages","text","Step: 36/36, State ID: 127, Event: TrainMoveForward");
visualise1(1);
setAttr("visb_debug_messages","text","Step: 1/1, State ID: 1, Event: ");
await sleep(delay);
}
</script>
......@@ -791,106 +239,20 @@
</text>
</svg>
</div>
<button type="button" class="collapsible-style">Replay Trace</button>
<div class="coll-content-vis">
<button onclick="backStep()">&laquo; Back</button>
<button onclick="forwardStep()">Forward &raquo;</button>
<button onclick="runAll(10)">Run Trace (10 ms delay)</button>
<button onclick="runAll(500)">Run Trace (500 ms delay)</button>
</div>
<button type="button" class="collapsible collapsible-style">Variables (2/2)</button>
<div class="coll-content-hid">
<table> <tr> <th>Nr</th> <th>Name</th> <th>Value</th> </tr>
<tr id="var_rowocc"> <td>1</td> <td>occ</td> <td id="bVar_occ"> </td></tr>
<tr id="var_rowtrain_rear_end"> <td>2</td> <td>train_rear_end</td> <td id="bVar_train_rear_end"> </td></tr>
</table>
</div>
<button type="button" class="collapsible-style">Trace (length=36)</button>
<button type="button" class="collapsible-style">Trace (length=1)</button>
<div class="coll-content-vis">
<table> <tr> <th>Nr</th> <th>Event</th> <th>Target State ID</th> </tr>
<tr id="row1"><td>1</td><td style="cursor:not-allowed">SETUP_CONSTANTS(TrackElementNumber=30,TRACK={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2...</td><td>State 0</td></tr>
<tr id="row2" onclick="visualise1(2)"><td>2</td><td style="cursor:pointer">INITIALISATION(occ={},train_rear_end=0)</td><td><button onclick="visualise1(2);">State 1</button></td></tr>
<tr id="row3" onclick="visualise2(3)"><td>3</td><td style="cursor:pointer">TTD_Occupied(ttd1)</td><td><button onclick="visualise2(3);">State 2</button></td></tr>
<tr id="row4" onclick="visualise8(4)"><td>4</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise8(4);">State 8</button></td></tr>
<tr id="row5" onclick="visualise11(5)"><td>5</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise11(5);">State 11</button></td></tr>
<tr id="row6" onclick="visualise15(6)"><td>6</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise15(6);">State 15</button></td></tr>
<tr id="row7" onclick="visualise19(7)"><td>7</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise19(7);">State 19</button></td></tr>
<tr id="row8" onclick="visualise23(8)"><td>8</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise23(8);">State 23</button></td></tr>
<tr id="row9" onclick="visualise27(9)"><td>9</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise27(9);">State 27</button></td></tr>
<tr id="row10" onclick="visualise31(10)"><td>10</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise31(10);">State 31</button></td></tr>
<tr id="row11" onclick="visualise35(11)"><td>11</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise35(11);">State 35</button></td></tr>
<tr id="row12" onclick="visualise39(12)"><td>12</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise39(12);">State 39</button></td></tr>
<tr id="row13" onclick="visualise43(13)"><td>13</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise43(13);">State 43</button></td></tr>
<tr id="row14" onclick="visualise44(14)"><td>14</td><td style="cursor:pointer">TTD_Occupied(ttd2)</td><td><button onclick="visualise44(14);">State 44</button></td></tr>
<tr id="row15" onclick="visualise50(15)"><td>15</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise50(15);">State 50</button></td></tr>
<tr id="row16" onclick="visualise52(16)"><td>16</td><td style="cursor:pointer">TTD_Free(ttd1)</td><td><button onclick="visualise52(16);">State 52</button></td></tr>
<tr id="row17" onclick="visualise56(17)"><td>17</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise56(17);">State 56</button></td></tr>
<tr id="row18" onclick="visualise59(18)"><td>18</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise59(18);">State 59</button></td></tr>
<tr id="row19" onclick="visualise63(19)"><td>19</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise63(19);">State 63</button></td></tr>
<tr id="row20" onclick="visualise67(20)"><td>20</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise67(20);">State 67</button></td></tr>
<tr id="row21" onclick="visualise71(21)"><td>21</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise71(21);">State 71</button></td></tr>
<tr id="row22" onclick="visualise75(22)"><td>22</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise75(22);">State 75</button></td></tr>
<tr id="row23" onclick="visualise79(23)"><td>23</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise79(23);">State 79</button></td></tr>
<tr id="row24" onclick="visualise83(24)"><td>24</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise83(24);">State 83</button></td></tr>
<tr id="row25" onclick="visualise87(25)"><td>25</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise87(25);">State 87</button></td></tr>
<tr id="row26" onclick="visualise91(26)"><td>26</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise91(26);">State 91</button></td></tr>
<tr id="row27" onclick="visualise95(27)"><td>27</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise95(27);">State 95</button></td></tr>
<tr id="row28" onclick="visualise99(28)"><td>28</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise99(28);">State 99</button></td></tr>
<tr id="row29" onclick="visualise103(29)"><td>29</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise103(29);">State 103</button></td></tr>
<tr id="row30" onclick="visualise107(30)"><td>30</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise107(30);">State 107</button></td></tr>
<tr id="row31" onclick="visualise109(31)"><td>31</td><td style="cursor:pointer">TTD_Occupied(ttd3)</td><td><button onclick="visualise109(31);">State 109</button></td></tr>
<tr id="row32" onclick="visualise114(32)"><td>32</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise114(32);">State 114</button></td></tr>
<tr id="row33" onclick="visualise116(33)"><td>33</td><td style="cursor:pointer">TTD_Free(ttd2)</td><td><button onclick="visualise116(33);">State 116</button></td></tr>
<tr id="row34" onclick="visualise120(34)"><td>34</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise120(34);">State 120</button></td></tr>
<tr id="row35" onclick="visualise123(35)"><td>35</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise123(35);">State 123</button></td></tr>
<tr id="row36" onclick="visualise127(36)"><td>36</td><td style="cursor:pointer">TrainMoveForward</td><td><button onclick="visualise127(36);">State 127</button></td></tr>
<tr id="row1" onclick="visualise1(1)"><td>1</td><td style="cursor:pointer"></td><td><button onclick="visualise1(1);">State 1</button></td></tr>
</table>
</div>
<button type="button" class="collapsible-style">Info</button>
<div class="coll-content-vis">
Generated on 17/2/2021 at 10:02 using ProB version 1.11.0-nightly
Generated on 18/2/2021 at 11:59 using ProB version 1.11.0-nightly
<br> Main specification file: /Users/leuschel/git_root/JAVAPROB/visb-visualisation-examples/Train/SimpleTrainTrack.mch
</table>
</div>
<script> visualise127(36); </script>
<script> visualise1(1); </script>
</div>
<script> registerHovers() </script>
......
Train/SimpleTrainTrack.mch
+ 3
− 0
View file @ ee534f7c
......@@ -36,4 +36,7 @@ DEFINITIONS
OCC_TE == union(ran(%tt.(tt:occ|TTD_TrackElements(tt))));
FREE_TE == union(ran(%tt.(tt/:occ|TTD_TrackElements(tt))));
VISB_JSON_FILE == "Track.json"
ASSERTIONS
{x|x:dom(TTD_TrackElements) & x /= ttd1} = {x|x:TTDS & x /= ttd2 & x/=ttd1 & x/=ttd3};
%x.(x:TTDS|1) = {}
END
\ No newline at end of file
Train/Track.json
+ 1
− 1
View file @ ee534f7c
......@@ -18,7 +18,7 @@
"id":"train_info_text",
"attr":"text",
"value":"\"Train1: \" ^ TO_STRING(train_rear_end) ^ \"..\" ^ TO_STRING(train_rear_end+train_length)",
"comment":"move info field above train"
"comment":"adapt info field of train"
},
{
......
Train/TwoTrains.json 0 → 100644
+ 91
− 0
View file @ ee534f7c
{
"svg":"TwoTrains.svg",
"definitions":[
{ "name":"OCC_TE",
"value" : "union(ran(%tt.(tt:occ|TTD_TrackElements(tt))))"
},
{ "name":"FREE_TE",
"value" : "union(ran(%tt.(tt/:occ|TTD_TrackElements(tt))))"
}],
"items":[
{
"repeat": ["tr1","tr2"],
"id":"train_polygon_%0",
"attr":"points",
"value":"svg_train(train_rear_end(%0), train_length(%0) ,100.0/real(TrackElementNumber+1),1.0,3.0)",
"comment":"show train position using a slanted polygon"
},
{
"repeat": ["tr1","tr2"],
"id":"train_info_text_%0",
"attr":"x",
"value":"real(train_rear_end(%0))*100.0/real(TrackElementNumber+1)",
"comment":"move info field above train"
},
{
"repeat": ["tr1","tr2"],
"id":"train_info_text_%0",
"attr":"text",
"value":"\"Train1: \" ^ TO_STRING(train_rear_end(%0)) ^ \"..\" ^ TO_STRING(train_rear_end(%0)+train_length(%0))",
"comment":"adapt info field of train"
},
{
"id":"track_polyline",
"attr":"points",
"value":"svg_axis({TrackElementNumber+1} \\/ TRACK ,100.0/real(TrackElementNumber+1),100.0,1.0)",
"comment":"show ticks for Track units"
},
{
"id":"ttd_polyline",
"attr":"points",
"value":"svg_axis({0} \\/ ran(%tt.(tt:TTDS|1+max(TTD_TrackElements(tt)))),100.0/real(TrackElementNumber+1),100.0,2.0)",
"comment":"show ticks for TTD Limits"
},
{
"id":"occupied_ttd_polygon",
"attr":"points",
"value":"svg_set_polygon(OCC_TE,100.0/real(TrackElementNumber+1),100.0,2.0)",
"comment":"show occupied TTD zones"
},
{
"id":"cleared_ttd_polygon",
"attr":"points",
"value":"svg_set_polygon(FREE_TE,100.0/real(TrackElementNumber+1),100.0,2.0)",
"comment":"show free TTD zones"
}
],
"events":[
{
"id":"occupied_ttd_polygon",
"event":"TTD_Free",
"optional" : true,
"hovers": [{ "attr":"stroke", "enter":"black", "leave":"none"},
{ "attr":"opacity", "enter":"0.5", "leave":"1.0"}]
},
{
"id":"cleared_ttd_polygon",
"event":"TTD_Occupied_By_Train",
"optional" : true,
"hovers": [{ "attr":"stroke", "enter":"black", "leave":"none"},
{ "attr":"opacity", "enter":"0.5", "leave":"1.0"}]
},
{
"id":"train_polygon_tr1",
"event":"TrainMoveForward",
"predicates" : ["tr=tr1"],
"optional" : true,
"hovers": [{ "attr":"class", "enter":"train-hover", "leave":"train-normal"},
{ "id":"train_info_text_tr1", "attr":"visibility", "enter":"visible", "leave":"hidden"}]
},
{
"id":"train_polygon_tr2",
"event":"TrainMoveForward",
"predicates" : ["tr=tr2"],
"optional" : true,
"hovers": [{ "attr":"class", "enter":"train-hover", "leave":"train-normal"},
{ "id":"train_info_text_tr2", "attr":"visibility", "enter":"visible", "leave":"hidden"}]
}
]
}
\ No newline at end of file
Train/TwoTrains.mch 0 → 100644
+ 46
− 0
View file @ ee534f7c
MACHINE TwoTrains
// A small example to show how one can use LibrarySVG to flexibliy visualise
// train track zones,...
SETS
TTDS = {ttd1,ttd2,ttd3};
TRAINS = {tr1,tr2}
CONSTANTS
TrackElementNumber, TRACK, TTD_TrackElements, train_length
PROPERTIES
TrackElementNumber : NATURAL1
& TRACK = 0..TrackElementNumber
& TTD_TrackElements : TTDS --> FIN1(TRACK)
& TrackElementNumber = 30
& TTD_TrackElements = {ttd1 |-> 0..10 , ttd2 |-> 11..25 , ttd3 |-> 26..30}
& train_length = {tr1|-> 3, tr2|->2}
VARIABLES
occ /*@desc "the occupied TTDs" */,
train_rear_end /*@desc "the minimal (aka left) position of a train" */
INVARIANT
occ <: TTDS &
train_rear_end : TRAINS --> TRACK
INITIALISATION
occ := {} || train_rear_end := {tr1 |-> 0, tr2 |-> 4}
OPERATIONS
TTD_Occupied_By_Train(ttd,tr) = PRE ttd:TTDS \ occ /*@desc "TTD is free */ &
train_occ(tr) /\ TTD_TrackElements(ttd) /= {} /*@desc "train occupies TTD */ THEN
occ := occ \/ {ttd}
END;
TTD_Free(ttd) = PRE ttd:occ &
train_occ_all /\ TTD_TrackElements(ttd) = {} THEN
occ := occ \ {ttd}
END;
TrainMoveForward(tr) = PRE tr:TRAINS & train_rear_end(tr)+1:TRACK THEN
train_rear_end(tr) := train_rear_end(tr) + 1
END
DEFINITIONS
"LibrarySVG.def"; // enable to use the external functions in the VisB json file
train_occ(tr) == train_rear_end(tr)..(train_rear_end(tr)+train_length(tr));
train_occ_all == UNION(tr).(tr:TRAINS|train_occ(tr));
VISB_JSON_FILE == "TwoTrains.json"
ASSERTIONS
{x|x:dom(TTD_TrackElements) & x /= ttd1} = {x|x:TTDS & x /= ttd2 & x/=ttd1 & x/=ttd3};
%x.(x:TTDS|1) = {}
END
\ No newline at end of file
Train/TwoTrains.svg 0 → 100644
+ 86
− 0
View file @ ee534f7c
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<svg
xmlns="http://www.w3.org/2000/svg"
width="900"
height="400"
viewBox="5 15 150 30"
version="1.1"
id="svg5154">
<style id="style_ttd_ts_mp">
.ttd {
stroke : none;
stroke-width: 0.2;
opacity: 1.0
}
.red-occupied-ttd {
fill : red
}
.blue-cleared-ttd {
fill : blue
}
.train-normal {
stroke-width: 0.25;
stroke : black;
fill : lightgray
}
.train-hover {
fill : red;
stroke-width: 0.5;
stroke : black;
}
</style>
<polygon id = "train_polygon_tr1"
points="0,0 100,0"
class="train-normal"
transform="translate(10,16.8)" />
<g transform="translate(10,16.8)">
<text text-align="left" x="0" y="-2"
font-size ="2" fill="gray" font-family="sans-serif ">
<tspan x="3" id="train_info_text_tr1" visibility="hidden">Train 1</tspan>
</text>
</g>
<polygon id = "train_polygon_tr2"
points="0,0 100,0"
class="train-normal"
transform="translate(10,16.8)" />
<g transform="translate(10,16.8)">
<text text-align="left" x="0" y="-2"
font-size ="2" fill="gray" font-family="sans-serif ">
<tspan x="3" id="train_info_text_tr2" visibility="hidden">Train 2</tspan>
</text>
</g>
<polygon id = "track_polyline"
points="0,0 1,0, 1,1 1,0 50,0 50,1 50,0 100,0"
style="stroke-width: 0.3"
stroke="black" fill="none"
transform="translate(10,20.5)" />
<polygon id = "ttd_polyline"
points="0,0 100,0"
style="stroke-width: 0.3"
stroke="gray" fill="none"
transform="translate(10,22.5)" />
<rect id = "ttd_rect"
style="stroke-width: 0.1"
width="100" height="2" x="0" y="0"
stroke="black" fill="none"
transform="translate(10,23)" />
<polygon id = "occupied_ttd_polygon"
points="0,0 0,2 10,2 10,0 70,0 70,1 90,1 90,0"
class = "ttd red-occupied-ttd"
transform="translate(10,23)" />
<polygon id = "cleared_ttd_polygon"
points="0,0 10,2 20,2 20,0 90,0 90,1 100,1 100,0"
class = "ttd blue-cleared-ttd"
transform="translate(10,23)" />
<text text-align="left" x="5" y="28"
font-size ="2" fill="gray" font-family="sans-serif">
<tspan x="15" dy = "0.6em" id="visb_debug_messages"> </tspan>
</text>
</svg>
\ No newline at end of file
VisB-Examples.prob2project
+ 35
− 1
View file @ ee534f7c
......@@ -346,13 +346,47 @@
"modelcheckingItems": [],
"simulation": null,
"visBVisualisation": "Einstein/Einstein_tla.json"
},
{
"name": "einsteins_enum",
"description": "",
"location": "Einstein/einsteins_enum.als",
"lastUsedPreferenceName": "default",
"ltlFormulas": [],
"ltlPatterns": [],
"symbolicCheckingFormulas": [],
"symbolicAnimationFormulas": [],
"simulationItems": [],
"testCases": [],
"traces": [],
"modelcheckingItems": [],
"simulation": null,
"visBVisualisation": null
},
{
"name": "TwoTrains",
"description": "",
"location": "Train/TwoTrains.mch",
"lastUsedPreferenceName": "default",
"ltlFormulas": [],
"ltlPatterns": [],
"symbolicCheckingFormulas": [],
"symbolicAnimationFormulas": [],
"simulationItems": [],
"testCases": [],
"traces": [
"traces/TwoTrains.prob2trace"
],
"modelcheckingItems": [],
"simulation": null,
"visBVisualisation": "Train/TwoTrains.json"
}
],
"preferences": [],
"metadata": {
"fileType": "Project",
"formatVersion": 12,
"savedAt": "2021-03-21T21:16:32.522884Z",
"savedAt": "2021-05-04T16:44:31.663852Z",
"creator": "User",
"proB2KernelVersion": "4.0.0-SNAPSHOT",
"proBCliVersion": null,
......
traces/TwoTrains.prob2trace 0 → 100644
+ 734
− 0
View file @ ee534f7c
{
"description": "",
"transitionList": [
{
"name": "$setup_constants",
"params": {},
"results": {},
"destState": {
"TTD_TrackElements": "{(ttd1↦{0,1,2,3,4,5,6,7,8,9,10}),(ttd2↦{11,12,13,14,15,16,17,18,19,20,21,22,23,24,25}),(ttd3↦{26,27,28,29,30})}",
"TrackElementNumber": "30",
"train_length": "{(tr1↦3),(tr2↦2)}",
"TRACK": "{0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30}"
},
"destStateNotChanged": [],
"preds": []
},
{
"name": "$initialise_machine",
"params": {},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦0),(tr2↦4)}",
"occ": "∅"
},
"destStateNotChanged": [],
"preds": []
},
{
"name": "TTD_Occupied_By_Train",
"params": {
"ttd": "ttd1",
"tr": "tr1"
},
"results": {},
"destState": {
"occ": "{ttd1}"
},
"destStateNotChanged": [
"train_rear_end"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦1),(tr2↦4)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦1),(tr2↦5)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦1),(tr2↦6)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦1),(tr2↦7)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦1),(tr2↦8)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦1),(tr2↦9)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦1),(tr2↦10)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TTD_Occupied_By_Train",
"params": {
"ttd": "ttd2",
"tr": "tr2"
},
"results": {},
"destState": {
"occ": "{ttd1,ttd2}"
},
"destStateNotChanged": [
"train_rear_end"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦1),(tr2↦11)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦1),(tr2↦12)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦2),(tr2↦12)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦12)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦13)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦14)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦15)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦16)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦17)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦18)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦19)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦20)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦21)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦22)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦23)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦24)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦25)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TTD_Occupied_By_Train",
"params": {
"ttd": "ttd3",
"tr": "tr2"
},
"results": {},
"destState": {
"occ": "{ttd1,ttd2,ttd3}"
},
"destStateNotChanged": [
"train_rear_end"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦3),(tr2↦26)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TTD_Free",
"params": {
"ttd": "ttd2"
},
"results": {},
"destState": {
"occ": "{ttd1,ttd3}"
},
"destStateNotChanged": [
"train_rear_end"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦4),(tr2↦26)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦5),(tr2↦26)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦6),(tr2↦26)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦7),(tr2↦26)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦8),(tr2↦26)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦9),(tr2↦26)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TTD_Occupied_By_Train",
"params": {
"ttd": "ttd2",
"tr": "tr1"
},
"results": {},
"destState": {
"occ": "{ttd1,ttd2,ttd3}"
},
"destStateNotChanged": [
"train_rear_end"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦10),(tr2↦26)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦10),(tr2↦27)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr2"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦10),(tr2↦28)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦11),(tr2↦28)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TTD_Free",
"params": {
"ttd": "ttd1"
},
"results": {},
"destState": {
"occ": "{ttd2,ttd3}"
},
"destStateNotChanged": [
"train_rear_end"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦12),(tr2↦28)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
},
{
"name": "TrainMoveForward",
"params": {
"tr": "tr1"
},
"results": {},
"destState": {
"train_rear_end": "{(tr1↦13),(tr2↦28)}"
},
"destStateNotChanged": [
"occ"
],
"preds": []
}
],
"variableNames": [
"occ",
"train_rear_end"
],
"constantNames": [
"TrackElementNumber",
"TRACK",
"TTD_TrackElements",
"train_length"
],
"setNames": [
"TTDS",
"TRAINS"
],
"machineOperationInfos": {
"TrainMoveForward": {
"operationName": "TrainMoveForward",
"parameterNames": [
"tr"
],
"outputParameterNames": [],
"topLevel": true,
"type": "CLASSICAL_B",
"readVariables": [
"TRACK",
"train_rear_end"
],
"writtenVariables": [
"train_rear_end"
],
"nonDetWrittenVariables": [],
"typeMap": {
"tr": "global('TRAINS')",
"'TRACK'": "set(integer)"
}
},
"TTD_Free": {
"operationName": "TTD_Free",
"parameterNames": [
"ttd"
],
"outputParameterNames": [],
"topLevel": true,
"type": "CLASSICAL_B",
"readVariables": [
"TTD_TrackElements",
"occ",
"train_length",
"train_rear_end"
],
"writtenVariables": [
"occ"
],
"nonDetWrittenVariables": [],
"typeMap": {
"'TTD_TrackElements'": "set(couple(global('TTDS'),set(integer)))",
"ttd": "global('TTDS')"
}
},
"TTD_Occupied_By_Train": {
"operationName": "TTD_Occupied_By_Train",
"parameterNames": [
"ttd",
"tr"
],
"outputParameterNames": [],
"topLevel": true,
"type": "CLASSICAL_B",
"readVariables": [
"TTD_TrackElements",
"occ",
"train_length",
"train_rear_end"
],
"writtenVariables": [
"occ"
],
"nonDetWrittenVariables": [],
"typeMap": {
"'TTD_TrackElements'": "set(couple(global('TTDS'),set(integer)))",
"ttd": "global('TTDS')",
"tr": "global('TRAINS')"
}
}
},
"globalIdentifierTypes": {
"train_length": "set(couple(global('TRAINS'),integer))",
"train_rear_end": "set(couple(global('TRAINS'),integer))",
"occ": "set(global('TTDS'))"
},
"metadata": {
"fileType": "Trace",
"formatVersion": 2,
"savedAt": "2021-05-04T16:44:16.543509Z",
"creator": "traceReplay",
"proB2KernelVersion": "4.0.0-SNAPSHOT",
"proBCliVersion": "1.11.0-nightly",
"modelName": "TwoTrains"
}
}
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment