diff --git a/Train/SimpleTrainTrack.html b/Train/SimpleTrainTrack.html
index 45c8fa115ee1b10fac319440517cb4861442dd06..3c63f189806b860797092e771d0946892c9d848f 100644
--- a/Train/SimpleTrainTrack.html
+++ b/Train/SimpleTrainTrack.html
@@ -1,6 +1,7 @@
<!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){
@@ -16,26 +17,26 @@
}
}
function sleep(ms) {
- return new Promise(resolve => setTimeout(resolve, ms));
+ return new Promise(resolve => setTimeout(resolve, ms));
}
var lastSelectedRow = 0;
function highlightRow(id) {
- if (lastSelectedRow>0) {setAttr("row"+lastSelectedRow,"bgcolor","")};
- setAttr("row"+id,"bgcolor","yellow");
- lastSelectedRow = id;
+ if (lastSelectedRow>0) {setAttr("row"+lastSelectedRow,"bgcolor","")};
+ setAttr("row"+id,"bgcolor","yellow");
+ lastSelectedRow = id;
}
function backStep() {
- if (lastSelectedRow>1) {
- var prev = lastSelectedRow-1;
- document.getElementById("row"+prev).click();
- }
+ if (lastSelectedRow>1) {
+ var prev = lastSelectedRow-1;
+ document.getElementById("row"+prev).click();
+ }
}
function forwardStep() {
- if (lastSelectedRow>0) {
- var nxt = lastSelectedRow+1;
- var row = document.getElementById("row"+(nxt));
- if (row != null) { row.click() };
- }
+ if (lastSelectedRow>0) {
+ var nxt = lastSelectedRow+1;
+ var row = document.getElementById("row"+(nxt));
+ if (row != null) { row.click() };
+ }
}
</script>
@@ -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()">« Back</button>
- <button onclick="forwardStep()">Forward »</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>
diff --git a/Train/SimpleTrainTrack.mch b/Train/SimpleTrainTrack.mch
index a1914425dc41378f80e530a24e0c9a92441ad17e..e04bff99f8a02f998cb067aa175d6de947fabcfa 100644
--- a/Train/SimpleTrainTrack.mch
+++ b/Train/SimpleTrainTrack.mch
@@ -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
diff --git a/Train/Track.json b/Train/Track.json
index d56b6fde57981edf2ee85435830ff16b8bfc3f4a..a8ccd84199cb65c9d82cff1ccc608a5cbb5aff78 100644
--- a/Train/Track.json
+++ b/Train/Track.json
@@ -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"
},
{
diff --git a/Train/TwoTrains.json b/Train/TwoTrains.json
new file mode 100644
index 0000000000000000000000000000000000000000..d4691ee0ccb37dbc478051bdceff932628267309
--- /dev/null
+++ b/Train/TwoTrains.json
@@ -0,0 +1,91 @@
+{
+ "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
diff --git a/Train/TwoTrains.mch b/Train/TwoTrains.mch
new file mode 100644
index 0000000000000000000000000000000000000000..763eec102277b4f37152edaf10bf4c02d970df09
--- /dev/null
+++ b/Train/TwoTrains.mch
@@ -0,0 +1,46 @@
+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
diff --git a/Train/TwoTrains.svg b/Train/TwoTrains.svg
new file mode 100644
index 0000000000000000000000000000000000000000..5a0bfa2939f8b689b5d541abb620e393e944b483
--- /dev/null
+++ b/Train/TwoTrains.svg
@@ -0,0 +1,86 @@
+<?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
diff --git a/VisB-Examples.prob2project b/VisB-Examples.prob2project
index 7652ea1d3527ad26a74c5d7590545821ce00cc75..24b25b9528183cf0e137f709527c3bbceff690fe 100644
--- a/VisB-Examples.prob2project
+++ b/VisB-Examples.prob2project
@@ -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,
diff --git a/traces/TwoTrains.prob2trace b/traces/TwoTrains.prob2trace
new file mode 100644
index 0000000000000000000000000000000000000000..b414af1219f8df46ece9f9cef6c088365bb884bd
--- /dev/null
+++ b/traces/TwoTrains.prob2trace
@@ -0,0 +1,734 @@
+{
+ "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