digraph "Z3Exception"
{
 // LATEX_PDF_SIZE
  edge [fontname="Helvetica",fontsize="10",labelfontname="Helvetica",labelfontsize="10"];
  node [fontname="Helvetica",fontsize="10",shape=record];
  Node1 [label="Z3Exception",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled", fontcolor="black",tooltip="The exception base class for error reporting from Z3"];
  Node2 -> Node1 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node2 [label="Exception",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_exception.html",tooltip=" "];
  Node1 -> Node3 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node3 [label="Model.ModelEvaluationFailed\lException",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_model_1_1_model_evaluation_failed_exception.html",tooltip="A ModelEvaluationFailedException is thrown when an expression cannot be evaluated by the model."];
}
