diff options
Diffstat (limited to 'src/doc/book/second-edition/src/img/trpl15-04.svg')
-rw-r--r-- | src/doc/book/second-edition/src/img/trpl15-04.svg | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/src/doc/book/second-edition/src/img/trpl15-04.svg b/src/doc/book/second-edition/src/img/trpl15-04.svg new file mode 100644 index 000000000..96ad98ca1 --- /dev/null +++ b/src/doc/book/second-edition/src/img/trpl15-04.svg @@ -0,0 +1,55 @@ +<?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.36.0 (20140111.2315) + --> +<!-- Title: %3 Pages: 1 --> +<svg width="633pt" height="498pt" viewBox="0.00 0.00 633.33 498.19" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> +<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 115.566)"> +<title>%3</title> +<polygon fill="white" stroke="none" points="-4,4 -4,-115.566 148,-115.566 148,4 -4,4"/> +<!-- table0 --> +<g id="node2" class="node"><title>table0</title> +<polygon fill="none" stroke="black" points="0,-75.5656 0,-111.566 54,-111.566 54,-75.5656 0,-75.5656"/> +<text text-anchor="middle" x="27" y="-89.8656" font-family="Times,serif" font-size="14.00">a</text> +</g> +<!-- table1 --> +<g id="node4" class="node"><title>table1</title> +<polygon fill="none" stroke="black" points="90,-75.5656 90,-111.566 144,-111.566 144,-75.5656 90,-75.5656"/> +<text text-anchor="middle" x="104" y="-89.8656" font-family="Times,serif" font-size="14.00">5</text> +<polyline fill="none" stroke="black" points="118,-75.5656 118,-111.566 "/> +<text text-anchor="middle" x="131" y="-89.8656" font-family="Times,serif" font-size="14.00"> </text> +</g> +<!-- table2 --> +<g id="node3" class="node"><title>table2</title> +<polygon fill="none" stroke="black" points="90,-20.5656 90,-56.5656 144,-56.5656 144,-20.5656 90,-20.5656"/> +<text text-anchor="middle" x="117" y="-34.8656" font-family="Times,serif" font-size="14.00">b</text> +</g> +<!-- table3 --> +<g id="node1" class="node"><title>table3</title> +<polygon fill="none" stroke="black" points="0,-20.5656 0,-56.5656 54,-56.5656 54,-20.5656 0,-20.5656"/> +<text text-anchor="middle" x="16" y="-34.8656" font-family="Times,serif" font-size="14.00">10</text> +<polyline fill="none" stroke="black" points="32,-20.5656 32,-56.5656 "/> +<text text-anchor="middle" x="43" y="-34.8656" font-family="Times,serif" font-size="14.00"> </text> +</g> +<!-- table0->table1 --> +<g id="edge1" class="edge"><title>table0:ref->table1:data</title> +<path fill="none" stroke="black" d="M54,-93.5656C66,-93.5656 71.25,-93.5656 78.875,-93.5656"/> +<polygon fill="black" stroke="black" points="79,-97.0657 89,-93.5656 79,-90.0657 79,-97.0657"/> +</g> +<!-- table1->table2 --> +<g id="edge2" class="edge"><title>table1:ref->table2:data</title> +<path fill="none" stroke="black" d="M123.1403,-65.1315C127.6523,-67.3402 133,-68.812 133,-75"/> +<polygon fill="black" stroke="black" points="120.233,-67.0895 117,-57 125.8193,-62.8712 120.233,-67.0895"/> +</g> +<!-- table2->table3 --> +<g id="edge3" class="edge"><title>table2:ref->table3:data</title> +<path fill="none" stroke="black" d="M117,-20.5656C117,2.6957 43.7375,5.56532 21.2401,-10.9567"/> +<polygon fill="black" stroke="black" points="18.2098,-9.20375 16,-19.5656 24.1892,-12.8434 18.2098,-9.20375"/> +</g> +<!-- table3->table0 --> +<g id="edge4" class="edge"><title>table3:ref->table0:data</title> +<path fill="none" stroke="black" d="M33.1409,-66.8685C37.6523,-64.6598 43,-63.188 43,-57"/> +<polygon fill="black" stroke="black" points="30.233,-64.9105 27,-75 35.8193,-69.1288 30.233,-64.9105"/> +</g> +</g> +</svg> |