digraph G
{
  edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
  node [fontname="FreeSans",fontsize="10",shape=record];
  rankdir=LR;
  Node1 [label="listLift",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="lift",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#abf6659f19a0e48b81af0b0fb39ede302"];
  Node2 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node3 [label="liftn",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#a170b606017c8f6e443ad39f1dbb9ca8d"];
  Node3 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node4 [label="calcliftn",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#a50c168abcbcc4183f530f5e0c49f91dd"];
  Node4 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node5 [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"];
  Node4 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node6 [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"];
  Node4 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node7 [label="isClosed",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8hh.html#a447a569f359244de90fa72c2efdb8be5",tooltip="t dont contain free de Bruijn ref"];
  Node7 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node8 [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"];
  Node4 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node9 [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"];
  Node9 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node10 [label="isTree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8cpp.html#a06be972e0437c7c09e8a1274586fe176"];
  Node10 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node11 [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"];
  Node4 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node12 [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"];
  Node12 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node13 [label="isInt",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a8c9b968ac68f6cac1c361002da8afe99"];
  Node13 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node14 [label="Node::type",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classNode.html#aff078c9f1e1673b275e4eab069fb34b6"];
  Node12 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node12 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node4 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node4 -> 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"];
  Node4 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node4 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node16 [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"];
  Node16 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node17 [label="tree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8hh.html#a61c13e9361cfa80bbb3cd6ce60a8f595"];
  Node17 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node4 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node18 [label="ref",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#ab93ecee07e77e314fe39e3199d06437a",tooltip="create a de Bruijn recursive reference"];
  Node18 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node3 -> Node19 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node19 [label="CTree::getProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a902b48b83db587f14dbd31999c0f715f"];
  Node3 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node20 [label="CTree::setProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#ac628a2ad0d2a21de584e3bca291bd38c"];
  Node3 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
}