digraph G { edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"]; node [fontname="FreeSans",fontsize="10",shape=record]; Node1 [label="aterm.hh",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="stdio.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"]; Node1 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node3 [label="assert.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"]; Node1 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node4 [label="tlib.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tlib_8hh.html"]; Node4 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node5 [label="symbol.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$symbol_8hh.html",tooltip="A library to create and manipulate symbols with a unique name."]; Node5 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node6 [label="string",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"]; Node5 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node7 [label="map",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"]; Node4 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node8 [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..."]; Node8 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node9 [label="iostream",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"]; Node8 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node4 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node10 [label="tree.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8hh.html",tooltip="A tree library with hashconsing and maximal sharing capabilities."]; Node10 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node10 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node10 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node11 [label="vector",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"]; Node10 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node10 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node4 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node12 [label="num.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$num_8hh.html"]; Node4 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node13 [label="list.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html"]; Node13 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node13 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node13 -> Node2 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node4 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node14 [label="shlysis.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$shlysis_8hh.html"]; Node14 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node15 [label="string.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"]; Node14 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node16 [label="stdlib.h",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"]; Node14 -> Node2 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node14 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node1 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node17 [label="signals.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8hh.html"]; Node17 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node17 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node18 [label="binop.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$binop_8hh.html"]; Node18 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node17 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node17 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node1 -> Node19 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node19 [label="sigprint.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigprint_8hh.html"]; Node19 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node1 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node20 [label="simplify.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$simplify_8hh.html"]; Node1 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node21 [label="normalize.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$normalize_8hh.html"]; Node1 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node22 [label="sigorderrules.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigorderrules_8hh.html"]; Node22 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node1 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node1 -> Node23 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node23 [label="list",height=0.2,width=0.4,color="grey75", fillcolor="white", style="filled"]; Node1 -> Node24 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node24 [label="mterm.hh",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$mterm_8hh.html"]; Node24 -> Node2 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node24 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node24 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node24 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node24 -> Node19 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node24 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node24 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node24 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node24 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node24 -> Node23 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; }