digraph g {compound="true";bgcolor="";fontcolor="";fontname="";fontsize="";label="";margin="";nodesep="";rankdir="";ranksep="0.4";ratio="";size="";subgraph cluster_option{bgcolor="";color="";fillcolor="#F4F4F4";fontcolor="#005A9C";fontname="Arial";fontsize="12";label="option turn-for-ball";labeljust="";labelloc="";style="filled";subgraph cluster_states{bgcolor="";color="#F4F4F4";fillcolor="#F4F4F4";fontcolor="";fontname="";fontsize="";label="";labeljust="";labelloc="";style="filled";node[label="ball\nseen", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.turn-for-ball.html#state_ball-seen",width="",] {state_ball_seen};node[label="back\nup", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="dashed",URL="",width="",] {state_back_up};node[label="ball\nnot\nseen\nleft", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.turn-for-ball.html#state_ball-not-seen-left",width="",] {state_ball_not_seen_left};node[label="ball\nnot\nseen\nright", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.turn-for-ball.html#state_ball-not-seen-right",width="",] {state_ball_not_seen_right};}subgraph cluster_decision_tree{bgcolor="";color="";fillcolor="#FFFFFF";fontcolor="#005A9C";fontname="Arial";fontsize="12";label="state back-up";labeljust="";labelloc="";style="filled";node[label="start", color="",fillcolor="",fixedsize="",fontcolor="",fontname="",fontsize="",height="",shape="point",style="",URL="",width="",] {start};node[shape="record",label="<start_0> if | <start_1> else if | <start_2> else if | <start_3> else",color="#FFFFFF",fillcolor="",fontcolor="",fontname="Arial Bold",fontsize="9",height="0.15",style="",URL="",width="",]{struct1};edge[arrowhead="",arrowsize="",arrowtail="",constraint="",color="",decorate="",dir="none",fontcolor="",fontname="",fontsize="",headlabel="",headport="",label="",labeldistance="",labelfloat="",labelfontcolor="",labelfontname="",labelfontsize="",minlen="",samehead="",sametail="",style="solid",taillabel="",tailport="",URL="",lhead="",ltail=""] start -> struct1:start_0;node[label="ball seen\nagain", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.turn-for-ball.html#state_back-up_pseudo-code_0",width="",] {start_0_};edge[arrowhead="",arrowsize="",arrowtail="",constraint="",color="",decorate="",dir="none",fontcolor="",fontname="",fontsize="",headlabel="",headport="",label="",labeldistance="",labelfloat="",labelfontcolor="",labelfontname="",labelfontsize="",minlen="",samehead="",sametail="",style="solid",taillabel="",tailport="",URL="",lhead="",ltail=""] struct1:start_0 -> start_0_;edge[arrowhead="",arrowsize="",arrowtail="",constraint="",color="",decorate="",dir="",fontcolor="",fontname="",fontsize="",headlabel="",headport="",label="",labeldistance="",labelfloat="",labelfontcolor="",labelfontname="",labelfontsize="",minlen="2",samehead="",sametail="",style="solid",taillabel="",tailport="",URL="",lhead="",ltail=""] start_0_ -> state_ball_seen;node[label="state\nrunning\nless than\n1500 ms", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.turn-for-ball.html#state_back-up_pseudo-code_1",width="",] {start_1_};edge[arrowhead="",arrowsize="",arrowtail="",constraint="",color="",decorate="",dir="none",fontcolor="",fontname="",fontsize="",headlabel="",headport="",label="",labeldistance="",labelfloat="",labelfontcolor="",labelfontname="",labelfontsize="",minlen="",samehead="",sametail="",style="solid",taillabel="",tailport="",URL="",lhead="",ltail=""] struct1:start_1 -> start_1_;edge[arrowhead="",arrowsize="",arrowtail="",constraint="",color="",decorate="",dir="",fontcolor="",fontname="",fontsize="",headlabel="",headport="",label="",labeldistance="",labelfloat="",labelfontcolor="",labelfontname="",labelfontsize="",minlen="2",samehead="",sametail="",style="solid",taillabel="",tailport="",URL="",lhead="",ltail=""] start_1_ -> state_back_up;node[label="ball to\nthe left", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.turn-for-ball.html#state_back-up_pseudo-code_2",width="",] {start_2_};edge[arrowhead="",arrowsize="",arrowtail="",constraint="",color="",decorate="",dir="none",fontcolor="",fontname="",fontsize="",headlabel="",headport="",label="",labeldistance="",labelfloat="",labelfontcolor="",labelfontname="",labelfontsize="",minlen="",samehead="",sametail="",style="solid",taillabel="",tailport="",URL="",lhead="",ltail=""] struct1:start_2 -> start_2_;edge[arrowhead="",arrowsize="",arrowtail="",constraint="",color="",decorate="",dir="",fontcolor="",fontname="",fontsize="",headlabel="",headport="",label="",labeldistance="",labelfloat="",labelfontcolor="",labelfontname="",labelfontsize="",minlen="2",samehead="",sametail="",style="solid",taillabel="",tailport="",URL="",lhead="",ltail=""] start_2_ -> state_ball_not_seen_left;edge[arrowhead="",arrowsize="",arrowtail="",constraint="",color="",decorate="",dir="",fontcolor="",fontname="",fontsize="",headlabel="",headport="",label="",labeldistance="",labelfloat="",labelfontcolor="",labelfontname="",labelfontsize="",minlen="2",samehead="",sametail="",style="solid",taillabel="",tailport="",URL="",lhead="",ltail=""] struct1:start_3 -> state_ball_not_seen_right;}}}
                    
