digraph "BaseTimer"
{
 // LATEX_PDF_SIZE
  bgcolor="transparent";
  edge [fontname=FreeSans.ttf,fontsize=10,labelfontname=FreeSans.ttf,labelfontsize=10];
  node [fontname=FreeSans.ttf,fontsize=10,shape=box,height=0.2,width=0.4];
  Node1 [id="Node000001",label="BaseTimer",height=0.2,width=0.4,color="gray40", fillcolor="grey60", style="filled", fontcolor="black",tooltip="base for class RealTimer; class SysTimer; class UserTimer;"];
  Node1 -> Node2 [id="edge1_Node000001_Node000002",dir="back",color="steelblue1",style="solid",tooltip=" "];
  Node2 [id="Node000002",label="RealTimer",height=0.2,width=0.4,color="gray40", fillcolor="white", style="filled",URL="$class_givaro_1_1_real_timer.html",tooltip="Real timer."];
  Node1 -> Node3 [id="edge2_Node000001_Node000003",dir="back",color="steelblue1",style="solid",tooltip=" "];
  Node3 [id="Node000003",label="SysTimer",height=0.2,width=0.4,color="gray40", fillcolor="white", style="filled",URL="$class_givaro_1_1_sys_timer.html",tooltip="Sys timer."];
  Node1 -> Node4 [id="edge3_Node000001_Node000004",dir="back",color="steelblue1",style="solid",tooltip=" "];
  Node4 [id="Node000004",label="UserTimer",height=0.2,width=0.4,color="gray40", fillcolor="white", style="filled",URL="$class_givaro_1_1_user_timer.html",tooltip="User timer."];
}
