digraph G { edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"]; node [fontname="FreeSans",fontsize="10",shape=record]; rankdir=LR; Node1 [label="operator*",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="max4",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$interval_8hh.html#a2aa9bf8104ad90fc808be876e4a57ac1"]; Node2 -> Node3 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node3 [label="max",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$interval_8hh.html#a1c45761573e6cbc97cfacac78d905016"]; Node1 -> Node4 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node4 [label="min4",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$interval_8hh.html#a88026ff0719cf67b231a7bd35accd7d6"]; Node4 -> Node5 [color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"]; Node5 [label="min",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$interval_8hh.html#a2f8edc4561e9744ed4233b205fa7ec32"]; }