story_graph.dot

digraph  {
0 [class="start active", fillcolor=green, fontsize=12, label=START, style=filled];
"-1" [class=end, fillcolor=red, fontsize=12, label=END, style=filled];
1 [class=active, fontsize=12, label=action_session_start];
2 [class=active, fontsize=12, label=action_handle_options];
3 [class=active, fontsize=12, label=action_handle_cntk];
4 [class="intent dashed active", label="  ?  ", shape=rect];
5 [class="intent active", fillcolor=lightblue, label="/give_option", shape=rect, style=filled];
0 -> "-1"  [class="", key=NONE, label=""];
0 -> 1  [class=active, key=NONE, label=""];
1 -> 5  [class=active, key=0];
2 -> 3  [class=active, key=NONE, label=""];
3 -> 4  [class=active, key=NONE, label=""];
5 -> 2  [class=active, key=0];
}