diff options
Diffstat (limited to 'src/doc/book/src/img/trpl15-03.svg')
-rw-r--r-- | src/doc/book/src/img/trpl15-03.svg | 109 |
1 files changed, 109 insertions, 0 deletions
diff --git a/src/doc/book/src/img/trpl15-03.svg b/src/doc/book/src/img/trpl15-03.svg new file mode 100644 index 000000000..dbc3b5cdb --- /dev/null +++ b/src/doc/book/src/img/trpl15-03.svg @@ -0,0 +1,109 @@ +<?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.40.1 (20161225.0304) + --> +<!-- Title: %3 Pages: 1 --> + <svg width="750pt" + viewBox="0.00 0.00 2500 700" xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink"> +<g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 148)"> +<title>%3</title> +<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-148 418,-148 418,4 -4,4"/> +<!-- table4 --> +<g id="node1" class="node"> +<title>table4</title> +<text text-anchor="start" x="21" y="-121.8" font-family="Times,serif" font-size="14.00" fill="#000000">b</text> +</g> +<!-- table5 --> +<g id="node2" class="node"> +<title>table5</title> +<polygon fill="none" stroke="#000000" points="104,-116 104,-136 117,-136 117,-116 104,-116"/> +<text text-anchor="start" x="107" y="-121.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text> +<polygon fill="none" stroke="#000000" points="117,-116 117,-136 130,-136 130,-116 117,-116"/> +<text text-anchor="start" x="120" y="-121.8" font-family="Times,serif" font-size="14.00" fill="#000000">  </text> +</g> +<!-- table4->table5 --> +<g id="edge4" class="edge"> +<title>table4:c->table5:pte4</title> +<path fill="none" stroke="#000000" d="M34,-126C34,-126 65.1184,-126 93.9514,-126"/> +<polygon fill="#000000" stroke="#000000" points="94,-129.5001 104,-126 94,-122.5001 94,-129.5001"/> +</g> +<!-- table1 --> +<g id="node4" class="node"> +<title>table1</title> +<polygon fill="none" stroke="#000000" points="194,-62 194,-82 207,-82 207,-62 194,-62"/> +<text text-anchor="start" x="197" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text> +<polygon fill="none" stroke="#000000" points="207,-62 207,-82 220,-82 220,-62 207,-62"/> +<text text-anchor="start" x="210" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">  </text> +</g> +<!-- table5->table1 --> +<g id="edge5" class="edge"> +<title>table5:c->table1:pte0</title> +<path fill="none" stroke="#000000" d="M124,-126C124,-126 149.4376,-81.2672 183.6334,-73.2293"/> +<polygon fill="#000000" stroke="#000000" points="184.4818,-76.6533 194,-72 183.6574,-69.702 184.4818,-76.6533"/> +</g> +<!-- table0 --> +<g id="node3" class="node"> +<title>table0</title> +<text text-anchor="start" x="110.8931" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">a</text> +</g> +<!-- table0->table1 --> +<g id="edge1" class="edge"> +<title>table0:c->table1:pte0</title> +<path fill="none" stroke="#000000" d="M123,-72C123,-72 154.5629,-72 183.8079,-72"/> +<polygon fill="#000000" stroke="#000000" points="184,-75.5001 194,-72 184,-68.5001 184,-75.5001"/> +</g> +<!-- table2 --> +<g id="node5" class="node"> +<title>table2</title> +<polygon fill="none" stroke="#000000" points="281,-62 281,-82 301,-82 301,-62 281,-62"/> +<text text-anchor="start" x="284" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">10</text> +<polygon fill="none" stroke="#000000" points="301,-62 301,-82 314,-82 314,-62 301,-62"/> +<text text-anchor="start" x="304" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">  </text> +</g> +<!-- table1->table2 --> +<g id="edge2" class="edge"> +<title>table1:c->table2:pte1</title> +<path fill="none" stroke="#000000" d="M214,-72C214,-72 243.2667,-72 270.6585,-72"/> +<polygon fill="#000000" stroke="#000000" points="271,-75.5001 281,-72 271,-68.5001 271,-75.5001"/> +</g> +<!-- table3 --> +<g id="node6" class="node"> +<title>table3</title> +<polygon fill="none" stroke="#000000" points="376,-62 376,-82 399,-82 399,-62 376,-62"/> +<text text-anchor="start" x="378.5552" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">Nil</text> +</g> +<!-- table2->table3 --> +<g id="edge3" class="edge"> +<title>table2:c->table3:pte2</title> +<path fill="none" stroke="#000000" d="M308,-72C308,-72 341.8867,-72 365.5509,-72"/> +<polygon fill="#000000" stroke="#000000" points="365.8498,-75.5001 375.8497,-72 365.8497,-68.5001 365.8498,-75.5001"/> +</g> +<!-- table6 --> +<g id="node7" class="node"> +<title>table6</title> +<text text-anchor="start" x="20.8931" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">c</text> +</g> +<!-- table7 --> +<g id="node8" class="node"> +<title>table7</title> +<polygon fill="none" stroke="#000000" points="104,-8 104,-28 117,-28 117,-8 104,-8"/> +<text text-anchor="start" x="107" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text> +<polygon fill="none" stroke="#000000" points="117,-8 117,-28 130,-28 130,-8 117,-8"/> +<text text-anchor="start" x="120" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">  </text> +</g> +<!-- table6->table7 --> +<g id="edge6" class="edge"> +<title>table6:c->table7:pte6</title> +<path fill="none" stroke="#000000" d="M33,-18C33,-18 64.5629,-18 93.8079,-18"/> +<polygon fill="#000000" stroke="#000000" points="94,-21.5001 104,-18 94,-14.5001 94,-21.5001"/> +</g> +<!-- table7->table1 --> +<g id="edge7" class="edge"> +<title>table7:c->table1:pte0</title> +<path fill="none" stroke="#000000" d="M124,-18C124,-18 149.4376,-62.7328 183.6334,-70.7707"/> +<polygon fill="#000000" stroke="#000000" points="183.6574,-74.298 194,-72 184.4818,-67.3467 183.6574,-74.298"/> +</g> +</g> +</svg> |