digraph G
{
  edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
  node [fontname="FreeSans",fontsize="10",shape=record];
  rankdir=LR;
  Node1 [label="calcsubstitute",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
  Node1 -> Node2 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node2 [label="CTree::aperture",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a3ce05a5474896a873ddbccd7caea2680",tooltip="return how "open" is a tree in terms of free variables"];
  Node1 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node3 [label="CTree::arity",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a68f2be5e845407bc956a2893fe6f0d03",tooltip="return the number of branches (subtrees) of a tree"];
  Node1 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node4 [label="CTree::branch",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a06c1513b23dc7b0d9da9c930c6dc43c5",tooltip="return the ith branch (subtree) of a tree"];
  Node1 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node5 [label="isRec",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#a4cb44c6e41e21da830e748dc35f16ba5",tooltip="is t a de Bruijn recursive tree"];
  Node5 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node6 [label="isTree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8cpp.html#a06be972e0437c7c09e8a1274586fe176"];
  Node6 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node7 [label="CTree::node",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a8de786fec095c8304b9ffa7c1c316237",tooltip="return the content of the tree"];
  Node1 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node8 [label="isRef",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#a3a07093d0e487cc733adab39f6a18e78",tooltip="is t a de Bruijn recursive reference"];
  Node8 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node9 [label="isInt",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a8c9b968ac68f6cac1c361002da8afe99"];
  Node9 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node10 [label="Node::type",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classNode.html#aff078c9f1e1673b275e4eab069fb34b6"];
  Node8 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node8 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node1 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node11 [label="CTree::make",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a3184c572cef05308f59e36ea2bdf537e",tooltip="return a new tree or an existing equivalent one"];
  Node1 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node1 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node12 [label="rec",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#aa598f21268aa7198407d2eb6929d09ab",tooltip="create a de Bruijn recursive tree"];
  Node12 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node13 [label="tree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8hh.html#a61c13e9361cfa80bbb3cd6ce60a8f595"];
  Node13 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node1 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node14 [label="substitute",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8cpp.html#a40185c4c5a347dcef0ae115ebf3443d6"];
  Node14 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node15 [label="subst",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$Text_8cpp.html#af50e951c134c2c98c4c75d687f8fca7a"];
  Node15 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node16 [label="substitution",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$Text_8cpp.html#ae44fd7b014330127ecf3d613186fbef8"];
  Node14 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node17 [label="substkey",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8cpp.html#a3df2d33f98401f7f36cd0393324bc730"];
  Node17 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node18 [label="name",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$symbol_8hh.html#a8243134fbbd9d924ebbb3f833922e310",tooltip="Returns the name of a symbol."];
  Node17 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node17 -> Node19 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node19 [label="unique",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$symbol_8hh.html#a377309446e0e86ae663cd6709e02889d",tooltip="Returns a new unique symbol of name strxxx."];
  Node19 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node20 [label="Symbol::prefix",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classSymbol.html#acab6dd6c1c62c49b03ca629f7e0dab36",tooltip="Creates a new symbol of name prefixed by str."];
  Node20 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node21 [label="Symbol::isnew",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classSymbol.html#a2fd22ca0779942ebaafcdf24a0d758f6",tooltip="Returns true if no symbol of name str exists."];
  Node21 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node22 [label="Symbol::calcHashKey",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classSymbol.html#a5c9ccccee95f2d09e34b060076d52a29",tooltip="Compute the 32-bits hash key of string str."];
  Node21 -> Node23 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node23 [label="Symbol::equiv",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classSymbol.html#ae5e90343699911affcc3372bcb131c50",tooltip="Check if the name of the symbol is equal to string str."];
}