digraph G
{
edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
node [fontname="FreeSans",fontsize="10",shape=record];
rankdir=LR;
Node1 [label="ScalarCompiler::prepare",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="deBruijn2Sym",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#ab896f65486e6d80d4440721f2f89ff96"];
Node2 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 [label="calcDeBruijn2Sym",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#ab814aecf89e4591fd9a23f4ab145f8f0"];
Node3 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node4 [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"];
Node3 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node5 [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"];
Node3 -> Node2 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node6 [label="isRec",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#a4cb44c6e41e21da830e748dc35f16ba5",tooltip="is t a de Bruijn recursive tree"];
Node3 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node7 [label="isRef",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$recursive-tree_8cpp.html#a3a07093d0e487cc733adab39f6a18e78",tooltip="is t a de Bruijn recursive reference"];
Node7 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 [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"];
Node3 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node9 [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"];
Node3 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 [label="printSignal",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$sigprint_8cpp.html#ac996689aaeee388feb18661ff38abe01"];
Node10 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node11 [label="hd",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a067ad6f83087b420a1c44e48e56be389"];
Node11 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 [label="isList",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a8bdd73641276e0c0f999f504348eacc1"];
Node12 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node13 [label="isSigFixDelay",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8cpp.html#af55cdefee258834b3b8f6c070d4970c9"];
Node10 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node14 [label="isSigGen",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8cpp.html#a771720237ca174a55a6823cc6623d602"];
Node10 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node15 [label="isSigPrefix",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8cpp.html#a18895c816779682006a84aede438af29"];
Node10 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node16 [label="tl",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a4075748f5c7156306ec898795313a2e0"];
Node16 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 [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"];
Node17 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node18 [label="tree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8hh.html#a61c13e9361cfa80bbb3cd6ce60a8f595"];
Node18 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node19 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node19 [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"];
Node19 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 [label="substitute",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$list_8cpp.html#a40185c4c5a347dcef0ae115ebf3443d6"];
Node3 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node21 [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."];
Node21 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node22 [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 -> Node23 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node23 [label="CTree::getProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a902b48b83db587f14dbd31999c0f715f"];
Node2 -> Node24 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node24 [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"];
Node24 -> Node25 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node25 [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"];
Node2 -> Node26 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node26 [label="CTree::setProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#ac628a2ad0d2a21de584e3bca291bd38c"];
Node1 -> Node27 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node27 [label="endTiming",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timing_8cpp.html#ac5c8a9d488cf5c7d786c833565e093e9"];
Node1 -> Node28 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 [label="OccMarkup::mark",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classOccMarkup.html#aaba1b76dc4c0f320f1639ec0f02e68e1",tooltip="start markup of root tree with new unique key"];
Node28 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 -> Node29 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 [label="OccMarkup::incOcc",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classOccMarkup.html#a68c971c2ea5685754fc5544406d7c6e0",tooltip="inc the occurence of t in context v,r"];
Node29 -> Node30 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 [label="checkDelayInterval",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtype_8cpp.html#a93b58aa70785fe4a2c0f520fdbc246c9",tooltip="Check is a type is appropriate for a delay."];
Node29 -> Node31 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node31 [label="OccMarkup::getOcc",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$classOccMarkup.html#ac30dc5af4c0fe9524e78ae26b6705d99",tooltip="get Occurences property of t or null"];
Node31 -> Node23 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node32 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node32 [label="getRecursivness",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$recursivness_8cpp.html#a5e771832d204d89a67f42e4a0b9b15a5",tooltip="Return the recursivness of a previously annotated signal."];
Node29 -> Node33 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 [label="getSigType",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html#a1f41188e4150f54b2fb2caf28a948785",tooltip="retrieve the type annotation of sig"];
Node29 -> Node34 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 [label="getSubSignals",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8hh.html#ae5dd2bb17d8df90f5561bb8084b3f10f",tooltip="Extract the sub signals of a signal expression, that is not necesseraly all the subtrees..."];
Node34 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node35 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 [label="Occurences::incOccurences",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$classOccurences.html#ae8c2ebe876a58caa0f4868f0eb531a20",tooltip="inc occurences in context v,r,d"];
Node29 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node36 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 [label="OccMarkup::setOcc",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classOccMarkup.html#a6ca170443f96829d5157ee8100a053fe",tooltip="set Occurences property of t"];
Node36 -> Node26 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node37 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node37 [label="privatise",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$privatise_8cpp.html#a72412a8ab2da211259af2ad2bbfec902"];
Node37 -> Node38 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node38 [label="makePrivatisationKey",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$privatise_8cpp.html#a5e55d90a26dd8613bb351349d969b0f9"];
Node38 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node38 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node37 -> Node39 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node39 [label="privatisation",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$privatise_8cpp.html#a504aaf9b37638431891717f023bf5406"];
Node39 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node40 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 [label="recursivnessAnnotation",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursivness_8cpp.html#ad6d53633cf1982b7d7b094188c7bfe17",tooltip="Annotate a signal with recursivness."];
Node40 -> Node41 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 [label="annotate",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$recursivness_8cpp.html#ae84af43472c202883669180ea5452a2e",tooltip="Annotate a signal with recursivness."];
Node41 -> Node34 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node42 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node42 [label="ScalarCompiler::sharingAnalysis",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classScalarCompiler.html#a3266c7302f512a4198aa4a047e55f80d"];
Node42 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node42 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node42 -> Node43 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 [label="ScalarCompiler::sharingAnnotation",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$classScalarCompiler.html#ac30012ee9420900ecf8a28c4e0752142"];
Node43 -> Node33 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 -> Node34 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node42 -> Node44 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 [label="shprkey",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$shlysis_8cpp.html#a827cae6cc8102ab89e60ae2996fbdbf4",tooltip="Create a specific property key for the sharing count of subtrees of t."];
Node44 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node42 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node45 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node45 [label="simplify",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$simplify_8cpp.html#aa58ab1a209023cba186f077cfdcc5339"];
Node45 -> Node46 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node46 [label="sigMap",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$simplify_8cpp.html#ace56a3d5066db13e82962b20d9db195e"];
Node46 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node46 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node46 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node46 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node46 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node46 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node45 -> Node47 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 [label="traced_simplification",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$simplify_8cpp.html#a35da54b35dd0185d20bc701858e7ee78"];
Node1 -> Node48 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 [label="startTiming",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timing_8cpp.html#a8b3ae592fe54580b95171a2bdabb2641"];
Node1 -> Node49 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node49 [label="typeAnnotation",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html#a85dbc6a3f96f643e82a0b45d785ce341",tooltip="fully annotate every subtree of term with type information"];
Node49 -> Node50 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node50 [label="getInferredType",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html#a83a7b8def43c40265adaf84524cd1b4e",tooltip="Retrieve or infere the type of a term according to its surrounding type environment..."];
Node50 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
}
