docs/developer/images/unification.after.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="148pt" height="199pt"
 viewBox="0.00 0.00 148.00 199.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 195)">
<title>tree</title>
<!-- c0 -->
<g id="node1" class="node"><title>c0</title>
<polygon fill="white" stroke="black" points="93,-191 39,-191 39,-155 93,-155 93,-191"/>
</g>
<!-- d1 -->
<g id="node2" class="node"><title>d1</title>
<polygon fill="white" stroke="black" points="66,-83 93,-110 39,-110 66,-83"/>
</g>
<!-- c0&#45;&#45;d1 -->
<g id="edge1" class="edge"><title>c0&#45;&#45;d1</title>
<path fill="none" stroke="black" d="M66,-154.697C66,-140.445 66,-120.882 66,-110.047"/>
</g>
<!-- c2 -->
<g id="node3" class="node"><title>c2</title>
<polygon fill="white" stroke="black" points="54,-47 0,-47 0,3.55271e-015 54,3.55271e-015 54,-47"/>
<text text-anchor="middle" x="27" y="-33.4" font-family="Times New Roman,serif" font-size="12.00">type = a</text>
<text text-anchor="middle" x="27" y="-20.4" font-family="Times New Roman,serif" font-size="12.00">x = 0.9</text>
<text text-anchor="middle" x="27" y="-7.4" font-family="Times New Roman,serif" font-size="12.00">y = 12</text>
</g>
<!-- d1&#45;&#45;c2 -->
<g id="edge2" class="edge"><title>d1&#45;&#45;c2</title>
<path fill="none" stroke="black" d="M60.0767,-88.5332C54.4086,-77.5602 45.7022,-60.7055 38.6443,-47.0422"/>
</g>
<!-- c3 -->
<g id="node4" class="node"><title>c3</title>
<polygon fill="white" stroke="black" points="140,-47 72,-47 72,3.55271e-015 140,3.55271e-015 140,-47"/>
<text text-anchor="middle" x="106" y="-33.4" font-family="Times New Roman,serif" font-size="12.00">¬(type = a)</text>
<text text-anchor="middle" x="106" y="-20.4" font-family="Times New Roman,serif" font-size="12.00">x is null</text>
<text text-anchor="middle" x="106" y="-7.4" font-family="Times New Roman,serif" font-size="12.00">y 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="M71.9021,-88.8597C77.6828,-77.9487 86.6604,-61.0034 93.9529,-47.2389"/>
</g>
</g>
</svg>