digraph "Graphical Class Hierarchy"
{
 // LATEX_PDF_SIZE
  edge [fontname="Helvetica",fontsize="10",labelfontname="Helvetica",labelfontsize="10"];
  node [fontname="Helvetica",fontsize="10",shape=record];
  rankdir="LR";
  Node0 [label="context",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classz3_1_1context.html",tooltip="A Context manages all other Z3 objects, global configuration options, etc."];
}
