digraph G
{
  bgcolor="transparent";
  edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
  node [fontname="FreeSans",fontsize="10",shape=record];
  rankdir=LR;
  Node1 [label="t_OMax_oracle::OMax_oracle_reset",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_oracle::freestates",height=0.2,width=0.4,color="black",URL="$class_o__oracle.html#a933bc6787c8b335ce00d86950497994e",tooltip="Reset."];
  Node1 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node3 [label="O_oracle::get_size",height=0.2,width=0.4,color="black",URL="$class_o__oracle.html#a084597a4f020b5ddadc603881b596d4f",tooltip="Return the current size of FO."];
}
