docs/developer/images/unification.before.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041)
 -->
<!-- Title: tree Pages: 1 -->
<svg width="306pt" height="188pt"
 viewBox="0.00 0.00 306.00 188.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 184)">
<title>tree</title>
<!-- c0 -->
<g id="node1" class="node"><title>c0</title>
<polygon fill="white" stroke="black" points="172,-180 118,-180 118,-144 172,-144 172,-180"/>
</g>
<!-- d1 -->
<g id="node2" class="node"><title>d1</title>
<polygon fill="white" stroke="black" points="106,-72 133,-99 79,-99 106,-72"/>
</g>
<!-- c0&#45;&#45;d1 -->
<g id="edge1" class="edge"><title>c0&#45;&#45;d1</title>
<path fill="none" stroke="black" d="M135.36,-143.697C127.42,-129.445 116.52,-109.882 110.483,-99.047"/>
</g>
<!-- d4 -->
<g id="node5" class="node"><title>d4</title>
<polygon fill="white" stroke="black" points="185,-72 212,-99 158,-99 185,-72"/>
</g>
<!-- c0&#45;&#45;d4 -->
<g id="edge4" class="edge"><title>c0&#45;&#45;d4</title>
<path fill="none" stroke="black" d="M154.888,-143.697C163.031,-129.445 174.21,-109.882 180.402,-99.047"/>
</g>
<!-- c2 -->
<g id="node3" class="node"><title>c2</title>
<polygon fill="white" stroke="black" points="54,-36 0,-36 0,-0 54,-0 54,-36"/>
<text text-anchor="middle" x="27" y="-21.4" font-family="Times New Roman,serif" font-size="12.00">type = a</text>
<text text-anchor="middle" x="27" y="-8.4" font-family="Times New Roman,serif" font-size="12.00">x = 0.9</text>
</g>
<!-- d1&#45;&#45;c2 -->
<g id="edge2" class="edge"><title>d1&#45;&#45;c2</title>
<path fill="none" stroke="black" d="M96.9377,-80.9701C84.698,-70.1248 62.5649,-50.5132 46.4679,-36.25"/>
</g>
<!-- c3 -->
<g id="node4" class="node"><title>c3</title>
<polygon fill="white" stroke="black" points="140,-36 72,-36 72,-0 140,-0 140,-36"/>
<text text-anchor="middle" x="106" y="-21.4" font-family="Times New Roman,serif" font-size="12.00">¬(type = a)</text>
<text text-anchor="middle" x="106" y="-8.4" font-family="Times New Roman,serif" font-size="12.00">x is null</text>
</g>
<!-- d1&#45;&#45;c3 -->
<g id="edge3" class="edge"><title>d1&#45;&#45;c3</title>
<path fill="none" stroke="black" d="M106,-71.6966C106,-60.8463 106,-46.9167 106,-36.1043"/>
</g>
<!-- c5 -->
<g id="node6" class="node"><title>c5</title>
<polygon fill="white" stroke="black" points="212,-36 158,-36 158,-0 212,-0 212,-36"/>
<text text-anchor="middle" x="185" y="-21.4" font-family="Times New Roman,serif" font-size="12.00">type = a</text>
<text text-anchor="middle" x="185" y="-8.4" font-family="Times New Roman,serif" font-size="12.00">y = 12</text>
</g>
<!-- d4&#45;&#45;c5 -->
<g id="edge5" class="edge"><title>d4&#45;&#45;c5</title>
<path fill="none" stroke="black" d="M185,-71.6966C185,-60.8463 185,-46.9167 185,-36.1043"/>
</g>
<!-- c6 -->
<g id="node7" class="node"><title>c6</title>
<polygon fill="white" stroke="black" points="298,-36 230,-36 230,-0 298,-0 298,-36"/>
<text text-anchor="middle" x="264" y="-21.4" font-family="Times New Roman,serif" font-size="12.00">¬(type = a)</text>
<text text-anchor="middle" x="264" y="-8.4" font-family="Times New Roman,serif" font-size="12.00">y is null</text>
</g>
<!-- d4&#45;&#45;c6 -->
<g id="edge6" class="edge"><title>d4&#45;&#45;c6</title>
<path fill="none" stroke="black" d="M194.062,-80.9701C206.302,-70.1248 228.435,-50.5132 244.532,-36.25"/>
</g>
</g>
</svg>