digraph "_options"
{
 // 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];
  Node1 [id="Node000001",label="_options",height=0.2,width=0.4,color="gray40", fillcolor="grey60", style="filled", fontcolor="black",tooltip=" "];
  Node2 -> Node1 [id="edge1_Node000001_Node000002",dir="back",color="darkorchid3",style="dashed",tooltip=" ",label=" pivot",fontcolor="grey" ];
  Node2 [id="Node000002",label="_options::pivot_t",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",URL="$a00606.html",tooltip=" "];
  Node3 -> Node2 [id="edge2_Node000002_Node000003",dir="back",color="darkorchid3",style="dashed",tooltip=" ",label=" col_key\nrow_key",fontcolor="grey" ];
  Node3 [id="Node000003",label="KEY_T",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",URL="$a00598.html",tooltip=" "];
  Node4 -> Node3 [id="edge3_Node000003_Node000004",dir="back",color="darkorchid3",style="dashed",tooltip=" ",label=" keys",fontcolor="grey" ];
  Node4 [id="Node000004",label="col_t",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled",URL="$a00646.html",tooltip=" "];
  Node4 -> Node2 [id="edge4_Node000002_Node000004",dir="back",color="darkorchid3",style="dashed",tooltip=" ",label=" func",fontcolor="grey" ];
}
