digraph G
{
  edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
  node [fontname="FreeSans",fontsize="10",shape=record];
  rankdir=LR;
  Node1 [label="infereRecType",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="addEnv",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html#aff4086d2c051ecf8ce36a37e6faee53f",tooltip="add a new binding to a type environment"];
  Node2 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node3 [label="cons",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#ae1ed153946fcfc025009c6d9c9c40bee"];
  Node3 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node4 [label="tree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8hh.html#a61c13e9361cfa80bbb3cd6ce60a8f595"];
  Node4 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node5 [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"];
  Node2 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node1 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node6 [label="getRecursivness",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursivness_8cpp.html#a5e771832d204d89a67f42e4a0b9b15a5",tooltip="Return the recursivness of a previously annotated signal."];
  Node6 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node7 [label="getProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8cpp.html#a665745948013d012bb123e9577c094bd"];
  Node7 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node8 [label="CTree::getProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a902b48b83db587f14dbd31999c0f715f"];
  Node6 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node9 [label="tree2int",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8cpp.html#a523bce65e2a281fe678f2362496061cf",tooltip="if t has a node of type int, return it otherwise error"];
  Node9 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node10 [label="isDouble",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#aab6c20fb5dce797e97ac8ec8591258af"];
  Node10 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node11 [label="Node::type",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classNode.html#aff078c9f1e1673b275e4eab069fb34b6"];
  Node9 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node12 [label="isInt",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a8c9b968ac68f6cac1c361002da8afe99"];
  Node12 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node9 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node13 [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 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node14 [label="initialRecType",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html#acb6b95bc1ea2aff2d7c2baa6ef018f3d",tooltip="Compute an initial type solution for a recursive block."];
  Node14 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node15 [label="hd",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a067ad6f83087b420a1c44e48e56be389"];
  Node15 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node16 [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"];
  Node14 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node17 [label="isList",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a8bdd73641276e0c0f999f504348eacc1"];
  Node17 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node18 [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"];
  Node17 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node14 -> Node19 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node19 [label="tl",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a4075748f5c7156306ec898795313a2e0"];
  Node19 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node1 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node20 [label="setProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8cpp.html#a5ead5a3e91af18d8f94e0974990a3c5a"];
  Node20 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node21 [label="CTree::setProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#ac628a2ad0d2a21de584e3bca291bd38c"];
  Node1 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node22 [label="setSigType",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html#a54cf5041f97486308c49f551deb18b65",tooltip="set the type annotation of sig"];
  Node22 -> Node23 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node23 [label="CTree::setType",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#ac8a19f4ef59fae1449e60dbd990eb90f"];
  Node1 -> Node24 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node24 [label="T",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$Text_8cpp.html#a16bacb907294be37af81cdf9aff4449a"];
  Node1 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
}