SimpleTrainTrack.html

  
 <!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){
			var obj = document.getElementById(id);
			if (obj == null) {
			    if (id != "visb_debug_messages") {
				     console.error("Unknown SVG id " + id + " for attribute " + attribute);
				}
			} else if(attribute=="text") {
				obj.textContent = value;
			} else {
				obj.setAttribute(attribute, value);
			}
        }
		function sleep(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;
		}
		function backStep() {
		     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() };
		     }
		}
    </script>
  
	<style>
	table {
	  font-family: arial, sans-serif;
	  font-size: 11px;
	  border-collapse: collapse;
	  width: 100%;
	}
	td, th {
	  border: 1px solid #dddddd;
	  text-align: left;
	  padding: 2px;
	}
/* 
	tr:nth-child(even) {
	  background-color: #dddddd;
	}
 */
	</style> 
	
	<style>
	.collapsible {
	  cursor: pointer;
	}
	.collapsible-style {
	  background-color: #777;
	  color: white;
	  padding: 6px;
	  width: 100%;