digraph G
{
edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
node [fontname="FreeSans",fontsize="10",shape=record];
rankdir=LR;
Node1 [label="deBruijn2Sym",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="calcDeBruijn2Sym",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#ab814aecf89e4591fd9a23f4ab145f8f0"];
Node2 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 [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"];
Node2 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node4 [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"];
Node2 -> Node1 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node2 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node5 [label="isRec",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#a4cb44c6e41e21da830e748dc35f16ba5",tooltip="is t a de Bruijn recursive tree"];
Node5 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node6 [label="isTree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8cpp.html#a06be972e0437c7c09e8a1274586fe176"];
Node6 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node7 [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 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 [label="isRef",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#a3a07093d0e487cc733adab39f6a18e78",tooltip="is t a de Bruijn recursive reference"];
Node8 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node9 [label="isInt",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#a8c9b968ac68f6cac1c361002da8afe99"];
Node9 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 [label="Node::type",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classNode.html#aff078c9f1e1673b275e4eab069fb34b6"];
Node8 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node2 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node11 [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 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node2 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 [label="printSignal",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigprint_8cpp.html#ac996689aaeee388feb18661ff38abe01"];
Node12 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node13 [label="hd",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a067ad6f83087b420a1c44e48e56be389"];
Node13 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node14 [label="isList",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a8bdd73641276e0c0f999f504348eacc1"];
Node14 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node14 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node15 [label="isProj",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a9b54e9177bb3726e06700649c3e5c05d"];
Node15 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node15 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node15 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node16 [label="isSigAttach",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#ad717966fe25735c5cf799e04338192b4"];
Node16 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 [label="isSigBinOp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a8705584c3c319be54be73dc391d25634"];
Node17 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node18 [label="isSigDelay1",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a0899d7e2a69a467b0dcf62242397367f"];
Node18 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node19 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node19 [label="isSigDocAccessTbl",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#aec3b01f2f3ae693b4422142a22e4d0af"];
Node19 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 [label="isSigDocConstantTbl",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a95620993ef284f3e29f20ebcc3b0a08e"];
Node20 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node21 [label="isSigDocWriteTbl",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a4d843f58a403cb0802c2255489977396"];
Node21 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node22 [label="isSigFixDelay",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#af55cdefee258834b3b8f6c070d4970c9"];
Node22 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node23 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node23 [label="isSigFloatCast",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a52448156d86125bbc8de23d641217de2"];
Node23 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node24 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node24 [label="isSigGen",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a771720237ca174a55a6823cc6623d602"];
Node24 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node25 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node25 [label="isSigInput",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a38254d67a0541d98c6097fd51b22ea45"];
Node25 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node25 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node25 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node26 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node26 [label="isSigInt",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a75cc925deac1e031e75ae72271dd5995"];
Node26 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node26 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node27 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node27 [label="isSigIntCast",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a3ef48f0da2ef5b8e3ee7371a1e4059ae"];
Node27 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node28 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 [label="isSigOutput",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a1415deb58619ab50a536d7f2ce425f22"];
Node28 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node29 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 [label="isSigPrefix",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a18895c816779682006a84aede438af29"];
Node29 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node30 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 [label="isSigRDTbl",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a9d9cbd375c200fa4e666de6ffb72dbca"];
Node30 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node31 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node31 [label="isSigReal",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a305497ed8593020624204f9d359743f2"];
Node31 -> Node32 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node32 [label="isDouble",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#aab6c20fb5dce797e97ac8ec8591258af"];
Node32 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node31 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node33 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 [label="isSigTable",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#aa9b2ad7a65566fbc382d60e315b42740"];
Node33 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node34 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 [label="isSigWRTbl",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#ab5b22110acbd38b7d4634dc94bcc8d22"];
Node34 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node35 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 [label="print",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$list_8cpp.html#a850f2e459a901e0c9908d3a3a54b306e"];
Node35 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 -> Node32 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 -> Node36 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 [label="isPointer",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#ad77dd53dfdf27d36a561a7ccbcb27708"];
Node36 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 -> Node37 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node37 [label="isSym",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$node_8hh.html#ab714e75c43d570297ff54578dc7e9ce3"];
Node37 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 -> Node35 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node38 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node38 [label="tl",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a4075748f5c7156306ec898795313a2e0"];
Node38 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node2 -> Node39 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node39 [label="rec",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#aa598f21268aa7198407d2eb6929d09ab",tooltip="create a de Bruijn recursive tree"];
Node39 -> Node40 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 [label="tree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8hh.html#a61c13e9361cfa80bbb3cd6ce60a8f595"];
Node40 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node2 -> Node41 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 [label="ref",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#ab93ecee07e77e314fe39e3199d06437a",tooltip="create a de Bruijn recursive reference"];
Node41 -> Node40 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node2 -> Node42 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node42 [label="substitute",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8cpp.html#a40185c4c5a347dcef0ae115ebf3443d6"];
Node42 -> Node43 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 [label="subst",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$Text_8cpp.html#af50e951c134c2c98c4c75d687f8fca7a"];
Node42 -> Node44 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 [label="substkey",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$list_8cpp.html#a3df2d33f98401f7f36cd0393324bc730"];
Node44 -> Node40 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 -> Node45 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node45 [label="unique",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$symbol_8hh.html#a377309446e0e86ae663cd6709e02889d",tooltip="Returns a new unique symbol of name strxxx."];
Node45 -> Node46 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node46 [label="Symbol::prefix",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$classSymbol.html#acab6dd6c1c62c49b03ca629f7e0dab36",tooltip="Creates a new symbol of name prefixed by str."];
Node2 -> Node40 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node2 -> Node45 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node47 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 [label="CTree::getProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a902b48b83db587f14dbd31999c0f715f"];
Node1 -> Node48 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 [label="isClosed",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8hh.html#a447a569f359244de90fa72c2efdb8be5",tooltip="t dont contain free de Bruijn ref"];
Node48 -> Node49 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node49 [label="CTree::aperture",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a3ce05a5474896a873ddbccd7caea2680",tooltip="return how "open" is a tree in terms of free variables"];
Node1 -> Node50 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node50 [label="CTree::setProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#ac628a2ad0d2a21de584e3bca291bd38c"];
}
