digraph G
{
edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
node [fontname="FreeSans",fontsize="10",shape=record];
Node1 [label="symbol.hh",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
Node1 -> Node2 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node2 [label="list.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8cpp.html"];
Node2 -> Node2 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node3 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 [label="list.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html"];
Node3 -> Node4 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node4 [label="ppbox.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$ppbox_8cpp.html"];
Node3 -> Node5 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node5 [label="patternmatcher.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$patternmatcher_8cpp.html"];
Node5 -> Node5 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node6 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node6 [label="occurrences.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$occurrences_8cpp.html",tooltip="Count the number of occurences of each subtree of a root tree."];
Node6 -> Node6 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node7 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node7 [label="shlysis.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$shlysis_8hh.html"];
Node7 -> Node8 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 [label="tlib.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tlib_8hh.html"];
Node8 -> Node9 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node9 [label="boxcomplexity.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$boxcomplexity_8cpp.html",tooltip="Implement complexity computation for box diagrams."];
Node9 -> Node9 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node10 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 [label="boxes.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$boxes_8hh.html"];
Node10 -> Node4 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 -> Node11 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node11 [label="doc_autodoc.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$doc__autodoc_8cpp.html"];
Node10 -> Node12 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 [label="errormsg.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$errormsg_8cpp.html"];
Node12 -> Node12 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 -> Node5 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 -> Node13 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node13 [label="labels.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$labels_8cpp.html"];
Node13 -> Node13 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 -> Node14 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node14 [label="labels.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$labels_8hh.html"];
Node8 -> Node15 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node15 [label="doc.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$doc_8cpp.html",tooltip="Implementation of documentation trees support and printing."];
Node15 -> Node15 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node16 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node16 [label="doc.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$doc_8hh.html"];
Node16 -> Node11 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node16 -> Node17 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 [label="doc_compile.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$doc__compile_8cpp.html"];
Node8 -> Node11 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node17 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node12 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node18 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node18 [label="errormsg.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$errormsg_8hh.html"];
Node18 -> Node15 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node19 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node19 [label="absprim.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$absprim_8cpp.html"];
Node19 -> Node19 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node20 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 [label="xtended.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$xtended_8hh.html"];
Node20 -> Node9 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 -> Node4 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 -> Node17 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 -> Node21 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node21 [label="compile_scal.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$compile__scal_8cpp.html"];
Node21 -> Node21 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 -> Node22 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node22 [label="ppsig.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$ppsig_8cpp.html"];
Node22 -> Node22 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 -> Node23 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node23 [label="sigorderrules.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigorderrules_8cpp.html"];
Node23 -> Node23 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 -> Node24 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node24 [label="sigtyperules.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html"];
Node8 -> Node25 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node25 [label="compile.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$compile_8cpp.html"];
Node25 -> Node25 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node21 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node26 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node26 [label="description.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$description_8hh.html"];
Node26 -> Node15 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node27 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node27 [label="klass.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$klass_8hh.html"];
Node27 -> Node19 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node27 -> Node20 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node28 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 [label="occurences.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$occurences_8hh.html"];
Node28 -> Node15 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node29 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 [label="uitree.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$uitree_8hh.html"];
Node29 -> Node25 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node26 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node27 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node30 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 [label="aterm.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$aterm_8cpp.html"];
Node30 -> Node30 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node31 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node31 [label="aterm.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$aterm_8hh.html"];
Node31 -> Node32 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node32 [label="normalize.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$normalize_8cpp.html"];
Node8 -> Node33 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 [label="mterm.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$mterm_8hh.html"];
Node33 -> Node31 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 -> Node32 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node32 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node34 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 [label="colorize.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$colorize_8cpp.html",tooltip="Uses colors to analyze dependencies among sub expressions."];
Node34 -> Node34 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node35 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 [label="colorize.h",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$colorize_8h.html"];
Node8 -> Node36 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 [label="graphSorting.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$graphSorting_8cpp.html"];
Node36 -> Node36 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node37 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node37 [label="loop.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$loop_8hh.html"];
Node37 -> Node25 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node37 -> Node27 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node5 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node38 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node38 [label="patternmatcher.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$patternmatcher_8hh.html"];
Node8 -> Node13 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node14 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node22 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node39 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node39 [label="prim2.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$prim2_8hh.html"];
Node39 -> Node4 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node39 -> Node15 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node39 -> Node17 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node39 -> Node21 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node39 -> Node23 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node39 -> Node24 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node40 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 [label="signals.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8hh.html"];
Node40 -> Node9 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node10 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node4 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node15 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node25 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node26 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node30 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node31 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node33 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node32 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node34 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node13 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node14 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node22 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node23 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node23 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node24 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node41 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 [label="occurrences.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$occurrences_8hh.html"];
Node8 -> Node42 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node42 [label="recursive-tree.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html"];
Node8 -> Node43 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 [label="names.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$names_8cpp.html"];
Node43 -> Node43 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node44 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 [label="names.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$names_8hh.html",tooltip="Interface for names management."];
Node44 -> Node15 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 -> Node17 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node8 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node45 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node45 [label="node.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html",tooltip="A Node is a tagged unions of int, double, symbol and void* used in the implementation..."];
Node45 -> Node46 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node46 [label="binop.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$binop_8cpp.html"];
Node46 -> Node46 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node45 -> Node47 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 [label="binop.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$binop_8hh.html"];
Node47 -> Node22 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 -> Node40 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node45 -> Node48 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 [label="node.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8cpp.html"];
Node45 -> Node6 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node45 -> Node8 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node45 -> Node49 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node49 [label="tree.hh",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$tree_8hh.html",tooltip="A tree library with hashconsing and maximal sharing capabilities."];
Node49 -> Node3 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node49 -> Node6 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node49 -> Node8 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node6 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node50 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node50 [label="symbol.cpp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$symbol_8cpp.html"];
Node1 -> Node8 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node49 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
}
