digraph "AlgebraicNum"
{
 // LATEX_PDF_SIZE
  edge [fontname="Helvetica",fontsize="10",labelfontname="Helvetica",labelfontsize="10"];
  node [fontname="Helvetica",fontsize="10",shape=record];
  Node1 [label="AlgebraicNum",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled", fontcolor="black",tooltip="Algebraic numbers"];
  Node2 -> Node1 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node2 [label="ArithExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_arith_expr.html",tooltip="Arithmetic expressions (int/real)"];
  Node3 -> Node2 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node3 [label="Expr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_expr.html",tooltip="Expressions are terms."];
  Node4 -> Node3 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node4 [label="AST",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_a_s_t.html",tooltip="The abstract syntax tree (AST) class."];
  Node5 -> Node4 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node5 [label="Z3Object",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_z3_object.html",tooltip="Internal base class for interfacing with native Z3 objects. Should not be used externally."];
  Node6 -> Node5 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node6 [label="IDisposable",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_i_disposable.html",tooltip=" "];
  Node7 -> Node4 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node7 [label="IComparable",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_i_comparable.html",tooltip=" "];
}
