digraph G
{
  edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
  node [fontname="FreeSans",fontsize="10",shape=record];
  rankdir=LR;
  Node1 [label="aterm::operator+=",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="isSigBinOp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a8705584c3c319be54be73dc391d25634"];
  Node2 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node3 [label="isInt",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a8c9b968ac68f6cac1c361002da8afe99"];
  Node3 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node4 [label="Node::type",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classNode.html#aff078c9f1e1673b275e4eab069fb34b6"];
  Node2 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node5 [label="isTree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8cpp.html#a06be972e0437c7c09e8a1274586fe176"];
  Node5 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node6 [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 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
}