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 initial-ready-and-set";labeljust="";labelloc="";style="filled";subgraph cluster_states{bgcolor="";color="#F4F4F4";fillcolor="#F4F4F4";fontcolor="";fontname="";fontsize="";label="";labeljust="";labelloc="";style="filled";node[label="own\nteam\nscored", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.initial-ready-and-set.html#state_own-team-scored",width="",] {state_own_team_scored};node[label="opponent\nteam\nscored", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.initial-ready-and-set.html#state_opponent-team-scored",width="",] {state_opponent_team_scored};node[label="initial\nown\nkick\noff", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.initial-ready-and-set.html#state_initial-own-kick-off",width="",] {state_initial_own_kick_off};node[label="ready\nopponent\nkick\noff", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.initial-ready-and-set.html#state_ready-opponent-kick-off",width="",] {state_ready_opponent_kick_off};node[label="set\nopponent\nkick\noff", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.initial-ready-and-set.html#state_set-opponent-kick-off",width="",] {state_set_opponent_kick_off};node[label="playing", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="doublecircle",style="filled",URL="option.initial-ready-and-set.html#state_playing",width="",] {state_playing};node[label="ready\nopponent\nkick\noff", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.initial-ready-and-set.html#state_ready-opponent-kick-off",width="",] {state_ready_opponent_kick_off};node[label="ready\nopponent\nkick\noff", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.initial-ready-and-set.html#state_ready-opponent-kick-off",width="",] {state_ready_opponent_kick_off};node[label="initial\nown\nkick\noff", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="circle",style="filled",URL="option.initial-ready-and-set.html#state_initial-own-kick-off",width="",] {state_initial_own_kick_off};node[label="initial\nopponent\nkick\noff", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="#005A9C",fontname="Arial",fontsize="9",height="",shape="Mcircle",style="dashed",URL="",width="",] {state_initial_opponent_kick_off};}subgraph cluster_decision_tree{bgcolor="";color="";fillcolor="#FFFFFF";fontcolor="#005A9C";fontname="Arial";fontsize="12";label="state initial-opponent-kick-off";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 if | <start_4> else if | <start_5> else if | <start_6> else if | <start_7> else if | <start_8> else if | <start_9> else",color="#FFFFFF",fillcolor="",fontcolor="",fontname="Arial Bold",fontsize="9",height="0.15",style="",URL="",width="",]{struct0};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 -> struct0:start_0;node[label="own team\nscored", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.initial-ready-and-set.html#state_initial-opponent-kick-off_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=""] struct0: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_own_team_scored;node[label="opponent\nteam scored", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.initial-ready-and-set.html#state_initial-opponent-kick-off_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=""] struct0: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_opponent_team_scored;node[label="middle\nback pressed\nshort", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.initial-ready-and-set.html#state_initial-opponent-kick-off_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=""] struct0: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_initial_own_kick_off;node[label="ready\nmessage\nreceived", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.initial-ready-and-set.html#state_initial-opponent-kick-off_pseudo-code_3",width="",] {start_3_};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=""] struct0:start_3 -> start_3_;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_ -> state_ready_opponent_kick_off;node[label="set message\nreceived", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.initial-ready-and-set.html#state_initial-opponent-kick-off_pseudo-code_4",width="",] {start_4_};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=""] struct0:start_4 -> start_4_;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_4_ -> state_set_opponent_kick_off;node[label="playing\nmessage\nreceived", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.initial-ready-and-set.html#state_initial-opponent-kick-off_pseudo-code_5",width="",] {start_5_};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=""] struct0:start_5 -> start_5_;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_5_ -> state_playing;node[label="another\nplayer\nis already\nin ready\nstate", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.initial-ready-and-set.html#state_initial-opponent-kick-off_pseudo-code_6",width="",] {start_6_};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=""] struct0:start_6 -> start_6_;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_6_ -> state_ready_opponent_kick_off;node[label="head pressed\nshort", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.initial-ready-and-set.html#state_initial-opponent-kick-off_pseudo-code_7",width="",] {start_7_};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=""] struct0:start_7 -> start_7_;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_7_ -> state_ready_opponent_kick_off;node[label="own kick\noff message\nreceived", color="",fillcolor="#FFFFFF",fixedsize="",fontcolor="",fontname="Arial",fontsize="9",height="",shape="box",style="filled",URL="option.initial-ready-and-set.html#state_initial-opponent-kick-off_pseudo-code_8",width="",] {start_8_};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=""] struct0:start_8 -> start_8_;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_8_ -> state_initial_own_kick_off;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=""] struct0:start_9 -> state_initial_opponent_kick_off;}}}
                    
