digraph G
{
edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
node [fontname="FreeSans",fontsize="10",shape=record];
rankdir=LR;
Node1 [label="Node::type",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="CTree::calcTreeHash",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#aed5575466db4ca391077245aa036a458",tooltip="compute the hash key of a tree according to its node and branches"];
Node2 -> Node3 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 [label="CTree::make",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a67a668abaa84ce9efb58e5d2668fdc9d",tooltip="return a new tree or an existing equivalent one"];
Node1 -> Node4 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node4 [label="isDouble",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#aab6c20fb5dce797e97ac8ec8591258af"];
Node4 -> Node5 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node5 [label="addNode",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$node_8hh.html#aeb2ec3f47437cd6d76b5ffae47517283"];
Node4 -> Node6 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node6 [label="MinPrim::computeSigOutput",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classMinPrim.html#a377f8c121b5935dabbe71062afa96b2f"];
Node4 -> Node7 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node7 [label="MaxPrim::computeSigOutput",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classMaxPrim.html#a6f558860aff18a5951520527aaae87e9"];
Node4 -> Node8 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 [label="divExtendedNode",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$node_8hh.html#adfaefa7f837cd8816a07d8838b56a9ab"];
Node4 -> Node9 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node9 [label="divNode",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$node_8hh.html#ae5a3df17f83e065ebc1b2db960b943ba"];
Node4 -> Node10 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 [label="eqNode",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#aeec40886602b09f8d3ef702b69b08b79"];
Node4 -> Node11 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node11 [label="geNode",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a0ae88e6d23a8a295200b8fa8df1b35e7"];
Node4 -> Node12 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 [label="gtNode",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a007cf617fd71c5fe52ce3779c6761027"];
Node4 -> Node13 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node13 [label="isBoxReal",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$boxes_8hh.html#a292a68d93ea73f703bc880cca4d01bc2"];
Node4 -> Node14 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node14 [label="isNum",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a382830bc2900d728fd59d9f06c634b59"];
Node4 -> Node15 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node15 [label="isSigReal",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8hh.html#a305497ed8593020624204f9d359743f2"];
Node4 -> Node16 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node16 [label="leNode",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a46e8ac8aab226fea31a4cd3b02db9e44"];
Node4 -> Node17 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 [label="ltNode",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#aac953f02d649d60eeeaed5451e572f8f"];
Node4 -> Node18 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node18 [label="mulNode",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$node_8hh.html#ad637e09183c3ea7697163dbd1c2e9f30"];
Node4 -> Node19 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node19 [label="neNode",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a6b9ee7c9c01b3e6c620f9dcb90ed64b3"];
Node4 -> Node20 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 [label="print",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$list_8hh.html#a13dbc4dd4ee560049c25f169f7b10c54"];
Node20 -> Node20 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node4 -> Node21 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node21 [label="sigFloatCast",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8hh.html#a93095558ccb99d241c8839e2eacbd64f"];
Node4 -> Node22 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node22 [label="sigIntCast",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8hh.html#a6e61ed61966e9d6f2e19b4f114d6dc07"];
Node4 -> Node23 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node23 [label="simplification",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$simplify_8cpp.html#a7b22c54137b97107c3b85e47673b31fb"];
Node4 -> Node24 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node24 [label="subNode",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$node_8hh.html#aeaf6a04d706f2a440b2302354a6d072c"];
Node4 -> Node25 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node25 [label="tree2double",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$tree_8hh.html#ade36e0f4c45ca9bf2307f972715010c7",tooltip="if t has a node of type float, return it otherwise error"];
Node4 -> Node26 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node26 [label="tree2float",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$tree_8hh.html#ad01262fc04f661b162d36b786419a849",tooltip="if t has a node of type float, return it otherwise error"];
Node4 -> Node27 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node27 [label="tree2int",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$tree_8hh.html#a523bce65e2a281fe678f2362496061cf",tooltip="if t has a node of type int, return it otherwise error"];
Node1 -> Node28 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 [label="isGEZero",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a5860b49bef3eb338c1899d03e60a44a2"];
Node1 -> Node29 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 [label="isGTZero",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a7bcf1d85bdd887631c0602c90045eb12"];
Node1 -> Node30 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 [label="isInt",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a8c9b968ac68f6cac1c361002da8afe99"];
Node30 -> Node31 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node31 [label="CTree::calcTreeAperture",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#ab6f456ea4f5400fb5b93807b281e6eb3",tooltip="compute how open is a tree"];
Node30 -> Node6 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 -> Node7 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 -> Node32 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node32 [label="isBoxInt",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$boxes_8hh.html#a7904414896442fcfa0947156b6563d52"];
Node30 -> Node33 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 [label="isBoxSlot",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$boxes_8hh.html#a7914adfeb6137b29d9ffc2e51e6c81c0"];
Node30 -> Node14 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 -> Node34 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 [label="isProj",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8hh.html#a9b54e9177bb3726e06700649c3e5c05d"];
Node30 -> Node35 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 [label="isRef",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$tree_8hh.html#a3a07093d0e487cc733adab39f6a18e78",tooltip="is t a de Bruijn recursive reference"];
Node30 -> Node36 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 [label="isSigBinOp",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8hh.html#a8705584c3c319be54be73dc391d25634"];
Node36 -> Node23 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 -> Node37 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node37 [label="isSigInput",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8hh.html#a38254d67a0541d98c6097fd51b22ea45"];
Node37 -> Node21 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 -> Node38 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node38 [label="isSigInt",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8hh.html#a75cc925deac1e031e75ae72271dd5995"];
Node30 -> Node39 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node39 [label="isSigOutput",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8hh.html#a1415deb58619ab50a536d7f2ce425f22"];
Node30 -> Node40 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 [label="isSigTuple",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8hh.html#aa37973cfd2efa2c2db82019f10913b87"];
Node30 -> Node20 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 -> Node21 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 -> Node22 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 -> Node23 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 -> Node25 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 -> Node26 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 -> Node27 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node41 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 [label="isMinusOne",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#afe5b1c8557250044cc8268b421503cc5"];
Node1 -> Node42 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node42 [label="isOne",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a6fbfcac8080397aab13e88cd7b7cfb39"];
Node1 -> Node43 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 [label="isPointer",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$node_8hh.html#ad77dd53dfdf27d36a561a7ccbcb27708"];
Node43 -> Node44 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 [label="isBoxPrim0",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$boxes_8hh.html#a70e003707a2fffb29395d50dce334f54"];
Node43 -> Node45 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node45 [label="isBoxPrim1",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$boxes_8hh.html#a43d2a4b32ffcc8b9ace23187915a1222"];
Node43 -> Node46 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node46 [label="isBoxPrim2",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$boxes_8hh.html#af67d87b2e24763d9f8dada435623a418"];
Node43 -> Node47 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 [label="isBoxPrim3",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$boxes_8hh.html#a3ef2f20df5d0676c97cd41a6bf1ddd15"];
Node43 -> Node48 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 [label="isBoxPrim4",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$boxes_8hh.html#a112e6328782703e071143c3ac1e34d7c"];
Node43 -> Node20 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node49 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node49 [label="isSym",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$node_8hh.html#ab714e75c43d570297ff54578dc7e9ce3"];
Node49 -> Node20 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node50 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node50 [label="isZero",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#ab2d289c97c1a85b8ea792864082c10c7"];
}
