digraph "platform_time.h"
{
  bgcolor="transparent";
  edge [fontname="Helvetica",fontsize="10",labelfontname="Helvetica",labelfontsize="10"];
  node [fontname="Helvetica",fontsize="10",shape=record];
  Node0 [label="platform_time.h",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled", fontcolor="black"];
  Node0 -> Node1 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node1 [label="config.h",height=0.2,width=0.4,color="black",URL="$config_8h.html",tooltip="Configuration options (set of defines) "];
  Node1 -> Node2 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node2 [label="check_config.h",height=0.2,width=0.4,color="black",URL="$check__config_8h.html",tooltip="Consistency checks for configuration options. "];
  Node2 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node3 [label="limits.h",height=0.2,width=0.4,color="grey75"];
  Node0 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node4 [label="time.h",height=0.2,width=0.4,color="grey75"];
}