********* BUFFER ********
 { ~directionport := $direction; ~isexitport := $isexit; ~exitnumberport := (0,0)~exitnumberport; ~numhopsleftport := 0;} { $initdone := 1;} 100 { $direction > 0 and $initdone =0 } { ~exitnumberport := 9; ~numhopsleftport := 1;} {$testinitdone := 1; } 100 { (-1,0)~isexitport = 7 and $testinitdone =0} { ~exitnumberport := 9; ~numhopsleftport := 1; ~speedport := 2;} {$testinitdone := 1; } 100 { (0,-2)~isexitport = 7 and $testinitdone =0} { ~exitnumberport := (-1,0)~exitnumberport; ~numhopsleftport := (-1,0)~numhopsleftport; ~speedport := (-1,0)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (-1,0)~exitnumberport > 1 and (-1,0)~exitnumberport != 7 and (-1,0)~directionport = 3 and (-1,-1)~isexitport = 7 and $direction =3 and $isexit =0 } { ~exitnumberport := 8; ~numhopsleftport := 0; ~speedport := (0,-1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (0,-1)~exitnumberport > 1 and (0,-1)~directionport = 2 and (0,-1)~numhopsleftport = 0 and (-1,1)~speedport != 2 and $direction =3 and (-1,-1)~isexitport = 7 and $isexit =0 } { ~exitnumberport := (0,-1)~exitnumberport; ~numhopsleftport := (0,-1)~numhopsleftport; ~speedport := (0,-1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (0,-1)~exitnumberport > 1 and (0,-1)~directionport = 2 and (-1,1)~speedport != 2 and $direction =3 and (-1,-1)~isexitport = 7 and $isexit =0 } {~exitnumberport := (-1,0)~exitnumberport; ~numhopsleftport := (-1,0)~numhopsleftport; ~speedport := (-1,0)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (-1,0)~exitnumberport > 1 and (-1,0)~directionport = 3 and $direction =2 and (1,1)~isexitport = 8 and $isexit =0 } {~exitnumberport := (0,-1)~exitnumberport; ~numhopsleftport := (0,-1)~numhopsleftport; ~speedport := (0,-1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (0,-1)~exitnumberport > 1 and (0,-1)~directionport = 2 and (1,0)~isexitport = 8 and $direction =2 and $isexit =0 } {~exitnumberport := (0,-1)~exitnumberport; ~numhopsleftport := (0,-1)~numhopsleftport; ~speedport := (0,-1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (0,-1)~exitnumberport > 1 and (0,-1)~exitnumberport != 8 and (0,-1)~directionport = 2 and (1,-1)~isexitport = 8 and $direction =2 and $isexit =0} {~exitnumberport := 8; ~numhopsleftport := 0; ~speedport := (1,0)~speedport; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport = 1 and (1,0)~exitnumberport > 1 and (1,0)~numhopsleftport = 0 and (0,-2)~speedport != 2 and (1,-1)~isexitport = 8} {~exitnumberport := (1,0)~exitnumberport; ~numhopsleftport := (1,0)~numhopsleftport; ~speedport := (1,0)~speedport; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport = 1 and (1,0)~exitnumberport > 1 and (0,-2)~speedport != 2 and (1,-1)~isexitport = 8} {~exitnumberport := (0,-1)~exitnumberport; ~numhopsleftport := (0,-1)~numhopsleftport; ~speedport := (0,-1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (0,-1)~exitnumberport > 1 and (0,-1)~directionport = 2 and (-1,1)~isexitport = 9 and $direction =1 and $isexit =0} {~exitnumberport := (1,0)~exitnumberport; ~numhopsleftport := (1,0)~numhopsleftport; ~speedport := (1,0)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (1,0)~exitnumberport > 1 and (1,0)~directionport = 1 and (0,1)~isexitport = 9 and $direction =1 and $isexit =0} {~exitnumberport := (1,0)~exitnumberport; ~numhopsleftport := (1,0)~numhopsleftport; ~speedport := (1,0)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (1,0)~exitnumberport > 1 and (1,0)~exitnumberport != 9 and (1,0)~directionport = 1 and (1,1)~isexitport = 9 and $direction = 4 and $isexit = 0 } {~exitnumberport := 8; ~numhopsleftport := (0,1)~numhopsleftport; ~speedport := (0,1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport = 1 and (0,1)~exitnumberport > 1 and (0,1)~directionport = 4 and (0,1)~numhopsleftport = 0 and (2,0)~speedport != 2 and (1,1)~isexitport = 9 and $direction =4 and $isexit =0 } {~exitnumberport := (0,1)~exitnumberport; ~numhopsleftport := (0,1)~numhopsleftport; ~speedport := (0,1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport = 1 and (0,1)~exitnumberport > 1 and (0,1)~directionport = 4 and (2,0)~speedport != 2 and (1,1)~isexitport = 9 and $direction =4 and $isexit =0 } {~exitnumberport := (0,1)~exitnumberport; ~numhopsleftport := (0,1)~numhopsleftport; ~speedport := (0,1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (0,1)~exitnumberport > 1 and (0,1)~directionport = 4 and (1,1)~exitnumberport > 0 and (1,2)~isexitport = 9 and $direction =4 and $isexit =0 } {~exitnumberport := (0,1)~exitnumberport; ~numhopsleftport := (0,1)~numhopsleftport; ~speedport := (0,1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (0,1)~exitnumberport > 1 and (0,1)~directionport = 4 and (1,-1)~exitnumberport > 0 and $direction =4 and (0,-2)~isexitport = 7 and $isexit =0 } {~exitnumberport := (0,1)~exitnumberport; ~numhopsleftport := (0,1)~numhopsleftport; ~speedport := (0,1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (0,1)~exitnumberport > 1 and (0,1)~directionport = 4 and (0,-1)~isexitport = 7 and $direction =3 and $isexit =0 } {~numhopsleftport := (0,1)~numhopsleftport - 1; ~exitnumberport := (0,1)~exitnumberport; ~speedport := (0,1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} 100 { (0,0)~exitnumberport = 1 and (0,1)~exitnumberport = 7 and (0,1)~directionport = 3 and (0,0)~isexitport = 7 and $direction =4 and $isexit =7 } {~exitnumberport := (-1,0)~exitnumberport; ~numhopsleftport := (-1,0)~numhopsleftport; ~speedport := (-1,0)~speedport; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport = 1 and (-1,0)~exitnumberport = 8 and (-1,0)~directionport = 2 and (0,0)~isexitport = 8 and $direction =3 and $isexit =8 } { ~numhopsleftport := (0,-1)~numhopsleftport - 1; ~exitnumberport := (0,-1)~exitnumberport; ~speedport := (0,-1)~speedport; ~directionport := $direction; ~isexitport := $isexit;} 100 { (0,0)~exitnumberport = 1 and (0,-1)~exitnumberport = 9 and (0,-1)~directionport = 1 and (0,0)~isexitport = 9 and $direction =2 and $isexit =9 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport > 1 and (1,0)~exitnumberport = 1 and (1,0)~directionport = 2 and (-1,-1)~isexitport = 7 and $direction =3 and $isexit =0 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport > 1 and (0,1)~exitnumberport = 1 and (0,1)~directionport = 2 and (1,1)~isexitport = 8 and $direction =2 and $isexit =0 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport = 8 and (1,0)~exitnumberport = 1 and (1,0)~directionport = 3 and (1,0)~isexitport = 8 and $direction =2 and $isexit =0 } {~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport > 1 and (0,0)~exitnumberport != 8 and (0,1)~exitnumberport = 1 and (0,1)~directionport = 2 and (1,0)~isexitport = 8 and $direction =2 and $isexit =0 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport > 1 and (0,1)~exitnumberport = 1 and (0,1)~directionport = 1 and (1,-1)~isexitport = 8 and $direction =2 and $isexit =0 } {~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport > 1 and (-1,0)~exitnumberport = 1 and (-1,0)~directionport = 1 and (-1,1)~isexitport = 9 and $direction =1 and $isexit =0 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport = 9 and (0,1)~exitnumberport = 1 and (0,1)~directionport = 2 and (0,1)~isexitport = 9 and $direction =1 and $isexit =0 } {~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport > 1 and (0,0)~exitnumberport != 9 and (-1,0)~exitnumberport = 1 and (-1,0)~directionport = 4 and (0,1)~isexitport = 9 and $direction =1 and $isexit =0 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport > 1 and (0,-1)~exitnumberport = 1 and (0,-1)~directionport = 4 and (1,1)~isexitport = 9 and $direction =4 and $isexit =0} { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport > 1 and (0,-1)~exitnumberport = 1 and (0,-1)~directionport = 4 and (0,1)~directionport = 4 and $direction =4 and $isexit =0 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport > 1 and (0,-1)~exitnumberport = 1 and (0,-1)~directionport = 3 and (0,1)~directionport = 4 and $direction =4 and $isexit =0 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport = 7 and (0,-1)~exitnumberport = 1 and (0,-1)~directionport = 4 and (0,-1)~isexitport = 7 and $direction =3 and $isexit =0 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport > 1 and (0,0)~exitnumberport != 7 and (1,0)~exitnumberport = 1 and (1,0)~directionport = 3 and (0,-1)~isexitport = 7 and $direction =3 and $isexit =0 } {~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport > 1 and (0,1)~exitnumberport = 1 and ( (-1,1)~exitnumberport = 1 or (-1,1)~exitnumberport = 7 ) and (0,1)~directionport = 3 and (-1,2)~speedport != 2 and (-1,0)~isexitport = 7 and $direction =2 and $isexit =0 } {~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport > 1 and ( (-1,-1)~exitnumberport = 1 or (-1,-1)~exitnumberport = 8 ) and (-1,0)~exitnumberport = 1 and (-1,-2)~speedport != 2 and (0,-1)~isexitport = 8} {~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} { } 100 { (0,0)~exitnumberport > 1 and (0,-1)~exitnumberport = 1 and ( (1,-1)~exitnumberport = 1 or (1,-1)~exitnumberport = 9 ) and (0,-1)~directionport = 4 and (2,-1)~speedport != 2 and (1,0)~isexitport = 9 and $direction =4 and $isexit =0 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport > 1 and $isexit =7 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport > 1 and $isexit =8 } { ~exitnumberport := 1; ~numhopsleftport := 0; ~speedport := 0; ~directionport := $direction; ~isexitport := $isexit;} {} 100 { (0,0)~exitnumberport > 1 and $isexit =9 } { (0,0) } 100 { t }
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
State Variable initdone parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 100 analyzed
State Variable direction parsed.
OP_REL parsed (>)
Number 0 analyzed
AND parsed
State Variable initdone parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 9 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
State Variable testinitdone parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 100 analyzed
Number -1 analyzed
Number 0 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable testinitdone parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 9 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 2 analyzed
State Variable testinitdone parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 100 analyzed
Number 0 analyzed
Number -2 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable testinitdone parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number -1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number -1 analyzed
Number 0 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number -1 analyzed
Number 0 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (!=)
Number 7 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
Number -1 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 8 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'numhopsleftport' parsed.
OP_REL parsed (=)
Number 0 analyzed
AND parsed
Number -1 analyzed
Number 1 analyzed
String 'speedport' parsed.
OP_REL parsed (!=)
Number 2 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
Number -1 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
Number -1 analyzed
Number 1 analyzed
String 'speedport' parsed.
OP_REL parsed (!=)
Number 2 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
Number -1 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number -1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number -1 analyzed
Number 0 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number -1 analyzed
Number 0 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
Number 1 analyzed
Number 1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 8 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 8 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (!=)
Number 8 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
Number 1 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 8 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 8 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 0 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'numhopsleftport' parsed.
OP_REL parsed (=)
Number 0 analyzed
AND parsed
Number 0 analyzed
Number -2 analyzed
String 'speedport' parsed.
OP_REL parsed (!=)
Number 2 analyzed
AND parsed
Number 1 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 8 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 0 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 0 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -2 analyzed
String 'speedport' parsed.
OP_REL parsed (!=)
Number 2 analyzed
AND parsed
Number 1 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 8 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
Number -1 analyzed
Number 1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 0 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 0 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 0 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
Number 0 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (!=)
Number 9 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 8 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_REL parsed (=)
Number 0 analyzed
AND parsed
Number 2 analyzed
Number 0 analyzed
String 'speedport' parsed.
OP_REL parsed (!=)
Number 2 analyzed
AND parsed
Number 1 analyzed
Number 1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
Number 2 analyzed
Number 0 analyzed
String 'speedport' parsed.
OP_REL parsed (!=)
Number 2 analyzed
AND parsed
Number 1 analyzed
Number 1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
Number 1 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 0 analyzed
AND parsed
Number 1 analyzed
Number 2 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
Number 1 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 0 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
Number 0 analyzed
Number -2 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ADD_SUB parsed (-)
Number 1 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number 1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
Number 0 analyzed
Number 0 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 7 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number -1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number -1 analyzed
Number 0 analyzed
String 'numhopsleftport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number -1 analyzed
Number 0 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 8 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
Number 0 analyzed
Number 0 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 8 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 8 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'numhopsleftport' parsed.
OP_ADD_SUB parsed (-)
Number 1 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
Number -1 analyzed
String 'speedport' parsed.
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 0 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 9 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
Number -1 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
Number 1 analyzed
Number 1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 8 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 8 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 8 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (!=)
Number 8 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 8 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 8 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number 1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (!=)
Number 9 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
Number 1 analyzed
Number 1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (!=)
Number 7 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
OR parsed
Number -1 analyzed
Number 1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
Number 0 analyzed
Number 1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 3 analyzed
AND parsed
Number -1 analyzed
Number 2 analyzed
String 'speedport' parsed.
OP_REL parsed (!=)
Number 2 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 7 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 2 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
OR parsed
Number -1 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 8 analyzed
AND parsed
Number -1 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number -1 analyzed
Number -2 analyzed
String 'speedport' parsed.
OP_REL parsed (!=)
Number 2 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 8 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
AND parsed
Number 1 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 1 analyzed
OR parsed
Number 1 analyzed
Number -1 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
Number 0 analyzed
Number -1 analyzed
String 'directionport' parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
Number 2 analyzed
Number -1 analyzed
String 'speedport' parsed.
OP_REL parsed (!=)
Number 2 analyzed
AND parsed
Number 1 analyzed
Number 0 analyzed
String 'isexitport' parsed.
OP_REL parsed (=)
Number 9 analyzed
AND parsed
State Variable direction parsed.
OP_REL parsed (=)
Number 4 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 0 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 7 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 8 analyzed
String 'exitnumberport' parsed.
OP_ASSIGN parsed
Number 1 analyzed
String 'numhopsleftport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'speedport' parsed.
OP_ASSIGN parsed
Number 0 analyzed
String 'directionport' parsed.
OP_ASSIGN parsed
State Variable direction parsed.
String 'isexitport' parsed.
OP_ASSIGN parsed
State Variable isexit parsed.
Number 100 analyzed
Number 0 analyzed
Number 0 analyzed
String 'exitnumberport' parsed.
OP_REL parsed (>)
Number 1 analyzed
AND parsed
State Variable isexit parsed.
OP_REL parsed (=)
Number 9 analyzed
Number 0 analyzed
Number 0 analyzed
Number 100 analyzed
BOOL parsed (t)
********* BUFFER (for PortIn Transition) ********
 { ~exitnumberport := 7; ~numhopsleftport := (trunc((portvalue(thisport) - 700) / 10)); ~speedport := ((fractional((portvalue(thisport) - 700) / 10)) * 10); } 100 {trunc(portvalue(thisport) / 100) = 7} { ~exitnumberport := 8; ~numhopsleftport := (trunc((portvalue(thisport) - 800) / 10)); ~speedport := ((fractional((portvalue(thisport) - 800) / 10)) * 10); } 100 {trunc(portvalue(thisport) / 100) = 8} { ~exitnumberport := 9; ~numhopsleftport := (trunc((portvalue(thisport) - 900) / 10)); ~speedport := ((fractional((portvalue(thisport) - 900) / 10)) * 10); } 100 {trunc(portvalue(thisport) / 100) = 9} { (0,0) } 0 { t }
