digraph G
{
edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
node [fontname="FreeSans",fontsize="10",shape=record];
rankdir=LR;
Node1 [label="ScalarCompiler::prepare2",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="endTiming",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timing_8cpp.html#ac5c8a9d488cf5c7d786c833565e093e9"];
Node1 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 [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"];
Node3 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node4 [label="hd",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a067ad6f83087b420a1c44e48e56be389"];
Node4 -> 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 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node6 [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"];
Node6 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node7 [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."];
Node6 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 [label="OccMarkup::getOcc",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classOccMarkup.html#ac30dc5af4c0fe9524e78ae26b6705d99",tooltip="get Occurences property of t or null"];
Node8 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node9 [label="CTree::getProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a902b48b83db587f14dbd31999c0f715f"];
Node8 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 [label="tree2ptr",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$tree_8cpp.html#ad1d692b2c0a86d485a3d096af07632e6",tooltip="if t has a node of type ptr, return it otherwise error"];
Node10 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node11 [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"];
Node6 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 [label="getRecursivness",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursivness_8cpp.html#a5e771832d204d89a67f42e4a0b9b15a5",tooltip="Return the recursivness of a previously annotated signal."];
Node12 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node13 [label="getProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8cpp.html#a665745948013d012bb123e9577c094bd"];
Node13 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node14 [label="tree2int",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$tree_8cpp.html#a523bce65e2a281fe678f2362496061cf",tooltip="if t has a node of type int, return it otherwise error"];
Node14 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node6 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node15 [label="getSigType",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html#a1f41188e4150f54b2fb2caf28a948785",tooltip="retrieve the type annotation of sig"];
Node15 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node16 [label="CTree::getType",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#adfb1030a444053685b84e45c76eabe6a"];
Node6 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 [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..."];
Node17 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node18 [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"];
Node17 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 -> Node19 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node19 [label="getUserData",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$symbol_8hh.html#a603fcb6c07eacf2688c2a8470637d0ff",tooltip="Returns user data."];
Node17 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 [label="isList",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a8bdd73641276e0c0f999f504348eacc1"];
Node20 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node21 [label="isNil",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a2569c3a07bbbfa55e0afde62de62aeec"];
Node21 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node21 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node22 [label="isProj",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8cpp.html#a9b54e9177bb3726e06700649c3e5c05d"];
Node22 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 -> Node23 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node23 [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"];
Node17 -> Node24 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node24 [label="isSigFixDelay",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8cpp.html#af55cdefee258834b3b8f6c070d4970c9"];
Node17 -> Node25 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node25 [label="isSigGen",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8cpp.html#a771720237ca174a55a6823cc6623d602"];
Node17 -> Node26 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node26 [label="isSigPrefix",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8cpp.html#a18895c816779682006a84aede438af29"];
Node17 -> Node27 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node27 [label="name",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$symbol_8hh.html#a8243134fbbd9d924ebbb3f833922e310",tooltip="Returns the name of a symbol."];
Node17 -> Node28 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 [label="tl",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a4075748f5c7156306ec898795313a2e0"];
Node28 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node6 -> Node29 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 [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"];
Node6 -> Node24 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node6 -> Node25 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node6 -> Node26 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node6 -> Node30 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 [label="OccMarkup::setOcc",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$classOccMarkup.html#a6ca170443f96829d5157ee8100a053fe",tooltip="set Occurences property of t"];
Node30 -> Node31 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node31 [label="tree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8hh.html#a61c13e9361cfa80bbb3cd6ce60a8f595"];
Node31 -> Node32 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node32 [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 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node28 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node31 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 -> Node33 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 [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."];
Node33 -> Node34 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 [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."];
Node1 -> Node35 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 [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."];
Node35 -> Node36 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 [label="annotate",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursivness_8cpp.html#ae84af43472c202883669180ea5452a2e",tooltip="Annotate a signal with recursivness."];
Node36 -> Node37 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node37 [label="cons",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#ae1ed153946fcfc025009c6d9c9c40bee"];
Node37 -> Node31 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 -> Node23 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 -> Node38 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node38 [label="position",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$recursivness_8cpp.html#aa9065b39904397aad91ca561ca539b79",tooltip="return the position of a signal in the current recursive environment"];
Node38 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node38 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node38 -> Node28 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 -> Node39 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node39 [label="setProperty",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$list_8cpp.html#a5ead5a3e91af18d8f94e0974990a3c5a"];
Node36 -> Node31 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 -> Node14 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node40 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 [label="ScalarCompiler::sharingAnalysis",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classScalarCompiler.html#a3266c7302f512a4198aa4a047e55f80d"];
Node40 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node41 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 [label="ScalarCompiler::sharingAnnotation",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classScalarCompiler.html#ac30012ee9420900ecf8a28c4e0752142"];
Node41 -> Node42 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node42 [label="ScalarCompiler::getSharingCount",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$classScalarCompiler.html#a7bf169572df60b9383297d85f36e2506"];
Node42 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node42 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 -> Node25 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 -> Node43 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 [label="ScalarCompiler::setSharingCount",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classScalarCompiler.html#a547b625712373da8332abff2c9b90142"];
Node43 -> Node39 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 -> Node31 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node44 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 [label="shprkey",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$shlysis_8cpp.html#a827cae6cc8102ab89e60ae2996fbdbf4",tooltip="Create a specific property key for the sharing count of subtrees of t."];
Node44 -> Node27 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 -> Node31 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 -> Node33 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 -> Node28 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node45 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node45 [label="startTiming",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timing_8cpp.html#a8b3ae592fe54580b95171a2bdabb2641"];
Node1 -> Node46 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node46 [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"];
Node46 -> Node47 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 [label="getInferredType",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html#a83a7b8def43c40265adaf84524cd1b4e",tooltip="Retrieve or infere the type of a term according to its surrounding type environment..."];
Node47 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 -> Node48 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 [label="infereSigType",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html#ab1fbe8c4735851f27be930e33a846599",tooltip="Infere the type of a term according to its surrounding type environment."];
Node48 -> Node19 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 -> Node23 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 -> Node24 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 -> Node25 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 -> Node26 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 -> Node27 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 -> Node28 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 -> Node49 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node49 [label="isInEnv",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html#abccc3f89cdb1eea6b39f6bab51bc34c8",tooltip="search for the type associated to a variable"];
Node49 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node49 -> Node28 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node49 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 -> Node39 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 -> Node50 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node50 [label="setSigType",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$sigtyperules_8cpp.html#a54cf5041f97486308c49f551deb18b65",tooltip="set the type annotation of sig"];
Node47 -> Node31 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
}
