digraph "dbsettime"
{
 // LATEX_PDF_SIZE
  bgcolor="transparent";
  edge [fontname=Helvetica,fontsize=10,labelfontname=Helvetica,labelfontsize=10];
  node [fontname=Helvetica,fontsize=10,shape=box,height=0.2,width=0.4];
  rankdir="LR";
  Node1 [id="Node000001",label="dbsettime",height=0.2,width=0.4,color="gray40", fillcolor="grey60", style="filled", fontcolor="black",tooltip="Set maximum seconds db-lib waits for a server response to query."];
  Node1 -> Node2 [id="edge1_Node000001_Node000002",color="steelblue1",style="solid",tooltip=" "];
  Node2 [id="Node000002",label="dbisopt",height=0.2,width=0.4,color="grey40", fillcolor="white", style="filled",URL="$a00575.html#gac3eb8cb53f50998403ea9aebc6263df9",tooltip="Get value of an option."];
}
