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="scheduler_empty_fct",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
  Node1 -> Node2 [dir=back,color="midnightblue",fontsize=10,style="solid",fontname="FreeSans.ttf"];
  Node2 [label="scheduler_tasks",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$a00030.html#ac47313d2feeea0627a5469b1a311547",tooltip="Task execution scheduler."];
}
