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 play-soccer";labeljust="";labelloc="";style="filled";subgraph cluster_states{bgcolor="";color="#F4F4F4";fillcolor="#F4F4F4";fontcolor="";fontname="";fontsize="";label="";labeljust="";labelloc="";style="filled";node[label="initial\nready\nand\nset", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="Mcircle",style="filled",URL="option.play-soccer.html#state_initial-ready-and-set",width="",] {state_initial_ready_and_set};node[label="penalized", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.play-soccer.html#state_penalized",width="",] {state_penalized};node[label="finished", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.play-soccer.html#state_finished",width="",] {state_finished};node[label="penalized", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.play-soccer.html#state_penalized",width="",] {state_penalized};node[label="playing", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="dashed",URL="",width="",] {state_playing};}subgraph cluster_decision_tree{bgcolor="";color="";fillcolor="#FFFFFF";fontcolor="#005A9C";fontname="Arial";fontsize="12";label="state playing";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 Italic",fontsize="9",height="0.15",style="",URL="",width="",]{struct2};edge[arrowhead="",arrowsize="",arrowtail="",constraint="",color="",decorate="",dir="none",fontcolor="",fontname="",fontsize="",headlabel="",headport="",label="",labeldistance="",labelfloat="",labelfontcolor="",labelfontname="",labelfontsize="",minlen="",samehead="",sametail="",style="dashed",taillabel="",tailport="",URL="",lhead="",ltail=""] start -> struct2:start_0;node[label="initial,\nready,\nor set\nmessage\nreceived", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial Italic",fontsize="9",height="",shape="box",style="filled",URL="option.play-soccer.html#state_playing_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="dashed",taillabel="",tailport="",URL="",lhead="",ltail=""] struct2: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="dashed",taillabel="",tailport="",URL="",lhead="",ltail=""] start_0_ -> state_initial_ready_and_set;node[label="penalized\nmessage\nreceived", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial Italic",fontsize="9",height="",shape="box",style="filled",URL="option.play-soccer.html#state_playing_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="dashed",taillabel="",tailport="",URL="",lhead="",ltail=""] struct2: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="dashed",taillabel="",tailport="",URL="",lhead="",ltail=""] start_1_ -> state_penalized;node[label="finished\nmessage\nreceived", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial Italic",fontsize="9",height="",shape="box",style="filled",URL="option.play-soccer.html#state_playing_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="dashed",taillabel="",tailport="",URL="",lhead="",ltail=""] struct2: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="dashed",taillabel="",tailport="",URL="",lhead="",ltail=""] start_2_ -> state_finished;node[shape="record",label="<start_3_0> if | <start_3_1> else",color="#FFFFFF",fillcolor="",fontcolor="",fontname="Arial Bold",fontsize="9",height="0.15",style="",URL="",width="",]{struct3};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=""] struct2:start_3 -> struct3:start_3_0;node[label="one of\nthe back\nswitches\npressed\nfor more\nthan one\nsecond", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.play-soccer.html#state_playing_pseudo-code_3_0",width="",] {start_3_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=""] struct3:start_3_0 -> start_3_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_3_0_ -> state_penalized;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=""] struct3:start_3_1 -> state_playing;}}}
                    
