digraph G
{
  edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
  node [fontname="FreeSans",fontsize="10",shape=record];
  rankdir=LR;
  Node1 [label="shlysis",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="annotate",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$shlysis_8cpp.html#a69b22f836f822d8296ca9f3061029e2a",tooltip="Recursively increment the occurences count of t and its subtrees."];
  Node2 -> 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"];
  Node2 -> 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"];
  Node2 -> 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"];
  Node2 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node8 [label="setProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8cpp.html#a5ead5a3e91af18d8f94e0974990a3c5a"];
  Node8 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node9 [label="CTree::setProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#ac628a2ad0d2a21de584e3bca291bd38c"];
  Node2 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node10 [label="shcount",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$shlysis_8cpp.html#a501f0b3e93e8aebc9264835ee051859d",tooltip="Return the value of sharing count or 0."];
  Node10 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node11 [label="Node::getInt",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classNode.html#a0ac89402d0e51d19bed062529a375efe"];
  Node10 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node12 [label="getProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8cpp.html#a665745948013d012bb123e9577c094bd"];
  Node12 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node13 [label="CTree::getProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a902b48b83db587f14dbd31999c0f715f"];
  Node10 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node2 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node14 [label="tree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8hh.html#a61c13e9361cfa80bbb3cd6ce60a8f595"];
  Node14 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node15 [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 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node16 [label="nobarrier",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$shlysis_8cpp.html#a3ed5bd7932722816a2420ec5614f0e1d"];
  Node1 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node17 [label="shprkey",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$shlysis_8cpp.html#a827cae6cc8102ab89e60ae2996fbdbf4",tooltip="Create a specific property key for the sharing count of subtrees of t."];
  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 -> Node14 [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."];
}