digraph "Expr"
{
 // LATEX_PDF_SIZE
  edge [fontname="Helvetica",fontsize="10",labelfontname="Helvetica",labelfontsize="10"];
  node [fontname="Helvetica",fontsize="10",shape=record];
  rankdir="LR";
  Node1 [label="Expr",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled", fontcolor="black",tooltip="Expressions are terms."];
  Node2 -> Node1 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node2 [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."];
  Node3 -> Node2 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node3 [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."];
  Node4 -> Node3 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node4 [label="IDisposable",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_i_disposable.html",tooltip=" "];
  Node5 -> Node2 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node5 [label="IComparable",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_i_comparable.html",tooltip=" "];
  Node1 -> Node6 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node6 [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)"];
  Node6 -> Node7 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node7 [label="AlgebraicNum",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_algebraic_num.html",tooltip="Algebraic numbers"];
  Node6 -> Node8 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node8 [label="IntExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_int_expr.html",tooltip="Int expressions"];
  Node8 -> Node9 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node9 [label="IntNum",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_int_num.html",tooltip="Integer Numerals"];
  Node6 -> Node10 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node10 [label="RealExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_real_expr.html",tooltip="Real expressions"];
  Node10 -> Node11 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node11 [label="RatNum",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_rat_num.html",tooltip="Rational Numerals"];
  Node1 -> Node12 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node12 [label="ArrayExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_array_expr.html",tooltip="Array expressions"];
  Node12 -> Node13 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node13 [label="Lambda",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_lambda.html",tooltip="Lambda expressions."];
  Node1 -> Node14 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node14 [label="BitVecExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_bit_vec_expr.html",tooltip="Bit-vector expressions"];
  Node14 -> Node15 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node15 [label="BitVecNum",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_bit_vec_num.html",tooltip="Bit-vector numerals"];
  Node1 -> Node16 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node16 [label="BoolExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_bool_expr.html",tooltip="Boolean expressions"];
  Node16 -> Node17 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node17 [label="Quantifier",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_quantifier.html",tooltip="Quantifier expressions."];
  Node1 -> Node18 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node18 [label="DatatypeExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_datatype_expr.html",tooltip="Datatype expressions"];
  Node1 -> Node19 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node19 [label="FPExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_f_p_expr.html",tooltip="FloatingPoint Expressions"];
  Node19 -> Node20 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node20 [label="FPNum",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_f_p_num.html",tooltip="FloatiungPoint Numerals"];
  Node1 -> Node21 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node21 [label="FPRMExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_f_p_r_m_expr.html",tooltip="FloatingPoint RoundingMode Expressions"];
  Node21 -> Node22 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node22 [label="FPRMNum",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_f_p_r_m_num.html",tooltip="Floating-point rounding mode numerals"];
  Node1 -> Node23 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node23 [label="FiniteDomainExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_finite_domain_expr.html",tooltip="Finite-domain expressions"];
  Node23 -> Node24 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node24 [label="FiniteDomainNum",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_finite_domain_num.html",tooltip="Finite-domain numerals"];
  Node1 -> Node25 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node25 [label="ReExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_re_expr.html",tooltip="Regular expression expressions"];
  Node1 -> Node26 [dir="back",color="midnightblue",fontsize="10",style="solid",fontname="Helvetica"];
  Node26 [label="SeqExpr",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$class_microsoft_1_1_z3_1_1_seq_expr.html",tooltip="Sequence expressions"];
}
