digraph G
{
edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
node [fontname="FreeSans",fontsize="10",shape=record];
rankdir=LR;
Node1 [label="normalizeAddTerm",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="mterm::complexity",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classmterm.html#a693c15c5f4ed5f1aab26ef0910598508",tooltip="return an evaluation of the complexity"];
Node2 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node3 [label="abs",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$interval_8hh.html#a466c6b7b96c9d292b7b4177fae8e0801"];
Node3 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node4 [label="max",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$interval_8hh.html#a1c45761573e6cbc97cfacac78d905016"];
Node2 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node5 [label="getSigOrder",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigorderrules_8cpp.html#a20942fac53773f763795775cfdcfb086",tooltip="retrieve the order annotation (between 0 and 3) of a signal."];
Node5 -> Node6 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node6 [label="getProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8cpp.html#a665745948013d012bb123e9577c094bd"];
Node6 -> Node7 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node7 [label="CTree::getProperty",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classCTree.html#a902b48b83db587f14dbd31999c0f715f"];
Node5 -> Node8 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 [label="infereSigOrder",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$sigorderrules_8cpp.html#a88c56ff370235b402e14543deca129c2",tooltip="Infere the order of a term according to its components."];
Node8 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node9 [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"];
Node8 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node10 [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"];
Node8 -> Node11 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node11 [label="getUserData",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$symbol_8hh.html#a603fcb6c07eacf2688c2a8470637d0ff",tooltip="Returns user data."];
Node8 -> Node12 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node12 [label="hd",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a067ad6f83087b420a1c44e48e56be389"];
Node12 -> Node10 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node13 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node13 [label="xtended::infereSigOrder",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classxtended.html#a1f1bca3c6d30fd3878c8fbe372cd5387"];
Node8 -> 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 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node14 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node15 [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"];
Node8 -> Node16 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node16 [label="isNil",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$list_8hh.html#a2569c3a07bbbfa55e0afde62de62aeec"];
Node16 -> Node9 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node16 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node17 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node17 [label="isProj",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8cpp.html#a9b54e9177bb3726e06700649c3e5c05d"];
Node17 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node18 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node18 [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"];
Node8 -> Node19 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node19 [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"];
Node19 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node8 -> Node20 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node20 [label="isSigAttach",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8cpp.html#ad717966fe25735c5cf799e04338192b4"];
Node8 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node5 -> Node21 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node21 [label="setProperty",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$list_8cpp.html#a5ead5a3e91af18d8f94e0974990a3c5a"];
Node5 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node22 [label="tree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$tree_8hh.html#a61c13e9361cfa80bbb3cd6ce60a8f595"];
Node22 -> Node23 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node23 [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"];
Node5 -> Node24 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node24 [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"];
Node24 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node2 -> Node25 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node25 [label="isOne",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8hh.html#a4569e790c2e0a286bb8ee0f789b01d02"];
Node25 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node26 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node26 [label="aterm::factorize",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classaterm.html#ae6906479134fa7fac1486aa8f1fccd31",tooltip="reorganize the aterm by factorizing d"];
Node26 -> Node27 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node27 [label="mterm::hasDivisor",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classmterm.html#af2c39e6a83ada2076d5be06a83b92fdd",tooltip="return true if this can be divided by n"];
Node27 -> Node28 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node28 [label="contains",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$mterm_8cpp.html#ab40b9c37818acb439b805fd70315bad2",tooltip="We say that a "contains" b if a/b > 0."];
Node26 -> Node29 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 [label="aterm::normalizedTree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classaterm.html#a793687477fd756925c4db2914d8a5820",tooltip="return the corresponding normalized expression tree"];
Node29 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node30 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node30 [label="mterm::isNegative",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classmterm.html#ade41b1583af893a4225b2e379aa4b155",tooltip="true if mterm has a negative coefficient"];
Node30 -> Node31 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node31 [label="isGEZero",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8hh.html#ae00358d412409bc13110732075b826e2"];
Node31 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node32 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node32 [label="isZero",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8hh.html#a73fa3ec5ebd4e47dc0fde2d24cc08c56"];
Node32 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node33 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 [label="mterm::normalizedTree",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classmterm.html#a6aaebc7c5e6ace53d4ff3e996701a99f",tooltip="return the normalized tree of the mterm"];
Node33 -> Node34 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 [label="combineDivLeft",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$mterm_8cpp.html#a071cd18b4fc8aca551d99b5523601328",tooltip="Combine R and A doing R = R*A or R = A."];
Node34 -> Node35 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node35 [label="sigDiv",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8hh.html#aa355af5e231f2e25ed43fa2f3bf6c72f"];
Node35 -> Node36 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node36 [label="sigBinOp",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8cpp.html#a55fa9783de84ed638c37fb43c6a90969"];
Node36 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node34 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 -> Node37 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node37 [label="combineMulDiv",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$mterm_8cpp.html#a964193592967662b693d5bc1f028092f",tooltip="Do M = M * f**q or D = D * f**-q."];
Node37 -> Node38 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node38 [label="combineMulLeft",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$mterm_8cpp.html#aaf3bf9f31ee2676c6a38c698191e1f12",tooltip="Combine R and A doing R = R*A or R = A."];
Node38 -> Node39 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node39 [label="sigMul",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8hh.html#a333591913e073c3acd6b891b6da85298"];
Node39 -> Node36 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 -> Node38 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 -> Node40 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node40 [label="isMinusOne",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8hh.html#afb3b5b685a0984a488b5f3cce80ccf80"];
Node40 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 -> Node25 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 -> Node32 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 -> Node41 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 [label="minusNum",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8cpp.html#a977348aaa96d81b46d68860a901986da"];
Node41 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node41 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 -> Node35 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node33 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node42 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node42 [label="sigSub",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8hh.html#a390c47bc104a8e072c0c75ea0f9524e6"];
Node42 -> Node36 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node43 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 [label="simplifyingAdd",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$aterm_8cpp.html#a7b43caf994f9765584bb6d64beb322fe",tooltip="Add two terms trying to simplify the result."];
Node43 -> Node44 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 [label="addNums",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$signals_8cpp.html#a369bad070ca89f4e4317d20a2414804a"];
Node44 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node44 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 -> Node45 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node45 [label="isNum",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8hh.html#acd2773c99643a2dcc1c5409991c211e9"];
Node45 -> Node15 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 -> Node32 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node43 -> Node46 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node46 [label="sigAdd",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$signals_8hh.html#ab914de7e6da0eea04636dd51ad35240a"];
Node46 -> Node36 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node29 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node26 -> Node33 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node26 -> Node39 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node47 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 [label="aterm::greatestDivisor",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classaterm.html#a52130183f30e9b4e998532ca36536dc7",tooltip="return the greatest divisor of any two mterms"];
Node47 -> Node2 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node47 -> Node48 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 [label="gcd",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$mterm_8cpp.html#a385a9a70763e3f9d9b1c6df07a58d4a2",tooltip="return a mterm that is the greatest common divisor of two mterms"];
Node48 -> Node49 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node49 [label="common",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$mterm_8cpp.html#a0756b2c1f2950a0099b062bde262abed",tooltip="return the "common quantity" of two numbers"];
Node49 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node48 -> Node22 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node50 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node50 [label="mterm::isNotZero",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classmterm.html#a8c72d30bd49ba9cfe32f4a399b808c2f",tooltip="true if mterm doesn't represent number 0"];
Node50 -> Node32 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
Node1 -> Node29 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
}
