digraph G
{
  edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
  node [fontname="FreeSans",fontsize="10",shape=record];
  rankdir=LR;
  Node1 [label="mterm::signatureTree",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="mterm::operator+=",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classmterm.html#a6ff1a10da12a077065b506a7f72aa00e",tooltip="add in place an mterm of same signature"];
  Node1 -> Node3 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node3 [label="aterm::operator+=",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classaterm.html#a1c9a56a4d1b506d036b0aa7759e6c29b",tooltip="add in place an mterm"];
  Node1 -> Node4 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node4 [label="mterm::operator-=",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classmterm.html#a2a089dec86947829b7fcdd9c1ca01813",tooltip="add in place an mterm of same signature"];
  Node1 -> Node5 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node5 [label="aterm::operator-=",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classaterm.html#a16f063fc8e70c8e9245ec42fe33d510e",tooltip="add in place an mterm"];
}