digraph G
{
  bgcolor="transparent";
  edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
  node [fontname="FreeSans",fontsize="10",shape=record];
  rankdir=LR;
  Node1 [label="O_learner::search_trans",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
  Node1 -> Node2 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node2 [label="O_state::get_trans",height=0.2,width=0.4,color="black",URL="$class_o__state.html#a10b14aabd7bb9b8441198cc8934a41d9",tooltip="Return the list transitions."];
}
