digraph G
{
  edge [fontname="FreeSans.ttf",fontsize=10,labelfontname="FreeSans.ttf",labelfontsize=10];
  node [fontname="FreeSans.ttf",fontsize=10,shape=record];
  rankdir=LR;
  Node1 [label="class_timers::set_timer",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
  Node1 -> Node2 [color="midnightblue",fontsize=10,style="solid"];
  Node2 [label="class_timers::get_timer",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classclass__timers.html#e4fe19b5b56b72ce2601d74f6519bd0b"];
}