rust
/
trpl-zh-cn
mirror of https://github.com/KaiserY/trpl-zh-cn
5
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

check to ch01-02

Browse Source
pull/268/head
KaiserY 6 years ago
parent 9a27f95801
commit dcf04d8ffa
17 changed files with 1149 additions and 577 deletions
Show Stats Download Patch File Download Diff File

53
src/ch00-00-introduction.md
Unescape View File

@ -1,8 +1,8 @@
# 介绍 # 介绍
> [ch00-00-introduction.md](https://github.com/rust-lang/book/blob/master/second-edition/src/ch00-00-introduction.md) > [ch00-00-introduction.md](https://github.com/rust-lang/book/blob/master/src/ch00-00-introduction.md)
> <br> > <br>
> commit 7480e811ab5ad8d53a5b854d9b0c7a5a4f58499f > commit 0aa307c7d79d2cbf83cdf5d47780b2904e9cb03f
> 注意：本书的版本与出版的 [The Rust Programming Language][nsprust] > 注意：本书的版本与出版的 [The Rust Programming Language][nsprust]
> 和电子版的 [No Starch Press][nsp] 一致 > 和电子版的 [No Starch Press][nsp] 一致
@ -10,9 +10,7 @@
[nsprust]: https://nostarch.com/rust [nsprust]: https://nostarch.com/rust
[nsp]: https://nostarch.com/ [nsp]: https://nostarch.com/
欢迎阅读 “Rust 程序设计语言”，一本介绍 Rust 的书。 欢迎阅读 “Rust 程序设计语言”，一本介绍 Rust 的书。Rust 程序设计语言能帮助你编写更快、更可靠的软件。在编程语言设计中，高层工程学和底层控制往往不能兼得；Rust 则试图挑战这一矛盾。通过权衡强大的技术能力与优秀的开发体验，Rust 允许你控制底层细节（比如内存使用），并免受以往进行此类控制所经受的所有烦恼。
Rust 程序设计语言能帮你编写出更快、更可靠的软件。在其他编程语言设计中，高层工程学和底层控制往往不能兼得；Rust 则试图挑战该现象。通过权衡强大的技术能力与优秀的开发体验，Rust 允许你控制底层细节（比如内存使用），并免受过去做此类控制所经历的烦恼。
## 谁会使用 Rust ## 谁会使用 Rust
@ -20,11 +18,11 @@ Rust 因多种原因适用于很多开发者。让我们讨论几个最重要的
### 开发者团队 ### 开发者团队
Rust 被证明是可用于大型的、拥有不同层次系统编程知识的开发者团队间协作的高效工具。底层代码中容易出现大量隐晦的 bug，在其他编程语言中，只能通过大量的测试和经验丰富的开发者细心的代码评审来捕获。在 Rust 中，编译器充当了守门员的角色，它拒绝编译存在隐晦 bug 的代码，包括并发 bug。通过与编译器合作，团队将更多的时间聚焦在程序逻辑上，而不是追踪 bug。 Rust 被证明是可用于大型的、拥有不同层次系统编程知识的开发者团队间协作的高效工具。底层代码中容易出现种种隐晦的 bug，在其他编程语言中，只能通过大量的测试和经验丰富的开发者细心的代码评审来捕获它们。在 Rust 中，编译器充当了守门员的角色，它拒绝编译存在这些难以捕获的 bug 的代码，这其中包括并发 bug。通过与编译器合作，团队将更多的时间聚焦在程序逻辑上，而不是追踪 bug。
Rust 也将当前的开发工具带到了系统编程世界： Rust 也为系统编程世界带来了现代化的开发工具：
* Cargo，内置的依赖管理器和构建工具，它能轻松增加、编译和管理依赖，并在 Rust 生态系统中保持一致。 * Cargo，内置的依赖管理器和构建工具，它能轻松增加、编译和管理依赖，并使其在 Rust 生态系统中保持一致。
* Rustfmt 确保开发者遵循一致的代码风格。 * Rustfmt 确保开发者遵循一致的代码风格。
* Rust Language Server 为集成开发环境（IDE）提供了强大的代码补全和内联错误信息功能。 * Rust Language Server 为集成开发环境（IDE）提供了强大的代码补全和内联错误信息功能。
@ -32,7 +30,7 @@ Rust 也将当前的开发工具带到了系统编程世界：
### 学生 ### 学生
Rust 适用于学生或任何对操作系统概念感兴趣的人。通过 Rust，很多人已经了解操作系统开发这样的主题。社区非常欢迎并乐于解答学生们的问题。通过类似于本书这样的努力，Rust 团队希望更多人了解操作系统的概念，特别是编程新手。 Rust 适用于学生和任何对学习操作系统概念感兴趣的人。通过 Rust，很多人已经了解了像操作系统开发这样的主题。社区非常欢迎并乐于解答学生们的问题。通过类似于本书这样的努力，Rust 团队希望更多人了解操作系统的概念，特别是编程新手。
### 公司 ### 公司
@ -44,47 +42,58 @@ Rust 适用于希望构建 Rust 编程语言、社区、开发工具和库的开
### 重视速度和稳定性的开发者 ### 重视速度和稳定性的开发者
Rust 适用于追求编程语言的速度与稳定性的开发者。所谓速度，我们指你用 Rust 开发出的程序运行速度，以及 Rust 提供的程序开发速度。Rust 的编译器检查确保了增加功能和重构代码时的稳定性。这与缺少这些检查的语言形成鲜明对比，开发者通常害怕修改那些脆弱的遗留代码。通过力求零开销抽象（zero-cost abstractions），高层级的特性被编译为底层代码，与手写的一样快，Rust 致力于使安全的代码也同样快速。 Rust 适用于追求编程语言的速度与稳定性的开发者。所谓速度，是指你用 Rust 开发出的程序运行速度，以及 Rust 提供的程序开发速度。Rust 的编译器检查确保了增加功能和重构代码时的稳定性。这与缺少这些检查的语言形成鲜明对比，开发者通常害怕修改那些脆弱的遗留代码。通过力求零开销抽象（zero-cost abstractions），高层级的特性被编译为与手写一样快的底层代码，Rust 致力于使安全的代码也同样快速。
Rust 语言希望能支持更多用户，这里提及的只是最大的利益相关者。总的来讲，Rust 最重要的目标是消除数十年来程序员不得不做的权衡：安全 **与** 生产力、速度 **与** 工程学。请尝试 Rust，看看它的选择是否适合你。 Rust 语言也希望能支持很多其他用户，这里提及的只是最大的利益相关者。总的来讲，Rust 最重要的目标是消除数十年来程序员不得不做的权衡：安全 **与** 生产力、速度 **与** 工程学。请尝试 Rust，看看这个选择是否适合你。
## 谁会阅读本书 ## 本书是写给谁的
本书假设你已经使用其他编程语言编写过代码，但并不假设你使用的是何种语言。我们尝试使这些材料能广泛的适用于来自很多不同编程背景的开发者。我们不会花费很多时间讨论编程 **是** 什么或者如何理解它。如果编程对于你来说是完全陌生的，你最好先阅读专门介绍编程的书籍。 本书假设你已经使用其他编程语言编写过代码，但并不假设你使用的是何种语言。我们尝试使这些材料能广泛的适用于来自很多不同编程背景的开发者。我们不会花费很多时间讨论编程 **是** 什么或者如何理解它。如果编程对于你来说是完全陌生的，你最好先阅读专门介绍编程的书籍。
## 如何阅读本书 ## 如何阅读本书
总体来说，本书假设你会从头到尾顺序阅读。稍后的章节建立在之前章节概念的基础上，同时之前的章节可能不会深入讨论一个主题的细节；通常稍后的章节会重新讨论这些主题。 总体来说，本书假设你会从头到尾顺序阅读。稍后的章节建立在之前章节概念的基础上，同时之前的章节可能不会深入讨论某个主题的细节；通常稍后的章节会重新讨论这些主题。
你会在本书中发现两类章节：概念章节和项目章节。在概念章节中，我们学习 Rust 的某个方面。在项目章节中，我们应用目前所学的知识一同构建小的程序。第二、十二和二十章是项目章节；其余都是概念章节。 你会在本书中发现两类章节：概念章节和项目章节。在概念章节中，我们学习 Rust 的某个方面。在项目章节中，我们应用目前所学的知识一同构建小的程序。第二、十二和二十章是项目章节；其余都是概念章节。
第一章介绍如何安装 Rust，如何编写 Hello world 程序，以及如何使用 Rust 的包管理器和构建工具 Cargo。第二章是 Rust 语言的实战介绍。我们会介绍一些高层级的概念，在稍后章节会详细介绍。如果你希望立刻就动手实践一下，第二章正好适合你。开始阅读时，你甚至可能希望略过第三章，它介绍了 Rust 中类似其他编程语言中的功能，并直接阅读第四章学习 Rust 的所有权系统。然而，如果你是特别重视细节的学习者，并倾向于在继续之前学习每一个细节，你可能希望略过第二章并直接阅读第三章，并在想要构建项目来实践这些细节时再回来阅读第二章。 第一章介绍如何安装 Rust，如何编写 Hello, world! 程序，以及如何使用 Rust 的包管理器和构建工具 Cargo。第二章是 Rust 语言的实战介绍。我们会站在较高的层次介绍一些的概念，在稍后的章节种会做详细介绍。如果你希望立刻就动手实践一下，第二章正好适合你。开始阅读时，你甚至可能希望略过第三章，它介绍了 Rust 中类似其他编程语言中的功能，并直接阅读第四章学习 Rust 的所有权系统。然而，如果你是特别重视细节的学习者，并倾向于在继续之前学习每一个细节，你可能希望略过第二章并直接阅读第三章，并在想要构建项目来实践这些细节时再回来阅读第二章。
第五章讨论结构体和方法，第六章介绍枚举、`match` 表达式和 `if let` 控制流结构。在 Rust 中，你将使用结构体和枚举创建自定义类型。 第五章讨论结构体和方法，第六章介绍枚举、`match` 表达式和 `if let` 控制流结构。在 Rust 中，你将使用结构体和枚举创建自定义类型。
第七章，你会学习 Rust 的模块系统和私有性规则来组织代码和公有应用程序设计接口（Application Programming Interface, API）。第八章讨论了一些标准库提供的通用集合数据结构，比如 vector、字符串和哈希 map。第九章探索了 Rust 的错误处理哲学和技术。 第七章，你会学习 Rust 的模块系统和私有性规则来组织代码和公有应用程序接口（Application Programming Interface, API）。第八章讨论了一些标准库提供的通用集合数据结构，比如 vector、字符串和哈希 map。第九章探索了 Rust 的错误处理哲学和技术。
第十章深入介绍泛型、trait 和生命周期，他们提供了定义出适用于多种类型的代码的能力。第十一章介绍测试，即使 Rust 有安全保证，也需要测试确保程序逻辑正确。第十二章，我们构建了属于自己的在文件中搜索文本的命令行工具 `grep` 的子集功能实现。为此会利用之前章节讨论的很多概念。 第十章深入介绍泛型、trait 和生命周期，他们提供了定义出适用于多种类型的代码的能力。第十一章全部关于测试，即使 Rust 有安全保证，也需要测试确保程序逻辑正确。第十二章，我们构建了属于自己的在文件中搜索文本的命令行工具 `grep` 的子集功能实现。为此会利用之前章节讨论的很多概念。
第十三章探索了闭包和迭代器：Rust 中来自函数式编程语言的功能。第十四章会更深层次的理解 Cargo 并讨论向他人分享库的最佳实践。第十五章讨论标准库提供的智能指针以及启用这些功能的 trait。 第十三章探索了闭包和迭代器：Rust 中来自函数式编程语言的功能。第十四章会更深层次的理解 Cargo 并讨论向他人分享库的最佳实践。第十五章讨论标准库提供的智能指针以及启用这些功能的 trait。
第十六章会学习不同的并发编程模型，并讨论 Rust 如何助你无畏的编写多线程程序。第十七章着眼于比较 Rust 风格与你可能熟悉的面向对象编程原则。 第十六章会学习不同的并发编程模型，并讨论 Rust 如何助你无畏的编写多线程程序。第十七章着眼于比较 Rust 风格与你可能熟悉的面向对象编程原则。
第十八章是一个模式与模式匹配的参考章节，他们是在整个 Rust 程序中表达意图的强大方式。第十九章是一个高级主题大杂烩，包括 unsafe Rust 和更多关于生命周期、 trait、类型、函数和闭包的内容。 第十八章是一个模式与模式匹配的参考章节，他们是在整个 Rust 程序中表达意图的强大方式。第十九章是一个高级主题大杂烩，包括 unsafe Rust、宏和更多关于生命周期、 trait、类型、函数和闭包的内容。
第二十章将会完成一个项目，我们会实现一个底层的、多线程的 web server！
最后是一些附录，包含了一些关于语言的参考风格格式的实用信息。附录 A 介绍了 Rust 的关键字。附录 B 介绍 Rust 的运算符和符号。附录 C 介绍标准库提供的派生 trait。附录 D 涉及了一些有用的开发工具，附录 E 介绍了 Rust 的不同版本。
怎样阅读本书都不会有任何问题：如果你希望略过一些内容，请继续！如果你发现疑惑可能会再跳回之前的章节。请随意阅读。
第二十章会完成一个项目，实现了一个底层的、多线程的 web server！ <span id="ferris"></span>
最后是一些附录，包含了一些关于语言的参考风格格式的实用信息。附录 A 介绍了 Rust 的关键字。附录 B 介绍 Rust 的运算符和符号。附录 C 介绍标准库提供的派生 trait。附录 D 介绍宏。 学习 Rust 的过程中一个重要的部分是学习如何阅读编译器提供的错误信息：它们会指导你编写出能工作的代码。为此，我们会提供很多不能编译的示例代码，以及各个情况下编译器会展示的错误信息。请注意如果随便输入并运行随机的示例代码，它们可能无法编译！请确保阅读任何你尝试运行的示例周围的内容，检视他们是否有意写错。Ferris 也会帮助你区别那些有意无法工作的代码：
怎样阅读本书都不会有任何问题：如果你希望略过一些内容，请继续！如果你发现疑惑可能会再跳回之前的章节。无论怎样都是可以的。 | Ferris | 意义 |
|------------------------------------------------------------------------|--------------------------------------------------|
| <img src="img/ferris/does_not_compile.svg" class="ferris-explain"> | 这些代码不能编译！ |
| <img src="img/ferris/panics.svg" class="ferris-explain"> | 这些代码会 panic！ |
| <img src="img/ferris/unsafe.svg" class="ferris-explain"> | 这些代码块包含不安全（unsafe）代码 |
| <img src="img/ferris/not_desired_behavior.svg" class="ferris-explain"> | 这些代码不会产生期望的行为。 |
学习 Rust 的过程中一个重要的部分是学习如何阅读编译器提供的错误信息：它们会指导你编写出能工作的代码。为此，我们会提供很多不能编译的示例代码，以及各个情况下编译器会展示的错误信息。请注意如果随便输入并运行随机的示例代码，它们可能无法编译！请确保阅读任何你尝试运行的示例周围的内容，检视他们是否有意写错。在大部分情况，我们会指引你将任何不能编译的代码纠正为正确版本。 在大部分情况，我们会指引你将任何不能编译的代码纠正为正确版本。
## 源代码 ## 源代码
生成本书的源码可以在 [GitHub][book] 上找到。 生成本书的源码可以在 [GitHub][book] 上找到。
[book]: https://github.com/rust-lang/book/tree/master/second-edition/src [book]: https://github.com/rust-lang/book/tree/master/src
> 译者注：本译本的 [GitHub 仓库][trpl-zh-cn]，欢迎 Issue 和 PR :) > 译者注：本译本的 [GitHub 仓库][trpl-zh-cn]，欢迎 Issue 和 PR :)

6
src/ch01-00-getting-started.md
Unescape View File

@ -1,10 +1,10 @@
# 入门指南 # 入门指南
> [ch01-00-getting-started.md](https://github.com/rust-lang/book/blob/master/second-edition/src/ch01-00-getting-started.md) > [ch01-00-getting-started.md](https://github.com/rust-lang/book/blob/master/src/ch01-00-getting-started.md)
> <br> > <br>
> commit 7480e811ab5ad8d53a5b854d9b0c7a5a4f58499f > commit 1fedfc4b96c2017f64ecfcf41a0a07e2e815f24f
让我们开始 Rust 之旅！有很多内容要学，但每次旅程总有起点。在本章中，我们会讨论： 让我们开始 Rust 之旅！有很多内容需要学习，但每次旅程总有起点。在本章中，我们会讨论：
* 在 Linux、macOS 和 Windows 上安装 Rust * 在 Linux、macOS 和 Windows 上安装 Rust
* 编写一个打印 `Hello, world!` 的程序 * 编写一个打印 `Hello, world!` 的程序

18
src/ch01-01-installation.md
Unescape View File

@ -1,18 +1,18 @@
## 安装 ## 安装
> [ch01-01-installation.md](https://github.com/rust-lang/book/blob/master/second-edition/src/ch01-01-installation.md) > [ch01-01-installation.md](https://github.com/rust-lang/book/blob/master/src/ch01-01-installation.md)
> <br> > <br>
> commit 7480e811ab5ad8d53a5b854d9b0c7a5a4f58499f > commit 1fedfc4b96c2017f64ecfcf41a0a07e2e815f24f
第一步是安装 Rust。我们通过 `rustup` 下载 Rust，这是一个管理 Rust 版本和相关工具的命令行工具。下载时需要联网。 第一步是安装 Rust。我们通过 `rustup` 下载 Rust，这是一个管理 Rust 版本和相关工具的命令行工具。下载时需要联网。
> 注意：如果出于某些理由你倾向于不使用 `rustup`，请到 [Rust 安装页面](https://www.rust-lang.org/install.html) 查看其它安装选项。 > 注意：如果你出于某些理由倾向于不使用 `rustup`，请到 [Rust 安装页面](https://www.rust-lang.org/install.html) 查看其它安装选项。
接下来的步骤会安装最新的稳定版 Rust 编译器。本书所有示例和输出采用稳定版 Rust 1.21.0。Rust 的稳定性确保本书所有示例在最新版本的 Rust 中能够继续编译。不同版本的输出可能略有不同，因为 Rust 经常改进错误信息和警告。也就是说，通过这些步骤安装的最新稳定版 Rust，能正常运行本书中的内容。 接下来的步骤会安装最新的稳定版 Rust 编译器。Rust 的稳定性确保本书所有示例在最新版本的 Rust 中能够继续编译。不同版本的输出可能略有不同，因为 Rust 经常改进错误信息和警告。也就是说，任何通过这些步骤安装的最新稳定版 Rust，都应该能正常运行本书中的内容。
> ### 命令行标记 > ### 命令行标记
> >
> 本章和全书中，我们会展示在终端中使用的命令。所有需要输入到终端的行都以 `$` 开头。但无需输入`$`；它代表每行命令的起点。不以 `$` 起始的行通常展示之前命令的输出。另外，PowerShell 专用的示例会采用 `>` 而不是 `$`。 > 本章和全书中，我们会展示一些在终端中使用的命令。所有需要输入到终端的行都以 `$` 开头。但无需输入`$`；它代表每行命令的起点。不以 `$` 起始的行通常展示之前命令的输出。另外，PowerShell 专用的示例会采用 `>` 而不是 `$`。
### 在 Linux 或 macOS 上安装 `rustup` ### 在 Linux 或 macOS 上安装 `rustup`
@ -46,12 +46,12 @@ $ export PATH="$HOME/.cargo/bin:$PATH"
### 在 Windows 上安装 `rustup` ### 在 Windows 上安装 `rustup`
在 Windows 上，前往 [https://www.rust-lang.org/install.html][install] 并按照说明安装 Rust。在安装过程的某个步骤，你会收到一个信息说明为什么需要安装 Visual Studio 2013 或之后版本的 C++ build tools。获取这些 build tools 最方便的方法是安装 [Build Tools for Visual Studio 2017][visualstudio]。这个工具在 “Other Tools and Frameworks” 部分。 在 Windows 上，前往 [https://www.rust-lang.org/install.html][install] 并按照说明安装 Rust。在安装过程的某个步骤，你会收到一个信息说明为什么需要安装 Visual Studio 2013 或更新版本的 C++ build tools。获取这些 build tools 最方便的方法是安装 [Build Tools for Visual Studio 2017][visualstudio]。这个工具在 “Other Tools and Frameworks” 部分。
[install]: https://www.rust-lang.org/install.html [install]: https://www.rust-lang.org/install.html
[visualstudio]: https://www.visualstudio.com/downloads/ [visualstudio]: https://www.visualstudio.com/downloads/
本书的余下部分，使用能同时运行于 *cmd.exe* 和 PowerShell 的命令。如果存在特定差异，我们会解释使用哪一个。 本书的余下部分会使用能同时运行于 *cmd.exe* 和 PowerShell 的命令。如果存在特定差异，我们会解释使用哪一个。
### 更新和卸载 ### 更新和卸载
@ -88,10 +88,10 @@ rustc x.y.z (abcabcabc yyyy-mm-dd)
[users]: https://users.rust-lang.org/ [users]: https://users.rust-lang.org/
[stackoverflow]: http://stackoverflow.com/questions/tagged/rust [stackoverflow]: http://stackoverflow.com/questions/tagged/rust
恭喜入坑！（此处应该有掌声！） > 译者：恭喜入坑！（此处应该有掌声！）
### 本地文档 ### 本地文档
安装程序也自带一份文档的本地拷贝，可以离线阅读。运行 `rustup doc` 在浏览器中查看本地文档。 安装程序也自带一份文档的本地拷贝，可以离线阅读。运行 `rustup doc` 在浏览器中查看本地文档。
任何时候，如果你拿不准标准库中的类型或函数的用途和用法，请查看应用程序接口（application programming interface，API）文档！ 任何时候，如果你拿不准标准库中的类型或函数的用途和用法，请查阅应用程序接口（application programming interface，API）文档！

29
src/ch01-02-hello-world.md
Unescape View File

@ -1,10 +1,10 @@
## Hello, World! ## Hello, World!
> [ch01-02-hello-world.md](https://github.com/rust-lang/book/blob/master/second-edition/src/ch01-02-hello-world.md) > [ch01-02-hello-world.md](https://github.com/rust-lang/book/blob/master/src/ch01-02-hello-world.md)
> <br> > <br>
> commit 5dfa983aa8fca89f8b70cafe58ab8417491d2018 > commit 1fedfc4b96c2017f64ecfcf41a0a07e2e815f24f
既然安装好了 Rust，我们来编写第一个 Rust 程序。当学习一门新语言的时候，使用该语言在屏幕上打印 `Hello, world!` 是一项传统，这里我们将沿用这个传统！ 既然安装好了 Rust，我们来编写第一个 Rust 程序。当学习一门新语言的时候，使用该语言在屏幕上打印 `Hello, world!` 是一项传统，我们将沿用这一传统！
> 注意：本书假设你熟悉基本的命令行操作。Rust 对于你的编辑器、工具，以及代码位于何处并没有特定的要求，如果你更倾向于使用集成开发环境（IDE），而不是命令行，请尽管使用你喜欢的 IDE。目前很多 IDE 已经不同程度的支持 Rust；查看 IDE 文档了解更多细节。最近，Rust 团队已经致力于提供强大的 IDE 支持，而且进展飞速！ > 注意：本书假设你熟悉基本的命令行操作。Rust 对于你的编辑器、工具，以及代码位于何处并没有特定的要求，如果你更倾向于使用集成开发环境（IDE），而不是命令行，请尽管使用你喜欢的 IDE。目前很多 IDE 已经不同程度的支持 Rust；查看 IDE 文档了解更多细节。最近，Rust 团队已经致力于提供强大的 IDE 支持，而且进展飞速！
@ -89,7 +89,7 @@ fn main() {
这几行定义了一个 Rust 函数。`main` 函数是一个特殊的函数：在可执行的 Rust 程序中，它总是最先运行的代码。第一行代码声明了一个叫做 `main` 的函数，它没有参数也没有返回值。如果有参数的话，它们的名称应该出现在小括号中，`()`。 这几行定义了一个 Rust 函数。`main` 函数是一个特殊的函数：在可执行的 Rust 程序中，它总是最先运行的代码。第一行代码声明了一个叫做 `main` 的函数，它没有参数也没有返回值。如果有参数的话，它们的名称应该出现在小括号中，`()`。
还须注意，函数体被包裹在花括号中，`{}`。Rust 要求所有函数体都要用花括号包裹起来（译者注：有些语言，当函数体只有一行时可以省略花括号，但在 Rust 中是不行的）。一般来说，将左花括号与函数声明置于同一行并以空格分隔，是良好的代码风格。 还须注意，函数体被包裹在花括号中，`{}`。Rust 要求所有函数体都要用花括号包裹起来。一般来说，将左花括号与函数声明置于同一行并以空格分隔，是良好的代码风格。
在编写本书的时候，一个叫做 `rustfmt` 的自动格式化工具正在开发中。如果你希望在 Rust 项目中保持一种标准风格，`rustfmt` 会将代码格式化为特定的风格。Rust 团队计划最终将该工具包含在标准 Rust 发行版中，就像 `rustc`。所以根据你阅读本书的时间，它可能已经安装到你的电脑中了！检查在线文档以了解更多细节。 在编写本书的时候，一个叫做 `rustfmt` 的自动格式化工具正在开发中。如果你希望在 Rust 项目中保持一种标准风格，`rustfmt` 会将代码格式化为特定的风格。Rust 团队计划最终将该工具包含在标准 Rust 发行版中，就像 `rustc`。所以根据你阅读本书的时间，它可能已经安装到你的电脑中了！检查在线文档以了解更多细节。
@ -101,7 +101,7 @@ fn main() {
这行代码完成这个简单程序的所有工作：在屏幕上打印文本。这里有四个重要的细节需要注意。首先 Rust 的缩进风格使用 4 个空格，而不是 1 个制表符（tab）。 这行代码完成这个简单程序的所有工作：在屏幕上打印文本。这里有四个重要的细节需要注意。首先 Rust 的缩进风格使用 4 个空格，而不是 1 个制表符（tab）。
第二，`println!` 调用了一个 Rust 宏（macro）。如果是调用函数，则应输入 `println`（没有`!`）。我们将在附录 D 中详细讨论宏。现在你只需记住，当看到符号 `!` 的时候，就意味着调用的是宏而不是普通函数。 第二，`println!` 调用了一个 Rust 宏（macro）。如果是调用函数，则应输入 `println`（没有`!`）。我们将在第十九章详细讨论宏。现在你只需记住，当看到符号 `!` 的时候，就意味着调用的是宏而不是普通函数。
第三，`"Hello, world!"` 是一个字符串。我们把这个字符串作为一个参数传递给 `println!`，字符串将被打印到屏幕上。 第三，`"Hello, world!"` 是一个字符串。我们把这个字符串作为一个参数传递给 `println!`，字符串将被打印到屏幕上。
@ -119,17 +119,26 @@ $ rustc main.rs
如果你有 C 或 C++ 背景，就会发现这与 `gcc` 和 `clang` 类似。编译成功后，Rust 会输出一个二进制的可执行文件。 如果你有 C 或 C++ 背景，就会发现这与 `gcc` 和 `clang` 类似。编译成功后，Rust 会输出一个二进制的可执行文件。
在 Linux、macOS 或 Windows 的 PowerShell 上，在 shell 中输入 `ls` 命令就可看见这个可执行文件，如下： 在 Linux、macOS 或 Windows 的 PowerShell 上，在 shell 中输入 `ls` 命令也可以看见这个可执行文件，如下：
```text ```text
$ ls > ls
main main.rs
Directory: Path:\to\the\project
Mode LastWriteTime Length Name
---- ------------- ------ ----
-a---- 6/1/2018 7:31 AM 137728 main.exe
-a---- 6/1/2018 7:31 AM 1454080 main.pdb
-a---- 6/1/2018 7:31 AM 14 main.rs
``` ```
在 Windows 的 CMD 上，则输入如下内容： 在 Windows 的 CMD 上，则输入如下内容：
```cmd ```cmd
> dir /B %= the /B option says to only show the file names =% > dir /B %= /B 参数表示只显示文件名 =%
main.exe main.exe
main.pdb main.pdb
main.rs main.rs
@ -138,7 +147,7 @@ main.rs
这展示了扩展名为 *.rs* 的源文件、可执行文件（在 Windows 下是 *main.exe*，其它平台是 *main*），以及当使用 CMD 时会有一个包含调试信息、扩展名为 *.pdb* 的文件。从这里开始运行 *main* 或 *main.exe* 文件，如下： 这展示了扩展名为 *.rs* 的源文件、可执行文件（在 Windows 下是 *main.exe*，其它平台是 *main*），以及当使用 CMD 时会有一个包含调试信息、扩展名为 *.pdb* 的文件。从这里开始运行 *main* 或 *main.exe* 文件，如下：
```text ```text
$ ./main # or .\main.exe on Windows $ ./main # Windows 是 .\main.exe
``` ```
如果 *main.rs* 是上文所述的 Hello, world! 程序，它将会在终端上打印 `Hello, world!`。 如果 *main.rs* 是上文所述的 Hello, world! 程序，它将会在终端上打印 `Hello, world!`。

72
src/img/ferris/does_not_compile.svg
Unescape View File

@ -0,0 +1,72 @@
<?xml version="1.0" encoding="utf-8"?>
<!-- Generator: Adobe Illustrator 15.1.0, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
width="1259px" height="847px" viewBox="0 0 1259 847" enable-background="new 0 0 1259 847" xml:space="preserve">
<!--<rect fill="#FFFFFF" width="1259" height="847"/>-->
<path fill="#8F1F1D" d="M706.403,338.05c-131.633,0-251.228,15.825-339.77,41.615v220.298
c88.542,25.79,208.137,41.614,339.77,41.614c150.657,0,285.535-20.729,376.134-53.402V391.457
C991.938,358.781,857.06,338.05,706.403,338.05"/>
<path fill="#8F1F1D" d="M1088.423,537.442c-3.856-10.663-4.629-24.154-1.36-37.162c5.85-23.289,22.421-36.198,37.013-28.833
c3.618,1.827,6.773,4.73,9.387,8.418c0.239-0.001,0.479,0,0.715,0.016c0,0,44.552,53.106,3.313,116.003
c-0.896,3.569-76.534,91.718-94.043,94.524C1031.987,692.244,1058.338,600.41,1088.423,537.442"/>
<path fill="#8F1F1D" d="M357.479,527.021c5.3-9.631,7.158-22.788,4.217-36.426c-5.266-24.416-23.91-41.109-41.642-37.285
c-4.398,0.948-8.325,3.072-11.666,6.099c-0.282-0.059-0.564-0.113-0.845-0.153c0,0-56.292,41.952-12.057,113.924
c0.805,3.741,83.851,108.838,104.311,115.764C413.188,693.475,388.55,596.418,357.479,527.021"/>
<path fill="#E23A26" d="M280.467,535.066l0.007,0.015C280.659,535.226,280.831,535.357,280.467,535.066"/>
<path fill="#E33B26" d="M1174.119,457.903c-0.88-3.064-1.756-6.126-2.662-9.162l30.683-44.451c3.13-4.522,3.771-10.398,1.73-15.555
c-2.04-5.13-6.49-8.81-11.76-9.71l-51.887-8.805c-2.008-4.102-4.115-8.142-6.229-12.15l21.797-49.903
c2.243-5.087,1.769-10.995-1.203-15.608c-2.961-4.636-7.99-7.344-13.349-7.133l-52.656,1.913c-2.727-3.55-5.496-7.068-8.322-10.521
l12.102-53.49c1.225-5.433-0.322-11.118-4.104-15.064c-3.762-3.932-9.229-5.559-14.426-4.283l-51.289,12.608
c-3.321-2.935-6.699-5.833-10.114-8.673l1.849-54.914c0.197-5.559-2.394-10.842-6.845-13.925
c-4.445-3.104-10.093-3.573-14.955-1.266l-47.848,22.747c-3.854-2.21-7.728-4.4-11.644-6.517l-8.455-54.115
c-0.857-5.483-4.386-10.139-9.326-12.266c-4.923-2.137-10.568-1.447-14.891,1.808l-42.659,32.007
c-4.2-1.395-8.419-2.732-12.692-4.011l-18.386-51.316c-1.87-5.229-6.182-9.071-11.438-10.151c-5.238-1.072-10.63,0.742-14.263,4.802
L764.97,100.97c-4.342-0.5-8.685-0.956-13.043-1.331l-27.723-46.713c-2.811-4.732-7.771-7.612-13.116-7.612
c-5.334,0-10.304,2.88-13.09,7.612l-27.733,46.713c-4.358,0.375-8.722,0.831-13.056,1.331l-35.91-40.171
c-3.636-4.06-9.047-5.874-14.268-4.802c-5.255,1.092-9.573,4.922-11.433,10.151l-18.402,51.316
c-4.26,1.279-8.481,2.627-12.691,4.011l-42.644-32.007c-4.336-3.266-9.98-3.955-14.916-1.808c-4.919,2.127-8.461,6.783-9.313,12.266
l-8.461,54.115c-3.914,2.117-7.789,4.294-11.653,6.517l-47.842-22.747c-4.858-2.316-10.529-1.838-14.954,1.266
c-4.445,3.083-7.042,8.366-6.84,13.925l1.835,54.914c-3.405,2.84-6.774,5.738-10.112,8.673l-51.279-12.608
c-5.211-1.265-10.67,0.351-14.441,4.283c-3.795,3.946-5.332,9.631-4.113,15.064l12.079,53.49c-2.802,3.467-5.575,6.971-8.293,10.521
l-52.655-1.913c-5.314-0.157-10.386,2.497-13.356,7.133c-2.974,4.613-3.425,10.521-1.211,15.608l21.814,49.903
c-2.119,4.008-4.224,8.048-6.249,12.15l-51.882,8.805c-5.271,0.888-9.715,4.566-11.765,9.71c-2.037,5.157-1.375,11.033,1.735,15.555
l30.69,44.451c-0.236,0.784-0.455,1.576-0.69,2.364l-16.863,17.911l45.341,64.05c0,0,435.152,200.731,838.797,3.396
C1163.372,528.189,1174.119,457.903,1174.119,457.903"/>
<path d="M788.629,436.277c0,0,54.108-46.602,95.626,11.5c0,0,29.173,74.328-12.593,104.708c0,0-67.353,41.473-95.627-11.5
C776.035,540.985,739.67,497.66,788.629,436.277"/>
<path fill="#FFFFFF" d="M843.648,464.356c-2.452,20.385-16.456,35.467-31.276,33.684c-14.817-1.781-24.846-19.755-22.395-40.14
c2.452-20.385,16.457-35.468,31.274-33.687C836.071,425.997,846.1,443.971,843.648,464.356"/>
<path d="M572.949,399.315c0,0,86.384-26.449,99.021,57.297c0,0,12.086,97.294-79.356,91.705
C592.613,548.317,479.508,512.09,572.949,399.315"/>
<rect x="181" y="45" fill="none" width="1060" height="782"/>
<path fill="#FFFFFF" d="M611.925,441.324c-2.528,21.021-16.969,36.581-32.257,34.742c-15.281-1.837-25.624-20.378-23.095-41.399
c2.529-21.026,16.973-36.581,32.253-34.743C604.113,401.763,614.454,420.298,611.925,441.324"/>
<path fill="#E33B26" d="M292.602,544.216c10.967-12.463,37.611-27.557,35.57-46.282c-3.653-33.526-31.456-57.999-62.099-54.658
c-7.599,0.827-14.658,3.292-20.923,7.035c-0.463-0.106-0.925-0.211-1.388-0.294c0,0-103.632,50.873-44.564,152.657
c0.557,5.137,117.847,155.668,150.787,167.131C371.544,777.307,330.074,641.165,292.602,544.216"/>
<path fill="#E33B26" d="M1134.549,539.673c-12.692-10.7-46.162-20.418-46.92-39.238c-1.355-33.697,22.512-62.021,53.312-63.26
c7.638-0.308,14.983,1.083,21.734,3.857c0.442-0.174,0.884-0.347,1.329-0.497c0,0,110.025,34.951,66.695,144.366
c0.21,5.163-93.468,171.416-124.345,187.635C1086.146,783.151,1111.861,641.105,1134.549,539.673"/>
<rect x="181.06" y="45.314" fill="none" width="1059.75" height="781.686"/>
<path fill="#E33B26" d="M372.142,545.559c0,0-1.383,137.296,133.166,167.933l28.054-56.363c0,0-97.495,9.431-104.995-111.569
H372.142"/>
<rect x="181" y="45" fill="none" width="1060" height="782"/>
<path fill="#E33B26" d="M1057.362,537.246c0,0,1.382,137.296-133.167,167.933l-28.055-56.363c0,0,97.495,9.431,104.995-111.569
H1057.362"/>
<path fill="#E33B26" d="M960.167,677.279c-20.25-48.941-85.595-68.373-145.951-43.399c-53.126,21.98-84.637,71.031-77.624,115.845
c41.946-0.652,86.94-3.371,130.736-9.718c0,0-25.837,41.763-63.857,78.211c25.566,6.599,55.383,4.768,84.076-7.104
C947.904,786.141,980.417,726.221,960.167,677.279"/>
<path fill="#E33B26" d="M585.746,745.985c0,0,55.203,7.295,130.67,9.155c6.61-47.511-29.38-97.792-86.801-117.242
c-63.438-21.488-128.989,2.792-146.414,54.231c-17.425,51.44,19.876,110.561,83.314,132.049
c28.121,9.526,56.653,10.049,81.229,3.207C610.833,790.881,585.746,745.985,585.746,745.985"/>
<rect x="181.06" y="45.314" fill="none" width="1059.75" height="781.686"/>
<g>
<path d="M92.314,318.146l0.072-12.563c-0.359-24.665,8.95-49.384,31.787-73.989c16.267-18.129,29.512-33.493,30.216-49.411
c0.747-16.883-9.835-28.95-33.932-30.499c-15.918-0.704-35.468,4.231-48.394,12.359l-14.075-53.303
c18.296-9.34,47.182-17.729,81.429-16.214c63.672,2.816,91.538,39.33,89.768,79.366c-1.621,36.659-25.84,59.753-45.066,79.202
c-18.24,19.009-26.789,37.48-27.267,59.207l-0.384,8.683L92.314,318.146z M76.808,384.64c1.152-26.048,19.789-43.105,44.872-41.997
c26.047,1.152,42.14,19.746,41.471,45.815c-1.109,25.083-18.824,43.148-45.353,41.975C92.232,429.303,75.698,409.723,76.808,384.64
z"/>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 6.6 KiB

75
src/img/ferris/not_desired_behavior.svg
Unescape View File

@ -0,0 +1,75 @@
<?xml version="1.0" encoding="utf-8"?>
<!-- Generator: Adobe Illustrator 15.1.0, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
width="1354px" height="819px" viewBox="0 0 1354 819" enable-background="new 0 0 1354 819" xml:space="preserve">
<!--<rect fill="#FFFFFF" width="1354" height="819"/>-->
<path fill="#8F1F1D" d="M803.403,312.05c-131.633,0-251.228,15.825-339.77,41.615v220.298
c88.542,25.79,208.137,41.614,339.77,41.614c150.657,0,285.535-20.729,376.134-53.402V365.457
C1088.938,332.781,954.06,312.05,803.403,312.05"/>
<path fill="#8F1F1D" d="M1185.423,511.442c-3.856-10.663-4.629-24.154-1.36-37.162c5.85-23.289,22.421-36.198,37.013-28.833
c3.618,1.827,6.773,4.73,9.387,8.418c0.239-0.001,0.479,0,0.715,0.016c0,0,44.552,53.106,3.313,116.003
c-0.896,3.569-76.534,91.718-94.043,94.524C1128.987,666.244,1155.338,574.41,1185.423,511.442"/>
<path fill="#8F1F1D" d="M454.479,501.021c5.3-9.631,7.158-22.788,4.217-36.426c-5.266-24.416-23.91-41.109-41.642-37.285
c-4.398,0.948-8.325,3.072-11.666,6.099c-0.282-0.059-0.564-0.113-0.845-0.153c0,0-56.292,41.952-12.057,113.924
c0.805,3.741,83.851,108.838,104.311,115.764C510.188,667.475,485.55,570.418,454.479,501.021"/>
<path fill="#E23A26" d="M375.467,507.066l0.007,0.015C375.659,507.226,375.831,507.357,375.467,507.066"/>
<path fill="#E33B26" d="M1271.119,431.903c-0.88-3.064-1.756-6.126-2.662-9.162l30.683-44.451c3.13-4.522,3.771-10.398,1.73-15.555
c-2.04-5.13-6.49-8.81-11.76-9.71l-51.887-8.805c-2.008-4.102-4.115-8.142-6.229-12.15l21.797-49.903
c2.243-5.087,1.769-10.995-1.203-15.608c-2.961-4.636-7.99-7.344-13.349-7.133l-52.656,1.913c-2.727-3.55-5.496-7.068-8.322-10.521
l12.102-53.49c1.225-5.433-0.322-11.118-4.104-15.064c-3.762-3.932-9.229-5.559-14.426-4.283l-51.289,12.608
c-3.321-2.935-6.699-5.833-10.114-8.673l1.849-54.914c0.197-5.559-2.394-10.842-6.845-13.925
c-4.445-3.104-10.093-3.573-14.955-1.266l-47.848,22.747c-3.854-2.21-7.728-4.4-11.644-6.517l-8.455-54.115
c-0.857-5.483-4.386-10.139-9.326-12.266c-4.923-2.137-10.568-1.447-14.891,1.808l-42.659,32.007
c-4.2-1.395-8.419-2.732-12.692-4.011l-18.386-51.316c-1.87-5.229-6.182-9.071-11.438-10.151c-5.238-1.072-10.63,0.742-14.263,4.802
L861.97,74.97c-4.342-0.5-8.685-0.956-13.043-1.331l-27.723-46.713c-2.811-4.732-7.771-7.612-13.116-7.612
c-5.334,0-10.304,2.88-13.09,7.612l-27.733,46.713c-4.358,0.375-8.722,0.831-13.056,1.331l-35.91-40.171
c-3.636-4.06-9.047-5.874-14.268-4.802c-5.255,1.092-9.573,4.922-11.433,10.151l-18.402,51.316
c-4.26,1.279-8.481,2.627-12.691,4.011l-42.644-32.007c-4.336-3.266-9.98-3.955-14.916-1.808c-4.919,2.127-8.461,6.783-9.313,12.266
l-8.461,54.115c-3.914,2.117-7.789,4.294-11.653,6.517l-47.842-22.747c-4.858-2.316-10.529-1.838-14.954,1.266
c-4.445,3.083-7.042,8.366-6.84,13.925l1.835,54.914c-3.405,2.84-6.774,5.738-10.112,8.673l-51.279-12.608
c-5.211-1.265-10.67,0.351-14.441,4.283c-3.795,3.946-5.332,9.631-4.113,15.064l12.079,53.49c-2.802,3.467-5.575,6.971-8.293,10.521
l-52.655-1.913c-5.314-0.157-10.386,2.497-13.356,7.133c-2.974,4.613-3.425,10.521-1.211,15.608l21.814,49.903
c-2.119,4.008-4.224,8.048-6.249,12.15l-51.882,8.805c-5.271,0.888-9.715,4.566-11.765,9.71c-2.037,5.157-1.375,11.033,1.735,15.555
l30.69,44.451c-0.236,0.784-0.455,1.576-0.69,2.364l-16.863,17.911l45.341,64.05c0,0,435.152,200.731,838.797,3.396
C1260.372,502.189,1271.119,431.903,1271.119,431.903"/>
<path d="M886.303,395.759c0,0,48.157-52.729,96.315,0c0,0,37.84,70.312,0,105.463c0,0-61.917,49.218-96.315,0
C886.303,501.222,845.024,462.55,886.303,395.759"/>
<path fill="#FFFFFF" d="M942.057,415.32c0,20.532-12.103,37.179-27.029,37.179c-14.924,0-27.027-16.646-27.027-37.179
s12.104-37.18,27.027-37.18C929.954,378.14,942.057,394.788,942.057,415.32"/>
<path d="M671.365,381.361c0,0,82.608-36.576,105.154,45.062c0,0,23.618,95.154-67.837,100.525
C708.682,526.948,592.06,504.486,671.365,381.361"/>
<rect x="278" y="19" fill="none" width="1060" height="782"/>
<g>
<defs>
<rect id="SVGID_1_" x="278.06" y="19.314" width="1059.75" height="781.686"/>
</defs>
<clipPath id="SVGID_2_">
<use xlink:href="#SVGID_1_" overflow="visible"/>
</clipPath>
<path clip-path="url(#SVGID_2_)" fill="#FFFFFF" d="M712.855,416.668c0,21.173-12.48,38.346-27.877,38.346
c-15.391,0-27.874-17.173-27.874-38.346c0-21.178,12.483-38.346,27.874-38.346C700.375,378.322,712.855,395.49,712.855,416.668"/>
<path clip-path="url(#SVGID_2_)" fill="#E33B26" d="M389.602,518.216c10.967-12.463,37.611-27.557,35.57-46.282
c-3.653-33.526-31.456-57.999-62.099-54.658c-7.599,0.827-14.658,3.292-20.923,7.035c-0.463-0.106-0.925-0.211-1.388-0.294
c0,0-103.632,50.873-44.564,152.657c0.557,5.137,117.847,155.668,150.787,167.131C468.544,751.307,427.074,615.165,389.602,518.216
"/>
<path clip-path="url(#SVGID_2_)" fill="#E33B26" d="M1231.549,513.673c-12.692-10.7-46.162-20.418-46.92-39.238
c-1.355-33.697,22.512-62.021,53.312-63.26c7.638-0.308,14.983,1.083,21.734,3.857c0.442-0.174,0.884-0.347,1.329-0.497
c0,0,110.025,34.951,66.695,144.366c0.21,5.163-93.468,171.416-124.345,187.635
C1183.146,757.151,1208.861,615.105,1231.549,513.673"/>
</g>
<rect x="278" y="19" fill="none" width="1060" height="782"/>
<path fill="#E33B26" d="M1154.362,514.558c0,0,1.382,137.296-133.167,167.933l-28.055-56.363c0,0,97.495,9.431,104.995-111.569
H1154.362"/>
<path fill="#E33B26" d="M1057.167,654.591c-20.25-48.941-85.595-68.373-145.951-43.399c-53.126,21.98-84.637,71.031-77.624,115.845
c41.946-0.652,86.94-3.371,130.736-9.718c0,0-25.837,41.763-63.857,78.211c25.566,6.599,55.383,4.768,84.076-7.104
C1044.904,763.452,1077.417,703.532,1057.167,654.591"/>
<g>
<path fill="#E33B26" d="M396.635,512.763c0,0-120.426,65.951-210.88-38.262l36.479-51.313c0,0,37.649,90.426,147.893,39.991
L396.635,512.763"/>
<path fill="#E33B26" d="M144.038,392.655c0,0-46.915-29.995-114.487-63.65C3.436,369.241,14.735,430.034,58.509,471.979
c48.361,46.34,118.025,52.115,155.601,12.901c37.576-39.214,28.833-108.569-19.528-154.908
c-21.437-20.543-47.061-33.103-72.221-37.316C140.333,341.359,144.038,392.655,144.038,392.655"/>
</g>
<rect x="278.06" y="19.314" fill="none" width="1059.75" height="781.686"/>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 6.2 KiB

70
src/img/ferris/panics.svg
Unescape View File

@ -0,0 +1,70 @@
<?xml version="1.0" encoding="utf-8"?>
<!-- Generator: Adobe Illustrator 15.1.0, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
width="1434.979px" height="947px" viewBox="0 0 1434.979 947" enable-background="new 0 0 1434.979 947" xml:space="preserve">
<!--<rect fill="#FFFFFF" width="1434.979" height="947"/>-->
<path fill="#8F1F1D" d="M712.827,368.579c-131.633,0-251.228,15.825-339.77,41.615v220.298
c88.542,25.79,208.137,41.614,339.77,41.614c150.657,0,285.535-20.729,376.134-53.402V421.986
C998.361,389.311,863.483,368.579,712.827,368.579"/>
<path fill="#8F1F1D" d="M1094.847,567.972c-3.856-10.663-4.629-24.154-1.36-37.162c5.85-23.289,22.421-36.198,37.013-28.833
c3.618,1.827,6.773,4.73,9.387,8.418c0.239-0.001,0.479,0,0.715,0.016c0,0,44.552,53.106,3.313,116.003
c-0.896,3.569-76.534,91.718-94.043,94.524C1038.411,722.773,1064.762,630.939,1094.847,567.972"/>
<path fill="#8F1F1D" d="M363.903,557.551c5.3-9.631,7.158-22.788,4.217-36.426c-5.266-24.416-23.91-41.109-41.642-37.285
c-4.398,0.948-8.325,3.072-11.666,6.099c-0.282-0.059-0.564-0.113-0.845-0.153c0,0-56.292,41.952-12.057,113.924
c0.805,3.741,83.851,108.838,104.311,115.764C419.612,724.004,394.974,626.947,363.903,557.551"/>
<path fill="#E23A26" d="M284.891,563.596l0.007,0.015C285.083,563.755,285.255,563.887,284.891,563.596"/>
<path fill="#E33B26" d="M1180.543,488.433c-0.88-3.064-1.756-6.126-2.662-9.162l30.683-44.451c3.13-4.522,3.771-10.398,1.73-15.555
c-2.04-5.13-6.49-8.81-11.76-9.71l-51.887-8.805c-2.008-4.102-4.115-8.142-6.229-12.15l21.797-49.903
c2.243-5.087,1.769-10.995-1.203-15.608c-2.961-4.636-7.99-7.344-13.349-7.133l-52.656,1.913c-2.727-3.55-5.496-7.068-8.322-10.521
l12.102-53.49c1.225-5.433-0.322-11.118-4.104-15.064c-3.762-3.932-9.229-5.559-14.426-4.283l-51.289,12.608
c-3.321-2.935-6.699-5.833-10.114-8.673l1.849-54.914c0.197-5.559-2.394-10.842-6.845-13.925
c-4.445-3.104-10.093-3.573-14.955-1.266l-47.848,22.747c-3.854-2.21-7.728-4.4-11.644-6.517l-8.455-54.115
c-0.857-5.483-4.386-10.139-9.326-12.266c-4.923-2.137-10.568-1.447-14.891,1.808l-42.659,32.007
c-4.2-1.395-8.419-2.732-12.692-4.011l-18.386-51.316c-1.87-5.229-6.182-9.071-11.438-10.151c-5.238-1.072-10.63,0.742-14.263,4.802
l-35.907,40.171c-4.342-0.5-8.685-0.956-13.043-1.331l-27.723-46.713c-2.811-4.732-7.771-7.612-13.116-7.612
c-5.334,0-10.304,2.88-13.09,7.612l-27.733,46.713c-4.358,0.375-8.722,0.831-13.056,1.331l-35.91-40.171
c-3.636-4.06-9.047-5.874-14.268-4.802c-5.255,1.092-9.573,4.922-11.433,10.151l-18.402,51.316
c-4.26,1.279-8.481,2.627-12.691,4.011l-42.644-32.007c-4.336-3.266-9.98-3.955-14.916-1.808c-4.919,2.127-8.461,6.783-9.313,12.266
l-8.461,54.115c-3.914,2.117-7.789,4.294-11.653,6.517L436.1,168.34c-4.858-2.316-10.529-1.838-14.954,1.266
c-4.445,3.083-7.042,8.366-6.84,13.925l1.835,54.914c-3.405,2.84-6.774,5.738-10.112,8.673L354.75,234.51
c-5.211-1.265-10.67,0.351-14.441,4.283c-3.795,3.946-5.332,9.631-4.113,15.064l12.079,53.49c-2.802,3.467-5.575,6.971-8.293,10.521
l-52.655-1.913c-5.314-0.157-10.386,2.497-13.356,7.133c-2.974,4.613-3.425,10.521-1.211,15.608l21.814,49.903
c-2.119,4.008-4.224,8.048-6.249,12.15l-51.882,8.805c-5.271,0.888-9.715,4.566-11.765,9.71c-2.037,5.157-1.375,11.033,1.735,15.555
l30.69,44.451c-0.236,0.784-0.455,1.576-0.69,2.364l-16.863,17.911l45.341,64.05c0,0,435.152,200.731,838.797,3.396
C1169.796,558.719,1180.543,488.433,1180.543,488.433"/>
<path d="M795.716,446.557c0,0,48.162-52.734,96.324,0c0,0,37.844,70.318,0,105.473c0,0-61.922,49.223-96.324,0
C795.716,552.029,754.434,513.354,795.716,446.557"/>
<path fill="#FFFFFF" d="M855.154,481.097c0,19.782-11.66,35.82-26.041,35.82c-14.379,0-26.04-16.038-26.04-35.82
c0-19.782,11.661-35.821,26.04-35.821C843.494,445.275,855.154,461.315,855.154,481.097"/>
<path d="M578.401,430.129c0,0,84.436-37.385,107.481,46.059c0,0,24.141,97.261-69.339,102.751
C616.543,578.939,497.34,555.98,578.401,430.129"/>
<rect x="187.424" y="75.529" fill="none" width="1060" height="782"/>
<path fill="#FFFFFF" d="M627.514,481.096c0,20.579-12.13,37.27-27.095,37.27c-14.959,0-27.092-16.69-27.092-37.27
c0-20.583,12.133-37.27,27.092-37.27C615.384,443.826,627.514,460.513,627.514,481.096"/>
<path fill="#E33B26" d="M299.026,574.745c10.967-12.463,37.611-27.557,35.57-46.282c-3.653-33.526-31.456-57.999-62.099-54.658
c-7.599,0.827-14.658,3.292-20.923,7.035c-0.463-0.106-0.925-0.211-1.388-0.294c0,0-103.632,50.873-44.564,152.657
c0.557,5.137,117.847,155.668,150.787,167.131C377.968,807.836,336.498,671.694,299.026,574.745"/>
<path fill="#E33B26" d="M1140.973,570.202c-12.692-10.7-46.162-20.418-46.92-39.238c-1.355-33.697,22.512-62.021,53.312-63.26
c7.638-0.308,14.983,1.083,21.734,3.857c0.442-0.174,0.884-0.347,1.329-0.497c0,0,110.025,34.951,66.695,144.366
c0.21,5.163-93.468,171.416-124.345,187.635C1092.57,813.681,1118.285,671.635,1140.973,570.202"/>
<rect x="187.484" y="75.843" fill="none" width="1059.75" height="781.686"/>
<rect x="187.424" y="75.529" fill="none" width="1060" height="782"/>
<g>
<path fill="#E33B26" d="M283.144,565.511c0,0-137.214-4.942-161.62-140.761l57.596-25.427c0,0-13.912,96.957,106.615,110.022
L283.144,565.511"/>
<path fill="#E33B26" d="M127.552,333.083c0,0-24.965-49.774-65.807-113.261C18.721,241.035-2.671,299.05,13.482,357.484
c17.846,64.558,74.749,105.16,127.097,90.69s80.318-78.535,62.471-143.092c-7.909-28.618-23.501-52.519-42.963-69.011
C150.611,287.113,127.552,333.083,127.552,333.083"/>
</g>
<rect x="187.484" y="75.843" fill="none" width="1059.75" height="781.686"/>
<g>
<path fill="#E33B26" d="M1148.012,565.511c0,0,137.214-4.942,161.62-140.761l-57.596-25.428c0,0,13.912,96.957-106.615,110.022
L1148.012,565.511"/>
<path fill="#E33B26" d="M1303.604,333.083c0,0,24.966-49.774,65.808-113.261c43.023,21.212,64.416,79.228,48.262,137.662
c-17.846,64.558-74.748,105.16-127.096,90.689c-52.348-14.47-80.318-78.534-62.472-143.091
c7.909-28.618,23.501-52.519,42.964-69.011C1280.544,287.113,1303.604,333.083,1303.604,333.083"/>
</g>
<path d="M807.895,626.942c-7.131-58.735-72.193-61.431-72.193-61.431c-50.936,11.227-59.183,47.369-57.392,75.104L807.895,626.942z"
/>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 6.1 KiB

291
src/img/ferris/unsafe.svg
Unescape View File

@ -0,0 +1,291 @@
<?xml version="1.0" encoding="utf-8"?>
<!-- Generator: Adobe Illustrator 15.1.0, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
width="1240.298px" height="811.376px" viewBox="0 0 1240.298 811.376" enable-background="new 0 0 1240.298 811.376"
xml:space="preserve">
<!--<rect fill="#FFFFFF" width="1240.298" height="811.376"/>-->
<rect x="303.062" y="408.688" fill="#E33D27" width="440" height="322.312"/>
<polygon fill="#F37056" points="548.062,459 543.062,491 595.48,475 631.558,487 620.149,516.493 673.576,524.134 713.745,584
700.062,644.844 753.914,671 780.201,542.318 678.062,433.837 "/>
<ellipse fill="#FFFFFF" cx="456.505" cy="603.308" rx="20.83" ry="41.536"/>
<ellipse fill="#FFFFFF" cx="613.519" cy="599.293" rx="18.039" ry="25.608"/>
<path d="M426.848,565.302c76.475-36.052,82.274,92.731,23.019,92.075C407.91,656.909,399.502,592.939,426.848,565.302z
M472.886,588.319c-3.647-13.308-14.517-15.274-25.896-8.632C411.107,600.633,485.029,632.633,472.886,588.319z"/>
<path d="M593.734,565.302c63.543-6.768,43.711,98.739,0,97.828C549.726,662.215,539.183,571.111,593.734,565.302z M616.753,614.216
c8.869-6.019,6.418-24.879,0-31.65C586.653,575.41,587.316,620.858,616.753,614.216z"/>
<path fill="#E33D27" d="M1218.119,680.395c7.154,1.962-4.255,8.762-5.754,11.51c-40.783-1.407-71.586-8.146-97.83,5.754
c-14.517-1.252-39.852-13.043-46.037,2.878c14.931,25.351,67.049,13.519,89.197,31.651c-12.87,18.54-39.345,5.012-57.547,5.754
c-10.099,0.416-19.838,5.935-28.774,5.755c-49.039-0.988-101.843-22.372-152.498-23.019c42.625,23.559,115.104,17.253,155.376,43.16
c-67.472,4.49-120.696-26.278-187.028-17.264c-6.34,0.861-6.592,6.33-11.509,5.754c-13.465-1.579-23.525-15.382-40.283-5.754
c-6.26,5.23,6.261,17.787,0,23.018c-15.253-0.503-14.684-1.859-28.772,0c8.165-6.89,2.844-10.598,2.877-23.018
c-13.752,2.551-9.706,22.902-25.896,23.018c-10.812-10.287-27.408-14.791-37.405-25.896c-12.972,3.333-5.671,26.937-17.265,31.65
c-14.173-3.091-17.477-17.048-23.019-28.772c-3.136,10.441-20.8,16.528-28.773,5.754c-2.085,8.801,4.968,8.464,2.878,17.264
c-18.137,3.755-22.952-5.821-37.406-5.754c0.949-12.456-3.963-19.055-11.51-23.019c4.176,9.359,9.97,28.835,2.877,40.283
c58.823,6.435-102.298,3.786-184.15,5.755c-4.103-3.839-4.103-16.305,0-20.142c-3.242-3.983-16.786,6.063-25.896,5.754
c-3.692-3.776-3.692-10.61,0-14.387c-22.912,6.714-41.991-16.95-51.792,2.878c-22.355-21.002-38.624,9.456-63.301,11.509
c-0.208-9.795,8.463-10.717,14.387-14.387c-1.225-5.487-8.217-5.209-5.754-14.387c-21.833-0.735-30.381,11.819-48.916,14.387
c-6.676-6.637,5.328-9.278,2.878-20.142c-14.78-4.791-23.536,24.911-43.161,14.387c2.484-8.068,14.983-6.119,20.142-11.509
c-4.107-7.834-13.948-3.709-28.773-5.756c5.839-11.424,18.647-15.887,28.773-23.018c-16.19-14.891-50.252,8.151-86.32,0
c-5.632-5.376-0.888-10.538,0-17.264c-26.711,2.744-56.57-2.806-92.075,0c2.416-3.342,3.799-7.716,2.877-14.388
c21.001-2.978,57.323,9.365,57.547-14.387c13.15,2.023,39.985,15.118,48.916,2.878c-41.733-18.691-93.205-27.639-132.358-48.915
c46.858-1.271,84.578,2.139,123.726-2.877c-14.836-7.225-29.161-14.957-51.792-14.387c-1.995-9.515-8.025-14.992-14.387-20.142
c14.393,0.544,26.632,3.115,37.406-11.511c-28.684-5.917-66.629-11.896-103.584-17.264c-0.489-8.162,9.733-5.614,5.754-17.264
c44.335,1.66,97.286,27.155,149.623,20.142c-19.613-10.115-54.625-4.845-74.811-14.387c8.817-3.917,31.875,2.574,48.915,0
c-28.055-9.265-51.18-14.974-74.811-23.02c-1.147-10.739,2.299-16.882,11.509-17.264c-27.891-14.312-72.805-11.593-92.075-34.528
c67.275,12.083,131.448,13.792,198.537,25.897c-37.895-23.488-109.193-13.576-135.235-48.916
c17.298,3.808,38.108,4.095,51.792,11.509c5.26-4.333,6.772-12.414,11.51-17.263c-8.29-12.375-29.769-25.14-28.774-37.406
c-10.126,8.26-21.226,0.57-11.509-8.633c-6.558-0.802-10.812,0.695-11.509,5.755c-11.38-14.192-41.548-24.578-69.057-37.406
c13.712-22.602,48.516,23.597,60.424-8.632c37.523,18.628,73.715,39.315,117.971,57.547c7.57,0.851,2.265-11.164,11.509-8.631
c-30.864-42.024-97.425-48.358-123.726-94.953c55.422,11.463,96.745,35.034,138.113,48.915
c-18.522-26.558-67.382-47.704-100.707-69.056c16.719-7.501,46.628,10.534,66.179,25.896c17.062,0.757,22.496-4.753,28.773,5.755
c3.467-3.249,5.215-8.211,14.387-5.755c-2.417-17.223-41.047-27.381-34.528-34.528c-2.821-5.753-23.592,3.166-17.264-5.753
c17.021-8.622,52.713,19.045,71.934,34.528c8.856,2.143,5.53-7.898,14.386-5.755c-17.477-41.028-62.902-54.108-94.952-80.565
c16.101-2.625,34.859,16.896,48.915,25.896c-13.454-30.673-60.846-52.319-83.443-83.443c14.331-9.428,31.427,3.026,34.529,14.387
c41.625-17.209,41.851,53.044,83.443,54.67c0.135-9.789-20.698-23.374-23.019-40.283c55.417,21.313,74.771,78.69,120.848,109.339
c-9.694-14.366-16-28.587-25.896-40.283c-2.906-3.435-12.078-6.455-14.387-11.509c-5.181-11.351,2.501-24.23,0-37.405
c-8.834-46.596-59.648-77.024-71.934-126.604c60.424,23.635,64.139,87.271,120.849,112.217c3.502,9.927,9.508,17.348,17.264,23.019
c-6.501-27.068-24.469-42.668-31.65-69.057c13.105,16.627,22.53,36.939,34.528,54.669c7.923-3.45,12.021-6.249,20.142-2.877
c14.933,25.514,12.746,62.473,31.65,77.688c1.545-27.312-19.079-81.817-48.914-103.585c4.917-13.311,16.061,0.944,23.018,2.877
c-2.382-36.073-48.858-95.548-25.896-138.113c33.685,45.919,52.119,107.102,80.565,158.254c18.647-22.846-6.754-63.077-5.753-77.689
c24.345-6.629,23.125,36.008,34.528,51.793c-11.323,15.779-18.107,69.924,0,80.566c6.732-22.835,27.025-70.625,2.877-89.198
c11.532-27.307-11.375-85.412,5.754-115.095c2.333,0.547,2.873,2.886,5.755,2.878c11.375,8.951,6.991,52.885,14.387,74.811
c15.883-26.322,11.335-73.067,43.161-83.443c40.395,56.191,5.844,157.535,17.264,230.188c16.882-26.091,6.238-92.451,8.633-123.726
c12.835,6.351,2.354,36.013,5.753,51.792c9.999-29.156,17.749-76.621,8.633-100.707c31.206-12.896,6.732-68.573,40.283-74.811
c20.208,50.773-20.771,115.566,0,158.254c28.183-15.123,24.883-76.587,63.301-71.935c17.348-27.735,18.337-71.821,40.283-94.952
c11.599,6.23,6.939,20.636,5.755,28.774c-5.469,37.506-37.496,79.328-28.774,129.48c16.079,3.051,12.233-12.965,17.264-20.141
c22.969-32.747,53.524-54.615,63.303-97.83c9.093-4.339,13.37-13.492,23.02-17.264c2.972,30.808-14.271,66.28-31.652,86.321
c20.782,9.806,6.621,42.072,8.633,66.179c27.801-28.788,45.97-67.206,69.056-100.707c0.631-10.526,3.957-11.038,0-20.142
c9.694-4.023,12.285-19.592,25.896-11.51c-3.187,35.176-19.389,57.343-31.651,83.443c19.602,34.369-25.643,69.83-37.405,100.707
c36.49-22.017,56.587-60.427,83.443-92.075c15.522-3.715,22.333-31.311,37.406-25.896c10.121,10.746-15.416,33.993-28.774,40.283
c-15.814,24.466-37.271,43.289-54.67,66.18c20.4,0.253,19.901-20.384,34.528-25.897c-12.431,22.11-46.615,47.365-60.424,77.689
c19.49-10.264,44.7-39.687,60.424-63.302c5.48-5.392,7.232-0.313,14.388,0c31.863-23.788,69.443-45.422,60.423-94.952
c14.787-1.359,17.266,9.59,17.266,23.019c15.977-2.248,21.776-14.675,34.528-20.142c3.883,23.099-35.67,27.604-40.283,51.792
c7.024,7.731,17.86-5.038,23.019,5.755c-7.003,16.976-35.265,12.69-37.405,34.528c24.951,8.02,57.99-55.858,74.812-20.141
c-44.948,23.148-94.257,41.938-112.217,92.075c20.916,4.567,33.337-24.18,57.547-25.896c-15.781,11.964-9.128,30.528-25.896,43.16
c26.053-8.69,38.445-45.669,66.179-43.16c-21.068,16.015-36.569,16.525-51.792,48.915c22.496-2.73,53.81-20.786,80.566-28.773
c8.664,33.895-29.656,44.938-48.916,60.423c15.141,15.86,42.425,2.503,48.916-14.386c30.661,0.964,54.5-11.661,83.442-20.142
c-10.476,28.857-79.555,24.02-86.32,66.18c-17.449,3.649-25.379,16.821-43.161,20.142c22.188,0.098,49.978-19.061,77.689-23.019
c-21.384,16.979-53.405,23.318-74.812,40.283c4.153,13.752,14.089,3.931,23.02,0c18.343,0.12,34.905-1.545,43.159-11.51
c16.557,5.654,32.235-1.677,43.16-5.754c20.85,6.545,35.652,3.21,60.425,2.876c-9.054,14.494-47.628,12.643-51.792,40.283
c-15.404-1.017-20.782,7.991-31.651,11.509c-11.448-10.902-70.523-0.736-77.688,11.51c20.973,8.533,70.854-24.019,83.442,2.878
c-2.158,15.103-23.418,11.11-34.528,17.264c-0.917,7.632,16.124-2.691,11.509,8.632c-37.73-11.667-80.526,5.513-117.971,11.51
c54.85,5.668,118.797-17.455,166.887-11.51c-0.691,5.061-4.951,6.559-11.51,5.755c-1.102,9.736,12.739,4.527,8.633,17.264
c21.59,0.281,47.278-13.782,60.423,2.878c0.013,17.277-34.746-0.219-28.772,23.02c-36.653,4.706-80.122-7.428-103.584,14.386
c23.209,21.063,84.387-7.378,112.217,8.633c-10.348,14.589-38.198,11.672-60.425,14.387c-12.038,20.624-38.479,13.604-63.303,17.264
c16.473,25.356,71.062,17.585,94.953,20.142c3.191,5.446,3.67,13.594,5.755,20.141c-27.801,2.769-47.735,0.492-69.057,5.755
c37.866,18.388,83.977,14.851,135.235,28.774C1214.787,675.751,1214.787,688.616,1218.119,680.395z M550.575,202.755
c-2.799-24.018,5.136-64.358-2.877-74.811C546.247,154.524,529.809,185.218,550.575,202.755z M320.386,191.246
c-1,14.109,7.149,22.259,17.264,17.264C336.083,198.98,328.187,185.549,320.386,191.246z M662.79,266.057
c12.775-7.608,29.892-34.197,17.266-48.915C675.722,234.869,668.423,249.626,662.79,266.057z M349.16,243.038
c-8.98-2.527,0.106-23.126-11.51-23.019C336.487,230.921,344.479,247.532,349.16,243.038z M795.148,251.67
c3.984-9.588,28.605-22.207,14.388-31.651C805.719,229.717,784.224,236.792,795.148,251.67z M947.648,225.773
c-30.661,17.531-60.307,50.434-83.442,74.811c-7.183,7.567-21.355,17.894-17.266,25.897c33.73-34.37,81.348-54.849,106.463-97.831
C952.769,226.41,950.992,225.304,947.648,225.773z M524.678,300.584c-0.634-10.877,2.928-25.946-8.631-25.896
C510.319,282.514,512.819,301.348,524.678,300.584z M380.811,306.34c-8.363-6.98-10.779-19.912-20.142-25.896
C363.551,291.078,372.235,310.964,380.811,306.34z M766.376,355.254c11.79-17.008,36.512-36.346,37.405-54.67
C788.394,313.993,771.743,341.409,766.376,355.254z M228.311,335.113c-0.893-9.655-9.621-11.475-17.264-14.387
C208.473,333.853,220.511,332.365,228.311,335.113z M881.47,375.396c27.255-1.815,43.564-28.929,63.301-28.773
c-5.726-10.979,16.68-14.906,8.633-25.897C933.627,343.149,899.886,351.612,881.47,375.396z M950.526,340.868
c10.267-2.201,17.517-7.421,23.019-14.386C963.276,328.683,956.028,333.901,950.526,340.868z M832.554,366.763
c7.29-8.131,29.083-16.858,23.02-28.773C848.684,346.513,827.743,356.104,832.554,366.763z M513.169,378.273
c6.395-9.208,0.152-25.671-8.633-28.774C495.556,361.294,510.111,369.446,513.169,378.273z M259.962,407.046
c-0.961-12.467-15.933-10.918-23.019-17.264C239.416,400.739,247.216,406.369,259.962,407.046z M406.706,407.046
c-4.265-2.445-6.186-7.242-5.754-14.387C380.946,392.85,404.992,412.555,406.706,407.046z M1091.516,427.188
c18.889,1.254,40.199,5.823,51.792-5.755C1125.139,417.853,1105.779,418.069,1091.516,427.188z M861.328,467.471
c-4.401,8.843,18.793,8.843,14.387,0C874.979,460.736,863.076,465.812,861.328,467.471z M553.451,484.735
c9.801,0.208,10.718-8.465,14.388-14.387c-3.676-0.158-3.984-3.69-8.633-2.878C560.589,476.523,555.109,478.72,553.451,484.735z
M510.292,484.735c-7.593,9.672-6.013,28.515-25.897,25.896c-3.776-8.931,0.782-8.211,0-20.142
c-7.199,0.358-9.008,5.49-11.509-2.878c8.092-0.539,12.262-5.004,11.509-14.386c-10.543-0.954-15.988,3.191-23.019,5.753
c0.934,17.233,0.995,33.607-17.264,31.652c-5.686-6.537,3.063-16.076,0-28.774c-15.24-4.692-12.396,8.7-17.264,14.387
c-3.395-4.271-2.49-12.855-11.509-11.509c0,7.673,0,15.345,0,23.019c8.081,3.429,18.343,4.676,17.264,17.265
c-9.845-5.036-17.826,1.259-28.772,2.877c-0.647,5.439,3.242,6.348,2.876,11.509c-20.781,5.638-38.186-2.139-57.546-5.755
c8.283,14.739,31.661,14.379,37.406,31.652c-13.758,2.137-24.104-14.115-31.652-8.633c6.193,2.438,10.178,7.086,8.633,17.264
c-3.839,4.105-16.303,4.105-20.142,0c0.674,11.893,17.865,8.978,8.631,23.02c4.182,1.572,14.877-3.364,14.388,2.877
c-2.182,13.162-31.05-0.356-37.406,8.632c6.896,11.329,28.565,7.881,37.406,17.264c-1.878,14.427-12.533,20.074-25.897,23.02
c1.326,9.228,13.067,8.036,14.387,17.264c14.871,0.481,13.296-15.479,28.774-14.387c0.54,14.764-11.595,19.113,2.877,25.897
c-10.492,13.175-11.23,19.033-23.019,28.772c22.805,2.664,28.874-11.409,40.283-20.142c-2.058,7.814,13.571-2.061,11.509,5.755
c-4.952,7.767,3.175,22.35,5.755,31.65c7.086-14.639,24.575-52.949,43.159-28.772c2.435,10.239-8.327,17.241,2.878,20.14
c2.192-22.945,23.323-8.991,34.528-2.876c4.166-5.435,6.43-12.758,17.264-11.51c5.384,4.21,3.394,15.786,14.388,14.386
c3.618-14.832,3.551-27.433,14.387-28.772c4.794,3.839,0.961,16.303,5.753,20.142c16.855-0.546,24.453,8.159,31.652,17.264
c2.821-3.894,9.7-3.729,11.509-8.633c2.332-13.834-12.622-10.39-8.631-25.895c9.053-1.377,11.25,4.096,17.264,5.755
c4.94-10.819,8.486-8.065,14.387-14.388c23.979,18.039,41.816,11.808,71.934,17.264c-1.113-10.39-15.786-7.231-11.509-23.018
c-8.464-3.046-19.064-3.957-25.897-8.633c1.4-3.4,3.068-6.524,5.755-8.631c13.47,3.31,44.986,19.467,46.037-5.756
c-11.807,0.298-23.492,0.473-28.773-5.755c2.439-10.267,7.086-0.345,17.265-2.878c-9.649-13.283,1.758-10.46,2.877-25.895
c-6.166-9.521-26.475-2.203-31.652-5.756c9.24-13.779,34.226-11.812,43.161-25.896c-16.157-11.033-31.026-7.625-40.283,5.755
c-19.838-8.728,13.825-22.618,8.633-34.527c-14.173,4.068-22.277-8.931-40.283,0c-1.231-5.479-6.198-7.233-5.755-14.387
c1.288-8.303,12.381-6.804,14.386-14.387c-16.583-9.897-36.613,11.937-63.301,2.876c8.783-16.153,25.53-24.347,34.528-40.281
c-15.843,5.749-25.424,31.454-43.161,25.896c10.914-8.452,5.266-19.028,14.388-31.65c-17.888,18.046-29.702,12.679-51.794,17.264
c0.013-2.885-2.332-3.422-2.876-5.755c-1.933-10.729,11.671-20.717,5.754-25.896C532.046,477.715,525.325,485.381,510.292,484.735z
M631.14,510.632c14.477,0.96,28.762-13.325,23.019-23.02C649.742,498.537,634.281,498.427,631.14,510.632z M1028.215,527.896
c25.193,7.943,70.354,6.553,80.564-17.264C1089.977,513.287,1039.848,508.571,1028.215,527.896z M717.46,576.811
c9.773-4.619,26.661-2.113,31.651-11.509C737.562,568.133,719.702,564.66,717.46,576.811z M705.951,640.111
C728.937,657.017,720.579,623.069,705.951,640.111L705.951,640.111z M1056.987,651.621c1.242-6.434,14.185-1.166,20.142-2.877
C1071.016,638.734,1006.465,648.215,1056.987,651.621z M1005.195,697.658c3.08,7.52,25.159,3.198,37.406,0
C1032.368,694.931,1003.976,694.675,1005.195,697.658z M544.819,769.592c-5.058-0.693-6.558-4.95-5.755-11.509
c-19.191,0.495-6.963,14.534-20.142,20.142c15.348,0,30.695,0,46.038,0c0.989-12.499-2.175-20.844-11.51-23.02
C554.02,763.444,553.811,770.91,544.819,769.592z M593.734,781.103c10.633-1.839,28.667,3.726,34.528-2.878
c-10.676-3.709-10.682-18.09-25.895-17.264C605.396,773.579,592.638,770.41,593.734,781.103z M484.395,781.103
c9.594,0,19.187,0,28.774,0C511.691,769.374,485.497,769.412,484.395,781.103z"/>
<rect x="477.335" y="335.988" fill="#E33D27" width="60.604" height="58.978"/>
<rect x="346.712" y="365.477" fill="#E33D27" width="64.323" height="59.871"/>
<rect x="841.76" y="436.07" fill="#E33D27" width="55.402" height="80.423"/>
<rect x="490.15" y="254.548" fill="#E33D27" width="47.789" height="54.634"/>
<rect x="221.61" y="365.477" fill="#E33D27" width="37.53" height="50.935"/>
<g>
<path fill="#F37056" d="M960.874,342.508c-7.183,7.57-21.354,17.894-17.264,25.897c23.211-23.649,52.995-40.722,77.5-63.077
c-13.034,5.459-25.59,10.327-36.366,12.113C976.251,326.146,968.231,334.759,960.874,342.508z"/>
<path fill="#F37056" d="M982.291,286.56c2.111-6.42,4.772-12.605,11.396-17.626c-4.429,0.314-8.461,1.536-12.223,3.29
c-15.054,16.66-34.13,35.084-43.608,55.898C951.605,320.884,968.188,304.103,982.291,286.56z"/>
<path fill="#F37056" d="M1032.808,336.755c0.142,0.03,0.276,0.044,0.414,0.069c16.913-10.348,33.999-22.228,30.24-44.329
C1050.207,304.209,1039.396,318.372,1032.808,336.755z"/>
<path fill="#F37056" d="M1189.346,404.169c-9.241,0.124-17.092,0.667-24.393,0.958c-3.92,4.524-6.771,9.897-8.097,16.427
C1169.379,415.4,1184.175,412.447,1189.346,404.169z"/>
<path fill="#F37056" d="M1093.542,331.732c-5.376,1.275-10.857,2.256-16.521,2.836c-2.233,6.923-5.04,13.786-12.562,19.45
C1075.991,350.17,1084.845,340.787,1093.542,331.732z"/>
<path fill="#F37056" d="M929.224,408.688c7.288-8.133,29.083-16.855,23.02-28.774C945.354,388.439,924.413,398.027,929.224,408.688
z"/>
<path fill="#F37056" d="M503.376,448.97c-4.265-2.443-6.188-7.237-5.755-14.386C477.616,434.775,501.662,454.479,503.376,448.97z"
/>
<path fill="#F37056" d="M759.46,307.98c12.773-7.604,29.892-34.197,17.264-48.915C772.392,276.796,765.091,291.553,759.46,307.98z"
/>
<path fill="#F37056" d="M890.099,290.81c0.45,0.896,1.015,1.823,1.72,2.784c1.44-3.468,5.58-7.331,9.607-11.299
C897.672,285.156,893.89,287.984,890.099,290.81z"/>
<path fill="#F37056" d="M863.046,397.178c4.893-7.058,12.008-14.521,18.729-22.142c1.233-1.57,2.54-3.068,3.899-4.512
c7.834-9.309,14.325-18.791,14.776-28.016C885.063,355.918,868.411,383.337,863.046,397.178z"/>
<path fill="#F37056" d="M1048.356,202.755c-2.375-5.043-5.084-8.048-8.039-9.602c-6.688,7.37-15.63,14.047-21.896,16.997
c-2.716,4.204-5.642,8.197-8.64,12.116C1022.446,215.568,1035.576,209.336,1048.356,202.755z"/>
<path fill="#F37056" d="M900.451,236.047c4.218-4.366,8.189-8.975,12.015-13.735c-4.415-1.273-6.41-3.791-10.855,0.584
c-0.362,0.545-0.758,1.11-1.132,1.661C900.215,228.505,900.145,232.372,900.451,236.047z"/>
<path fill="#F37056" d="M609.837,420.197c6.396-9.205,0.152-25.672-8.631-28.773C592.226,403.22,606.78,411.374,609.837,420.197z"
/>
<path fill="#F37056" d="M1194.9,524.134c-7.083,1.752-15.417,2.252-21.102,5.402c-0.141,1.167,0.173,1.88,0.733,2.349
C1182.579,530.562,1193.381,531.989,1194.9,524.134z"/>
<path fill="#F37056" d="M1139.644,437.292c2.543-5.611,6.859-9.652,11.949-12.835c-14.169,4.826-22.213,15.774-38.219,18.758
C1121.475,443.252,1130.327,440.713,1139.644,437.292z"/>
<path fill="#F37056" d="M1127.288,506.742c-1.045,0.868-1.879,1.754-2.405,2.652c2.51,1.021,5.441,1.441,8.66,1.458
C1131.681,509.263,1128.91,508.577,1127.288,506.742z"/>
<path fill="#F37056" d="M1047.196,382.792c5.236-1.121,9.68-3.037,13.516-5.561c0.651-2.398,1.516-4.628,2.575-6.71
C1056.552,373.24,1051.367,377.512,1047.196,382.792z"/>
<path fill="#F37056" d="M978.138,417.319c27.257-1.815,43.566-28.924,63.303-28.772c-5.726-10.976,16.68-14.905,8.631-25.897
C1030.297,385.073,996.555,393.537,978.138,417.319z"/>
<path fill="#F37056" d="M957.997,509.395c-4.4,8.846,18.792,8.846,14.388,0c-0.067-0.618-0.256-1.104-0.495-1.534
c-0.405-0.039-0.817-0.064-1.223-0.106c0.352-0.057,0.709-0.121,1.062-0.181C969.09,503.774,959.548,507.923,957.997,509.395z"/>
<path fill="#F37056" d="M1174.96,568.179c-11.15-6.416-27.655-5.69-44.926-3.878c-2.112,1.585-3.874,3.4-5.151,5.519
c12.32,3.887,29.403,5.526,44.851,3.417C1171.755,571.834,1173.537,570.185,1174.96,568.179z"/>
<path fill="#F37056" d="M1078.151,550.431c16.431-5.851,37.288-4.484,58.229-4.133c9.858-1.38,19.687-2.915,29.369-4.328
c-0.368-3.449,0.435-5.734,1.99-7.261c-33.084-3.223-68.665,9.885-100.404,14.969
C1070.905,550.046,1074.514,550.288,1078.151,550.431z"/>
<path fill="#F37056" d="M519.384,275.245c-5.662-14.417-13.493-28.914-22.875-40.615c-0.964,3.086-1.932,6.056-2.847,8.863
c1.231,0.242,2.518,0.587,3.958,1.187c14.932,25.513,12.746,62.474,31.652,77.687c0.477-8.462-1.174-19.539-4.568-31.442
c-0.057,3.267-0.203,6.626-0.026,9.66c-11.858,0.762-14.358-18.07-8.631-25.896C517.35,274.683,518.437,274.894,519.384,275.245z"
/>
<path fill="#F37056" d="M267.434,218.783c1.495-0.619,2.919-1.093,4.31-1.493c-11.518-10.683-24.522-19.877-40.555-26.044
c0.562,4.085,2.214,7.972,4.381,11.664C249.279,196.5,264.522,208.122,267.434,218.783z"/>
<path fill="#F37056" d="M208.169,401.292c-6.071-1.665-5.877,2.939-7.165,6.057c28.852,14.916,58.187,30.438,92.325,44.498
c7.57,0.854,2.265-11.161,11.509-8.632c-11.596-15.786-28.231-26.537-45.874-36.275c-9.229-0.704-15.755-4.112-19.403-10.394
c-23.185-12.392-45.614-25.54-58.449-48.283c55.423,11.464,96.746,35.034,138.113,48.914
c-16.806-24.092-58.581-43.732-91.072-63.115c0.056,0.345,0.123,0.682,0.157,1.05c-7.8-2.748-19.838-1.262-17.264-14.387
c4.555,1.734,9.483,3.094,12.92,5.942c17.211-2.379,43.146,13.536,60.73,27.35c17.062,0.757,22.497-4.75,28.774,5.754
c3.467-3.249,5.214-8.21,14.386-5.754c-2.416-17.22-41.047-27.381-34.528-34.529c-2.821-5.754-23.592,3.17-17.264-5.754
c17.022-8.621,52.714,19.045,71.935,34.528c8.856,2.146,5.53-7.896,14.386-5.755c-17.479-41.024-62.903-54.107-94.953-80.565
c16.1-2.625,34.86,16.897,48.915,25.896c-10.372-23.648-40.91-41.933-64.713-63.33c1.58,2.518,2.603,4.867,2.571,7.02
c-41.592-1.626-41.817-71.881-83.443-54.67c-3.102-11.36-20.198-23.813-34.529-14.387c22.598,31.125,69.99,52.771,83.443,83.443
c-14.055-9-32.814-28.521-48.915-25.896c32.05,26.456,77.475,39.538,94.952,80.565c-8.856-2.143-5.53,7.898-14.386,5.755
c-19.22-15.482-54.912-43.15-71.934-34.528c-6.329,8.921,14.442,0,17.264,5.753c-6.519,7.146,32.111,17.307,34.528,34.528
c-9.172-2.458-10.919,2.506-14.387,5.755c-6.278-10.506-11.712-5-28.773-5.755c-19.551-15.362-49.46-33.396-66.179-25.896
c33.325,21.353,82.185,42.5,100.707,69.056c-41.368-13.88-82.69-37.453-138.113-48.915
C110.744,352.937,177.305,359.27,208.169,401.292z"/>
<path fill="#F37056" d="M309.93,240.203c3.794,5.699,7.626,11.627,11.979,16.89c1.75,1.079,3.316,2.125,4.232,3.209
c1.371,1.622,2.664,3.302,3.917,5.013c5.709,4.648,12.412,7.81,20.818,8.138c0.135-9.784-20.697-23.373-23.019-40.283
c5.356,2.061,10.369,4.466,15.109,7.143c-3.299-4.795-6.03-13.607-5.317-20.292c11.616-0.107,2.53,20.492,11.51,23.019
c-0.256,0.247-0.529,0.405-0.802,0.529c40.576,25.857,60.456,72.41,100.348,98.942c-9.693-14.363-15.999-28.583-25.895-40.283
c-2.907-3.433-12.078-6.451-14.388-11.509c-5.18-11.346,2.502-24.227,0-37.406c-3.431-18.093-13.198-33.747-24.575-49.033
c-0.958,0.433-1.958,0.885-3.037,1.354c-5.465-8.079-10.4-16.69-15.39-25.247c-6.822-8.953-13.355-18.146-18.698-27.976
c7.436,25.506,24.83,41.049,31.21,67.609c-7.756-5.673-13.762-13.092-17.264-23.019c-56.71-24.946-60.425-88.582-120.849-112.217
c12.285,49.581,63.099,80.007,71.934,126.604C313.643,221.337,309.731,231.121,309.93,240.203z M320.386,191.246
c7.801-5.695,15.697,7.736,17.264,17.264C327.535,213.503,319.386,205.354,320.386,191.246z"/>
<path fill="#F37056" d="M390.342,171.301c18.823,25.289,33.874,53.051,66.997,67.624c3.5,9.93,9.508,17.348,17.264,23.019
c-6.502-27.065-24.469-42.667-31.652-69.057c13.106,16.628,22.53,36.938,34.529,54.669c1.955-0.851,3.672-1.661,5.28-2.349
c-7.824-18.554-2.404-55.13,6.276-69.523c-5.993-14.727-12.288-30.299-15.581-45.543c-3.897-6.521-9.289-10.278-17.834-7.952
c-1.001,14.612,24.4,54.842,5.753,77.689c-28.446-51.154-46.88-112.335-80.565-158.254
c-22.962,42.564,23.513,102.04,25.896,138.113C402.079,178.449,395.608,171.753,390.342,171.301z"/>
<path fill="#F37056" d="M307.717,362.65c-2.574,13.127,9.463,11.639,17.264,14.386C324.087,367.382,315.359,365.561,307.717,362.65
z"/>
<path fill="#F37056" d="M422.181,231.992c2.706,6.736,4.949,13.468,6.649,19.912c1.728-0.054,3.573-0.523,5.49-1.47
C433.1,243.018,428.039,233.279,422.181,231.992z"/>
<path fill="#F37056" d="M445.829,284.961c-8.981-2.523,0.107-23.125-11.509-23.018
C433.156,272.845,441.148,289.458,445.829,284.961z"/>
<path fill="#F37056" d="M258.801,736.706c-4.395,0.452-8.885,0.662-13.462,0.742c1.256,0.752,2.302,1.819,3.113,3.371
c-5.159,5.39-17.657,3.44-20.142,11.509c12.687,6.804,20.833-3.199,28.999-9.835C257.897,740.678,258.528,738.765,258.801,736.706z
"/>
<path fill="#F37056" d="M266.762,755.276c0.264,0.874,0.81,1.79,1.832,2.807c3.484-0.483,6.612-1.317,9.545-2.352
C274.396,755.826,270.598,755.697,266.762,755.276z"/>
<path fill="#F37056" d="M87.321,398.415c0.697-5.061,4.951-6.556,11.509-5.755c-9.717,9.203,1.383,16.893,11.509,8.633
c-0.995,12.268,20.484,25.031,28.774,37.406c-4.737,4.849-6.25,12.93-11.51,17.263c-13.684-7.414-34.494-7.701-51.792-11.509
c25.82,35.04,96.11,25.613,134.24,48.339c5.202,1.239,10.045,2.832,14.222,5.095c5.26-4.334,6.771-12.415,11.509-17.264
c-8.289-12.375-29.768-25.138-28.773-37.406c-10.127,8.261-21.226,0.574-11.509-8.632c-6.559-0.797-10.813,0.698-11.51,5.755
c-11.38-14.19-41.547-24.576-69.056-37.406c12.836-21.153,44.149,17.963,57.867-3.383c-33.871-15.463-63.552-32.002-94.112-47.173
c-11.909,32.229-46.712-13.968-60.424,8.632C45.773,373.837,75.941,384.222,87.321,398.415z"/>
<path fill="#F37056" d="M558.045,241.802c18.647-22.845-6.755-63.077-5.755-77.688c16.821-4.578,21.438,14.355,26.444,31.704
c3.859-55.909,10.377-113.72-16.651-151.317c-31.825,10.377-27.278,57.123-43.161,83.443c-7.396-21.926-3.011-65.862-14.387-74.811
c-2.882,0.008-3.421-2.33-5.755-2.878c-8.584,14.876-7.112,36.892-4.959,58.59C517.875,150.519,534.557,199.568,558.045,241.802z
M547.697,127.944c8.013,10.453,0.078,50.795,2.877,74.811C529.809,185.218,546.247,154.523,547.697,127.944z"/>
<path fill="#F37056" d="M345.122,753.97c-6.598-6.066-16.163-5.833-27.619-3.981c1.346,3.273,4.917,4.318,5.761,8.095
c-5.923,3.67-14.595,4.592-14.387,14.387c5.249-0.438,10.112-2.163,14.741-4.403C329.979,762.56,338.159,758.873,345.122,753.97z"
/>
<path fill="#F37056" d="M248.452,712.046c-0.542,0.382-1.118,0.733-1.677,1.101c11.644,3.148,23.822,5.156,29.29-2.338
c-32.949-14.757-71.948-23.459-106.184-36.933c-11.934,1.41-29.524-6.348-39.401-7.868c-0.224,23.752-36.545,11.409-57.547,14.387
c0.922,6.672-0.461,11.046-2.877,14.388c35.505-2.806,65.364,2.744,92.075,0c-0.888,6.726-5.632,11.888,0,17.264
C198.2,720.197,232.262,697.155,248.452,712.046z"/>
<path fill="#F37056" d="M93.076,519.263c23.631,8.046,46.756,13.755,74.811,23.02c-17.04,2.574-40.098-3.917-48.915,0
c18.857,8.913,50.641,4.909,70.734,12.585c0.714-6.782,4.347-10.647,11.549-10.944c-27.892-14.313-72.805-11.594-92.075-34.528
c67.275,12.082,131.448,13.792,198.538,25.896c-37.479-23.228-107.606-13.814-134.334-47.8
c-53.725-7.24-106.279-10.213-160.873-20.021c19.271,22.936,64.184,20.216,92.075,34.528
C95.375,502.381,91.929,508.523,93.076,519.263z"/>
<path fill="#F37056" d="M47.038,619.971c33.711,18.32,76.542,27.512,114.439,41.641c38.881-0.242,71.881,1.775,105.957-2.594
c-14.836-7.222-29.162-14.954-51.792-14.387c-1.996-9.515-8.026-14.989-14.387-20.142c14.393,0.546,26.632,3.118,37.405-11.511
c-28.683-5.918-66.628-11.896-103.584-17.264c-0.488-8.159,9.733-5.614,5.755-17.264c44.334,1.663,97.285,27.155,149.622,20.141
c-19.612-10.115-54.624-4.844-74.81-14.386c8.817-3.917,31.875,2.574,48.914,0c-28.054-9.262-51.179-14.971-74.811-23.02
c-0.152-1.431-0.21-2.767-0.196-4.032c-50.952,5.159-102.247-19.012-145.388-20.627c3.979,11.649-6.243,9.102-5.754,17.264
c36.956,5.367,74.9,11.347,103.584,17.264c-10.773,14.626-23.013,12.055-37.406,11.511c6.362,5.149,12.392,10.627,14.387,20.142
c22.631-0.57,36.957,7.162,51.792,14.387C131.616,622.109,93.896,618.7,47.038,619.971z"/>
<path fill="#F37056" d="M1083.058,351.613c23.241-13.143,56.156-17.439,63.128-36.642c-15.511,4.544-29.56,10.265-43.976,14.46
C1095.478,334.435,1089.207,340.808,1083.058,351.613z"/>
<path fill="#F37056" d="M503.376,221.66c-0.172-2.607-0.598-5.354-1.188-8.191c-0.486,2.327-1.028,4.651-1.613,6.958
C501.561,220.979,502.502,221.418,503.376,221.66z"/>
<path fill="#F37056" d="M333.613,431.706c2.473,10.96,10.272,16.589,23.018,17.264C355.67,436.506,340.699,438.051,333.613,431.706
z"/>
<path fill="#F37056" d="M457.339,322.367c2.882,10.638,11.565,30.522,20.142,25.897
C469.118,341.283,466.702,328.352,457.339,322.367z"/>
<path fill="#F37056" d="M612.715,316.613c-5.726,7.828-3.226,26.66,8.633,25.895C620.713,331.634,624.276,316.567,612.715,316.613z
"/>
<path fill="#F37056" d="M675.856,231.276c1.558-4.553,2.999-9.222,4.199-14.134c8.91,10.386,3.006,26.675-5.728,38.041
c-1.132,21.552-1.289,42.471,1.689,61.431c16.882-26.089,6.238-92.453,8.631-123.727c12.837,6.35,2.355,36.018,5.755,51.793
c9.998-29.156,17.747-76.622,8.632-100.708c31.207-12.892,6.733-68.573,40.283-74.812c1.399,3.519,2.481,7.109,3.336,10.751
c4.207-11.24,7.807-22.055,9.335-32.533c1.185-8.138,5.844-22.544-5.755-28.774c-21.946,23.131-22.936,67.216-40.283,94.952
c-14.696-1.781-23.28,6.128-29.863,17.402C681.301,161.274,678.35,196.469,675.856,231.276z"/>
<path fill="#F37056" d="M579.348,274.688c-1.434-9.114-2.142-18.679-2.366-28.551c-3.036,20.503-1.369,43.75,9.838,50.334
c6.732-22.834,27.025-70.625,2.876-89.199c5.542-13.125,3.13-33.365,1.032-54.141c-0.779-0.859-1.652-1.627-2.747-2.169
C585.586,182.237,596.23,248.598,579.348,274.688z"/>
<path fill="#F37056" d="M642.368,184.844c-4.242,22.451-12.071,45.527,4.875,59.835c-2.124-18.231,1.93-45.861,0.506-62.69
c-1.584,1.338-3.273,2.521-5.099,3.502C642.546,185.28,642.469,185.058,642.368,184.844z"/>
<path fill="#F37056" d="M735.584,171.567c-3.144,20.468-4.104,39.732,3.734,55.847c28.184-15.123,24.885-76.587,63.302-71.934
c1.431-2.284,2.714-4.715,3.945-7.202c-0.443-9.034-3.183-16.45-11.417-20.335c17.382-20.041,34.624-55.513,31.652-86.321
c-9.649,3.774-13.927,12.925-23.02,17.264c-9.778,43.213-40.334,65.083-63.303,97.83
C737.782,160.567,737.619,166.937,735.584,171.567z"/>
<path fill="#F37056" d="M615.593,169.868c13.074-21.664,12.321-57.153,29.395-74.822c3.894-23.297,6.041-46.757-2.338-67.809
c-32.509,6.044-10.543,58.502-37.533,73.487C611.578,115.878,609.23,151.007,615.593,169.868z"/>
<path fill="#F37056" d="M989.466,132.274c-6.629,20.231-17.129,36.588-25.714,54.857c19.602,34.371-25.643,69.833-37.405,100.708
c8.093-4.883,15.348-10.604,22.084-16.849c5.897-8.486,12.911-15.855,20.705-22.443c7.69-9.467,14.92-19.396,22.237-29.24
c-6.167,3.535-12.203,5.396-17.828,3.588c2.141-21.838,30.402-17.553,37.405-34.528c-5.158-10.793-15.994,1.975-23.019-5.755
c4.613-24.188,44.166-28.692,40.283-51.792c-12.752,5.465-18.552,17.894-34.528,20.142
C993.687,143.325,992.877,136.5,989.466,132.274z"/>
<path fill="#F37056" d="M913.12,153.84c-5.465,6.44-10.646,13.165-15.746,19.968c4.431,4.585,5.854,11.127,5.926,18.638
c6.564-7.66,12.868-15.579,18.452-24.219c13.358-6.291,38.896-29.535,28.774-40.283C935.453,122.529,928.643,150.125,913.12,153.84
z"/>
<path fill="#F37056" d="M822.007,172.346c-3.472,14.691-4.96,30.12-2.122,46.437c16.079,3.051,12.233-12.965,17.264-20.142
c10.699-15.258,23.033-28.164,34.16-41.958c-0.713-3.833-2.051-7.663-4.227-11.476c12.263-26.102,28.465-48.266,31.651-83.443
c-13.611-8.084-16.202,7.488-25.896,11.51c3.957,9.104,0.631,9.615,0,20.142C855.191,119.025,840.405,147.489,822.007,172.346z"/>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 30 KiB

101
src/img/trpl04-01.svg
Unescape View File

@ -1,65 +1,68 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041) <!-- Generated by graphviz version 2.40.1 (20161225.0304)
--> -->
<!-- Title: %3 Pages: 1 --> <!-- Title: %3 Pages: 1 -->
<svg <svg
viewBox="0.00 0.00 1000.00 700.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> viewBox="0.00 0.00 1000.00 700.00" 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 152)"> <g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 152)">
<title>%3</title> <title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-152 233,-152 233,4 -4,4"/> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-152 233,-152 233,4 -4,4"/>
<!-- table0 --> <!-- table0 -->
<g id="node1" class="node"><title>table0</title> <g id="node1" class="node">
<polyline fill="none" stroke="black" points="8,-124 96,-124 "/> <title>table0</title>
<text text-anchor="start" x="45.7759" y="-129.8" font-family="Times,serif" font-size="14.00">s1</text> <polyline fill="none" stroke="#000000" points="8,-124 96,-124 "/>
<polygon fill="none" stroke="black" points="8,-104 8,-124 60,-124 60,-104 8,-104"/> <text text-anchor="start" x="45.7759" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">s1</text>
<text text-anchor="start" x="18.8413" y="-109.8" font-family="Times,serif" font-size="14.00">name</text> <polygon fill="none" stroke="#000000" points="8,-104 8,-124 60,-124 60,-104 8,-104"/>
<polygon fill="none" stroke="black" points="60,-104 60,-124 96,-124 96,-104 60,-104"/> <text text-anchor="start" x="18.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<text text-anchor="start" x="62.8413" y="-109.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="60,-104 60,-124 96,-124 96,-104 60,-104"/>
<polygon fill="none" stroke="black" points="8,-84 8,-104 60,-104 60,-84 8,-84"/> <text text-anchor="start" x="62.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="26.2241" y="-89.8" font-family="Times,serif" font-size="14.00">ptr</text> <polygon fill="none" stroke="#000000" points="8,-84 8,-104 60,-104 60,-84 8,-84"/>
<polygon fill="none" stroke="black" points="60,-84 60,-104 96,-104 96,-84 60,-84"/> <text text-anchor="start" x="26.2241" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="black" points="8,-64 8,-84 60,-84 60,-64 8,-64"/> <polygon fill="none" stroke="#000000" points="60,-84 60,-104 96,-104 96,-84 60,-84"/>
<text text-anchor="start" x="25.4482" y="-69.8" font-family="Times,serif" font-size="14.00">len</text> <polygon fill="none" stroke="#000000" points="8,-64 8,-84 60,-84 60,-64 8,-64"/>
<polygon fill="none" stroke="black" points="60,-64 60,-84 96,-84 96,-64 60,-64"/> <text text-anchor="start" x="25.4482" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<text text-anchor="start" x="74.5" y="-69.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-64 60,-84 96,-84 96,-64 60,-64"/>
<polygon fill="none" stroke="black" points="8,-44 8,-64 60,-64 60,-44 8,-44"/> <text text-anchor="start" x="74.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<text text-anchor="start" x="10.6826" y="-49.8" font-family="Times,serif" font-size="14.00">capacity</text> <polygon fill="none" stroke="#000000" points="8,-44 8,-64 60,-64 60,-44 8,-44"/>
<polygon fill="none" stroke="black" points="60,-44 60,-64 96,-64 96,-44 60,-44"/> <text text-anchor="start" x="10.6826" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<text text-anchor="start" x="74.5" y="-49.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-44 60,-64 96,-64 96,-44 60,-44"/>
<text text-anchor="start" x="74.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g> </g>
<!-- table1 --> <!-- table1 -->
<g id="node2" class="node"><title>table1</title> <g id="node2" class="node">
<polygon fill="none" stroke="black" points="148.5,-104 148.5,-124 185.5,-124 185.5,-104 148.5,-104"/> <title>table1</title>
<text text-anchor="start" x="151.448" y="-109.8" font-family="Times,serif" font-size="14.00">index</text> <polygon fill="none" stroke="#000000" points="148.5,-104 148.5,-124 185.5,-124 185.5,-104 148.5,-104"/>
<polygon fill="none" stroke="black" points="185.5,-104 185.5,-124 221.5,-124 221.5,-104 185.5,-104"/> <text text-anchor="start" x="151.4482" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<text text-anchor="start" x="188.341" y="-109.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="185.5,-104 185.5,-124 221.5,-124 221.5,-104 185.5,-104"/>
<polygon fill="none" stroke="black" points="148.5,-84 148.5,-104 185.5,-104 185.5,-84 148.5,-84"/> <text text-anchor="start" x="188.3413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="163.5" y="-89.8" font-family="Times,serif" font-size="14.00">0</text> <polygon fill="none" stroke="#000000" points="148.5,-84 148.5,-104 185.5,-104 185.5,-84 148.5,-84"/>
<polygon fill="none" stroke="black" points="185.5,-84 185.5,-104 221.5,-104 221.5,-84 185.5,-84"/> <text text-anchor="start" x="163.5" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<text text-anchor="start" x="200" y="-89.8" font-family="Times,serif" font-size="14.00">h</text> <polygon fill="none" stroke="#000000" points="185.5,-84 185.5,-104 221.5,-104 221.5,-84 185.5,-84"/>
<polygon fill="none" stroke="black" points="148.5,-64 148.5,-84 185.5,-84 185.5,-64 148.5,-64"/> <text text-anchor="start" x="200" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<text text-anchor="start" x="163.5" y="-69.8" font-family="Times,serif" font-size="14.00">1</text> <polygon fill="none" stroke="#000000" points="148.5,-64 148.5,-84 185.5,-84 185.5,-64 148.5,-64"/>
<polygon fill="none" stroke="black" points="185.5,-64 185.5,-84 221.5,-84 221.5,-64 185.5,-64"/> <text text-anchor="start" x="163.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<text text-anchor="start" x="200.393" y="-69.8" font-family="Times,serif" font-size="14.00">e</text> <polygon fill="none" stroke="#000000" points="185.5,-64 185.5,-84 221.5,-84 221.5,-64 185.5,-64"/>
<polygon fill="none" stroke="black" points="148.5,-44 148.5,-64 185.5,-64 185.5,-44 148.5,-44"/> <text text-anchor="start" x="200.3931" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<text text-anchor="start" x="163.5" y="-49.8" font-family="Times,serif" font-size="14.00">2</text> <polygon fill="none" stroke="#000000" points="148.5,-44 148.5,-64 185.5,-64 185.5,-44 148.5,-44"/>
<polygon fill="none" stroke="black" points="185.5,-44 185.5,-64 221.5,-64 221.5,-44 185.5,-44"/> <text text-anchor="start" x="163.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<text text-anchor="start" x="201.555" y="-49.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-44 185.5,-64 221.5,-64 221.5,-44 185.5,-44"/>
<polygon fill="none" stroke="black" points="148.5,-24 148.5,-44 185.5,-44 185.5,-24 148.5,-24"/> <text text-anchor="start" x="201.5552" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-29.8" font-family="Times,serif" font-size="14.00">3</text> <polygon fill="none" stroke="#000000" points="148.5,-24 148.5,-44 185.5,-44 185.5,-24 148.5,-24"/>
<polygon fill="none" stroke="black" points="185.5,-24 185.5,-44 221.5,-44 221.5,-24 185.5,-24"/> <text text-anchor="start" x="163.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<text text-anchor="start" x="201.555" y="-29.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-24 185.5,-44 221.5,-44 221.5,-24 185.5,-24"/>
<polygon fill="none" stroke="black" points="148.5,-4 148.5,-24 185.5,-24 185.5,-4 148.5,-4"/> <text text-anchor="start" x="201.5552" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-9.8" font-family="Times,serif" font-size="14.00">4</text> <polygon fill="none" stroke="#000000" points="148.5,-4 148.5,-24 185.5,-24 185.5,-4 148.5,-4"/>
<polygon fill="none" stroke="black" points="185.5,-4 185.5,-24 221.5,-24 221.5,-4 185.5,-4"/> <text text-anchor="start" x="163.5" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<text text-anchor="start" x="200" y="-9.8" font-family="Times,serif" font-size="14.00">o</text> <polygon fill="none" stroke="#000000" points="185.5,-4 185.5,-24 221.5,-24 221.5,-4 185.5,-4"/>
<text text-anchor="start" x="200" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g> </g>
<!-- table0&#45;&gt;table1 --> <!-- table0&#45;&gt;table1 -->
<g id="edge1" class="edge"><title>table0:pointer:c&#45;&gt;table1:pointee</title> <g id="edge1" class="edge">
<path fill="none" stroke="black" d="M79,-94C79,-94 109.186,-94 137.297,-94"/> <title>table0:c&#45;&gt;table1:pointee</title>
<polygon fill="black" stroke="black" points="137.5,-97.5001 147.5,-94 137.5,-90.5001 137.5,-97.5001"/> <path fill="none" stroke="#000000" d="M78,-94C78,-94 109.3406,-94 138.3797,-94"/>
<polygon fill="#000000" stroke="#000000" points="138.5,-97.5001 148.5,-94 138.5,-90.5001 138.5,-97.5001"/>
</g> </g>
</g> </g>
</svg> </svg>

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 4.8 KiB

After

Width:  |  Height:  |  Size: 5.2 KiB

145
src/img/trpl04-02.svg
Unescape View File

@ -1,90 +1,95 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041) <!-- Generated by graphviz version 2.40.1 (20161225.0304)
--> -->
<!-- Title: %3 Pages: 1 --> <!-- Title: %3 Pages: 1 -->
<svg <svg
viewBox="0.00 0.00 1000.00 1000.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> viewBox="0.00 0.00 1000.00 1000.00" 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 238)"> <g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 238)">
<title>%3</title> <title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-238 233,-238 233,4 -4,4"/> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-238 233,-238 233,4 -4,4"/>
<!-- table0 --> <!-- table0 -->
<g id="node1" class="node"><title>table0</title> <g id="node1" class="node">
<polyline fill="none" stroke="black" points="8,-210 96,-210 "/> <title>table0</title>
<text text-anchor="start" x="45.7759" y="-215.8" font-family="Times,serif" font-size="14.00">s1</text> <polyline fill="none" stroke="#000000" points="8,-210 96,-210 "/>
<polygon fill="none" stroke="black" points="8,-190 8,-210 60,-210 60,-190 8,-190"/> <text text-anchor="start" x="45.7759" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">s1</text>
<text text-anchor="start" x="18.8413" y="-195.8" font-family="Times,serif" font-size="14.00">name</text> <polygon fill="none" stroke="#000000" points="8,-190 8,-210 60,-210 60,-190 8,-190"/>
<polygon fill="none" stroke="black" points="60,-190 60,-210 96,-210 96,-190 60,-190"/> <text text-anchor="start" x="18.8413" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<text text-anchor="start" x="62.8413" y="-195.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="60,-190 60,-210 96,-210 96,-190 60,-190"/>
<polygon fill="none" stroke="black" points="8,-170 8,-190 60,-190 60,-170 8,-170"/> <text text-anchor="start" x="62.8413" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="26.2241" y="-175.8" font-family="Times,serif" font-size="14.00">ptr</text> <polygon fill="none" stroke="#000000" points="8,-170 8,-190 60,-190 60,-170 8,-170"/>
<polygon fill="none" stroke="black" points="60,-170 60,-190 96,-190 96,-170 60,-170"/> <text text-anchor="start" x="26.2241" y="-175.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="black" points="8,-150 8,-170 60,-170 60,-150 8,-150"/> <polygon fill="none" stroke="#000000" points="60,-170 60,-190 96,-190 96,-170 60,-170"/>
<text text-anchor="start" x="25.4482" y="-155.8" font-family="Times,serif" font-size="14.00">len</text> <polygon fill="none" stroke="#000000" points="8,-150 8,-170 60,-170 60,-150 8,-150"/>
<polygon fill="none" stroke="black" points="60,-150 60,-170 96,-170 96,-150 60,-150"/> <text text-anchor="start" x="25.4482" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<text text-anchor="start" x="74.5" y="-155.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-150 60,-170 96,-170 96,-150 60,-150"/>
<polygon fill="none" stroke="black" points="8,-130 8,-150 60,-150 60,-130 8,-130"/> <text text-anchor="start" x="74.5" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<text text-anchor="start" x="10.6826" y="-135.8" font-family="Times,serif" font-size="14.00">capacity</text> <polygon fill="none" stroke="#000000" points="8,-130 8,-150 60,-150 60,-130 8,-130"/>
<polygon fill="none" stroke="black" points="60,-130 60,-150 96,-150 96,-130 60,-130"/> <text text-anchor="start" x="10.6826" y="-135.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<text text-anchor="start" x="74.5" y="-135.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-130 60,-150 96,-150 96,-130 60,-130"/>
<text text-anchor="start" x="74.5" y="-135.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g> </g>
<!-- table1 --> <!-- table1 -->
<g id="node3" class="node"><title>table1</title> <g id="node3" class="node">
<polygon fill="none" stroke="black" points="148.5,-127 148.5,-147 185.5,-147 185.5,-127 148.5,-127"/> <title>table1</title>
<text text-anchor="start" x="151.448" y="-132.8" font-family="Times,serif" font-size="14.00">index</text> <polygon fill="none" stroke="#000000" points="148.5,-127 148.5,-147 185.5,-147 185.5,-127 148.5,-127"/>
<polygon fill="none" stroke="black" points="185.5,-127 185.5,-147 221.5,-147 221.5,-127 185.5,-127"/> <text text-anchor="start" x="151.4482" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<text text-anchor="start" x="188.341" y="-132.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="185.5,-127 185.5,-147 221.5,-147 221.5,-127 185.5,-127"/>
<polygon fill="none" stroke="black" points="148.5,-107 148.5,-127 185.5,-127 185.5,-107 148.5,-107"/> <text text-anchor="start" x="188.3413" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="163.5" y="-112.8" font-family="Times,serif" font-size="14.00">0</text> <polygon fill="none" stroke="#000000" points="148.5,-107 148.5,-127 185.5,-127 185.5,-107 148.5,-107"/>
<polygon fill="none" stroke="black" points="185.5,-107 185.5,-127 221.5,-127 221.5,-107 185.5,-107"/> <text text-anchor="start" x="163.5" y="-112.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<text text-anchor="start" x="200" y="-112.8" font-family="Times,serif" font-size="14.00">h</text> <polygon fill="none" stroke="#000000" points="185.5,-107 185.5,-127 221.5,-127 221.5,-107 185.5,-107"/>
<polygon fill="none" stroke="black" points="148.5,-87 148.5,-107 185.5,-107 185.5,-87 148.5,-87"/> <text text-anchor="start" x="200" y="-112.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<text text-anchor="start" x="163.5" y="-92.8" font-family="Times,serif" font-size="14.00">1</text> <polygon fill="none" stroke="#000000" points="148.5,-87 148.5,-107 185.5,-107 185.5,-87 148.5,-87"/>
<polygon fill="none" stroke="black" points="185.5,-87 185.5,-107 221.5,-107 221.5,-87 185.5,-87"/> <text text-anchor="start" x="163.5" y="-92.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<text text-anchor="start" x="200.393" y="-92.8" font-family="Times,serif" font-size="14.00">e</text> <polygon fill="none" stroke="#000000" points="185.5,-87 185.5,-107 221.5,-107 221.5,-87 185.5,-87"/>
<polygon fill="none" stroke="black" points="148.5,-67 148.5,-87 185.5,-87 185.5,-67 148.5,-67"/> <text text-anchor="start" x="200.3931" y="-92.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<text text-anchor="start" x="163.5" y="-72.8" font-family="Times,serif" font-size="14.00">2</text> <polygon fill="none" stroke="#000000" points="148.5,-67 148.5,-87 185.5,-87 185.5,-67 148.5,-67"/>
<polygon fill="none" stroke="black" points="185.5,-67 185.5,-87 221.5,-87 221.5,-67 185.5,-67"/> <text text-anchor="start" x="163.5" y="-72.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<text text-anchor="start" x="201.555" y="-72.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-67 185.5,-87 221.5,-87 221.5,-67 185.5,-67"/>
<polygon fill="none" stroke="black" points="148.5,-47 148.5,-67 185.5,-67 185.5,-47 148.5,-47"/> <text text-anchor="start" x="201.5552" y="-72.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-52.8" font-family="Times,serif" font-size="14.00">3</text> <polygon fill="none" stroke="#000000" points="148.5,-47 148.5,-67 185.5,-67 185.5,-47 148.5,-47"/>
<polygon fill="none" stroke="black" points="185.5,-47 185.5,-67 221.5,-67 221.5,-47 185.5,-47"/> <text text-anchor="start" x="163.5" y="-52.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<text text-anchor="start" x="201.555" y="-52.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-47 185.5,-67 221.5,-67 221.5,-47 185.5,-47"/>
<polygon fill="none" stroke="black" points="148.5,-27 148.5,-47 185.5,-47 185.5,-27 148.5,-27"/> <text text-anchor="start" x="201.5552" y="-52.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-32.8" font-family="Times,serif" font-size="14.00">4</text> <polygon fill="none" stroke="#000000" points="148.5,-27 148.5,-47 185.5,-47 185.5,-27 148.5,-27"/>
<polygon fill="none" stroke="black" points="185.5,-27 185.5,-47 221.5,-47 221.5,-27 185.5,-27"/> <text text-anchor="start" x="163.5" y="-32.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<text text-anchor="start" x="200" y="-32.8" font-family="Times,serif" font-size="14.00">o</text> <polygon fill="none" stroke="#000000" points="185.5,-27 185.5,-47 221.5,-47 221.5,-27 185.5,-27"/>
<text text-anchor="start" x="200" y="-32.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g> </g>
<!-- table0&#45;&gt;table1 --> <!-- table0&#45;&gt;table1 -->
<g id="edge1" class="edge"><title>table0:pointer:c&#45;&gt;table1:pointee</title> <g id="edge1" class="edge">
<path fill="none" stroke="black" d="M79,-180C79,-180 101.674,-127.363 137.16,-118.316"/> <title>table0:c&#45;&gt;table1:pointee</title>
<polygon fill="black" stroke="black" points="138.022,-121.734 147.5,-117 137.138,-114.79 138.022,-121.734"/> <path fill="none" stroke="#000000" d="M78,-180C78,-180 101.9982,-126.912 138.4405,-118.2023"/>
<polygon fill="#000000" stroke="#000000" points="138.986,-121.6621 148.5,-117 138.1553,-114.7115 138.986,-121.6621"/>
</g> </g>
<!-- table3 --> <!-- table3 -->
<g id="node2" class="node"><title>table3</title> <g id="node2" class="node">
<polyline fill="none" stroke="black" points="8,-84 96,-84 "/> <title>table3</title>
<text text-anchor="start" x="45.7759" y="-89.8" font-family="Times,serif" font-size="14.00">s2</text> <polyline fill="none" stroke="#000000" points="8,-84 96,-84 "/>
<polygon fill="none" stroke="black" points="8,-64 8,-84 60,-84 60,-64 8,-64"/> <text text-anchor="start" x="45.7759" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">s2</text>
<text text-anchor="start" x="18.8413" y="-69.8" font-family="Times,serif" font-size="14.00">name</text> <polygon fill="none" stroke="#000000" points="8,-64 8,-84 60,-84 60,-64 8,-64"/>
<polygon fill="none" stroke="black" points="60,-64 60,-84 96,-84 96,-64 60,-64"/> <text text-anchor="start" x="18.8413" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<text text-anchor="start" x="62.8413" y="-69.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="60,-64 60,-84 96,-84 96,-64 60,-64"/>
<polygon fill="none" stroke="black" points="8,-44 8,-64 60,-64 60,-44 8,-44"/> <text text-anchor="start" x="62.8413" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="26.2241" y="-49.8" font-family="Times,serif" font-size="14.00">ptr</text> <polygon fill="none" stroke="#000000" points="8,-44 8,-64 60,-64 60,-44 8,-44"/>
<polygon fill="none" stroke="black" points="60,-44 60,-64 96,-64 96,-44 60,-44"/> <text text-anchor="start" x="26.2241" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="black" points="8,-24 8,-44 60,-44 60,-24 8,-24"/> <polygon fill="none" stroke="#000000" points="60,-44 60,-64 96,-64 96,-44 60,-44"/>
<text text-anchor="start" x="25.4482" y="-29.8" font-family="Times,serif" font-size="14.00">len</text> <polygon fill="none" stroke="#000000" points="8,-24 8,-44 60,-44 60,-24 8,-24"/>
<polygon fill="none" stroke="black" points="60,-24 60,-44 96,-44 96,-24 60,-24"/> <text text-anchor="start" x="25.4482" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<text text-anchor="start" x="74.5" y="-29.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-24 60,-44 96,-44 96,-24 60,-24"/>
<polygon fill="none" stroke="black" points="8,-4 8,-24 60,-24 60,-4 8,-4"/> <text text-anchor="start" x="74.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<text text-anchor="start" x="10.6826" y="-9.8" font-family="Times,serif" font-size="14.00">capacity</text> <polygon fill="none" stroke="#000000" points="8,-4 8,-24 60,-24 60,-4 8,-4"/>
<polygon fill="none" stroke="black" points="60,-4 60,-24 96,-24 96,-4 60,-4"/> <text text-anchor="start" x="10.6826" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<text text-anchor="start" x="74.5" y="-9.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-4 60,-24 96,-24 96,-4 60,-4"/>
<text text-anchor="start" x="74.5" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g> </g>
<!-- table3&#45;&gt;table1 --> <!-- table3&#45;&gt;table1 -->
<g id="edge2" class="edge"><title>table3:pointer:c&#45;&gt;table1:pointee</title> <g id="edge2" class="edge">
<path fill="none" stroke="black" d="M79,-54C79,-54 101.674,-106.637 137.16,-115.684"/> <title>table3:c&#45;&gt;table1:pointee</title>
<polygon fill="black" stroke="black" points="137.138,-119.21 147.5,-117 138.022,-112.266 137.138,-119.21"/> <path fill="none" stroke="#000000" d="M78,-54C78,-54 101.9982,-107.088 138.4405,-115.7977"/>
<polygon fill="#000000" stroke="#000000" points="138.1553,-119.2885 148.5,-117 138.986,-112.3379 138.1553,-119.2885"/>
</g> </g>
</g> </g>
</svg> </svg>

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 6.7 KiB

After

Width:  |  Height:  |  Size: 7.2 KiB

196
src/img/trpl04-03.svg
Unescape View File

@ -1,117 +1,123 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041) <!-- Generated by graphviz version 2.40.1 (20161225.0304)
--> -->
<!-- Title: %3 Pages: 1 --> <!-- Title: %3 Pages: 1 -->
<svg <svg
viewBox="0.00 0.00 1000.00 1300.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> viewBox="0.00 0.00 1000.00 1300.00" 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 298)"> <g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 298)">
<title>%3</title> <title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-298 233,-298 233,4 -4,4"/> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-298 233,-298 233,4 -4,4"/>
<!-- table0 --> <!-- table0 -->
<g id="node1" class="node"><title>table0</title> <g id="node1" class="node">
<polyline fill="none" stroke="black" points="8,-124 96,-124 "/> <title>table0</title>
<text text-anchor="start" x="45.7759" y="-129.8" font-family="Times,serif" font-size="14.00">s2</text> <polyline fill="none" stroke="#000000" points="8,-124 96,-124 "/>
<polygon fill="none" stroke="black" points="8,-104 8,-124 60,-124 60,-104 8,-104"/> <text text-anchor="start" x="45.7759" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">s2</text>
<text text-anchor="start" x="18.8413" y="-109.8" font-family="Times,serif" font-size="14.00">name</text> <polygon fill="none" stroke="#000000" points="8,-104 8,-124 60,-124 60,-104 8,-104"/>
<polygon fill="none" stroke="black" points="60,-104 60,-124 96,-124 96,-104 60,-104"/> <text text-anchor="start" x="18.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<text text-anchor="start" x="62.8413" y="-109.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="60,-104 60,-124 96,-124 96,-104 60,-104"/>
<polygon fill="none" stroke="black" points="8,-84 8,-104 60,-104 60,-84 8,-84"/> <text text-anchor="start" x="62.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="26.2241" y="-89.8" font-family="Times,serif" font-size="14.00">ptr</text> <polygon fill="none" stroke="#000000" points="8,-84 8,-104 60,-104 60,-84 8,-84"/>
<polygon fill="none" stroke="black" points="60,-84 60,-104 96,-104 96,-84 60,-84"/> <text text-anchor="start" x="26.2241" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="black" points="8,-64 8,-84 60,-84 60,-64 8,-64"/> <polygon fill="none" stroke="#000000" points="60,-84 60,-104 96,-104 96,-84 60,-84"/>
<text text-anchor="start" x="25.4482" y="-69.8" font-family="Times,serif" font-size="14.00">len</text> <polygon fill="none" stroke="#000000" points="8,-64 8,-84 60,-84 60,-64 8,-64"/>
<polygon fill="none" stroke="black" points="60,-64 60,-84 96,-84 96,-64 60,-64"/> <text text-anchor="start" x="25.4482" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<text text-anchor="start" x="74.5" y="-69.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-64 60,-84 96,-84 96,-64 60,-64"/>
<polygon fill="none" stroke="black" points="8,-44 8,-64 60,-64 60,-44 8,-44"/> <text text-anchor="start" x="74.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<text text-anchor="start" x="10.6826" y="-49.8" font-family="Times,serif" font-size="14.00">capacity</text> <polygon fill="none" stroke="#000000" points="8,-44 8,-64 60,-64 60,-44 8,-44"/>
<polygon fill="none" stroke="black" points="60,-44 60,-64 96,-64 96,-44 60,-44"/> <text text-anchor="start" x="10.6826" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<text text-anchor="start" x="74.5" y="-49.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-44 60,-64 96,-64 96,-44 60,-44"/>
<text text-anchor="start" x="74.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g> </g>
<!-- table1 --> <!-- table1 -->
<g id="node2" class="node"><title>table1</title> <g id="node2" class="node">
<polygon fill="none" stroke="black" points="148.5,-104 148.5,-124 185.5,-124 185.5,-104 148.5,-104"/> <title>table1</title>
<text text-anchor="start" x="151.448" y="-109.8" font-family="Times,serif" font-size="14.00">index</text> <polygon fill="none" stroke="#000000" points="148.5,-104 148.5,-124 185.5,-124 185.5,-104 148.5,-104"/>
<polygon fill="none" stroke="black" points="185.5,-104 185.5,-124 221.5,-124 221.5,-104 185.5,-104"/> <text text-anchor="start" x="151.4482" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<text text-anchor="start" x="188.341" y="-109.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="185.5,-104 185.5,-124 221.5,-124 221.5,-104 185.5,-104"/>
<polygon fill="none" stroke="black" points="148.5,-84 148.5,-104 185.5,-104 185.5,-84 148.5,-84"/> <text text-anchor="start" x="188.3413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="163.5" y="-89.8" font-family="Times,serif" font-size="14.00">0</text> <polygon fill="none" stroke="#000000" points="148.5,-84 148.5,-104 185.5,-104 185.5,-84 148.5,-84"/>
<polygon fill="none" stroke="black" points="185.5,-84 185.5,-104 221.5,-104 221.5,-84 185.5,-84"/> <text text-anchor="start" x="163.5" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<text text-anchor="start" x="200" y="-89.8" font-family="Times,serif" font-size="14.00">h</text> <polygon fill="none" stroke="#000000" points="185.5,-84 185.5,-104 221.5,-104 221.5,-84 185.5,-84"/>
<polygon fill="none" stroke="black" points="148.5,-64 148.5,-84 185.5,-84 185.5,-64 148.5,-64"/> <text text-anchor="start" x="200" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<text text-anchor="start" x="163.5" y="-69.8" font-family="Times,serif" font-size="14.00">1</text> <polygon fill="none" stroke="#000000" points="148.5,-64 148.5,-84 185.5,-84 185.5,-64 148.5,-64"/>
<polygon fill="none" stroke="black" points="185.5,-64 185.5,-84 221.5,-84 221.5,-64 185.5,-64"/> <text text-anchor="start" x="163.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<text text-anchor="start" x="200.393" y="-69.8" font-family="Times,serif" font-size="14.00">e</text> <polygon fill="none" stroke="#000000" points="185.5,-64 185.5,-84 221.5,-84 221.5,-64 185.5,-64"/>
<polygon fill="none" stroke="black" points="148.5,-44 148.5,-64 185.5,-64 185.5,-44 148.5,-44"/> <text text-anchor="start" x="200.3931" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<text text-anchor="start" x="163.5" y="-49.8" font-family="Times,serif" font-size="14.00">2</text> <polygon fill="none" stroke="#000000" points="148.5,-44 148.5,-64 185.5,-64 185.5,-44 148.5,-44"/>
<polygon fill="none" stroke="black" points="185.5,-44 185.5,-64 221.5,-64 221.5,-44 185.5,-44"/> <text text-anchor="start" x="163.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<text text-anchor="start" x="201.555" y="-49.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-44 185.5,-64 221.5,-64 221.5,-44 185.5,-44"/>
<polygon fill="none" stroke="black" points="148.5,-24 148.5,-44 185.5,-44 185.5,-24 148.5,-24"/> <text text-anchor="start" x="201.5552" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-29.8" font-family="Times,serif" font-size="14.00">3</text> <polygon fill="none" stroke="#000000" points="148.5,-24 148.5,-44 185.5,-44 185.5,-24 148.5,-24"/>
<polygon fill="none" stroke="black" points="185.5,-24 185.5,-44 221.5,-44 221.5,-24 185.5,-24"/> <text text-anchor="start" x="163.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<text text-anchor="start" x="201.555" y="-29.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-24 185.5,-44 221.5,-44 221.5,-24 185.5,-24"/>
<polygon fill="none" stroke="black" points="148.5,-4 148.5,-24 185.5,-24 185.5,-4 148.5,-4"/> <text text-anchor="start" x="201.5552" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-9.8" font-family="Times,serif" font-size="14.00">4</text> <polygon fill="none" stroke="#000000" points="148.5,-4 148.5,-24 185.5,-24 185.5,-4 148.5,-4"/>
<polygon fill="none" stroke="black" points="185.5,-4 185.5,-24 221.5,-24 221.5,-4 185.5,-4"/> <text text-anchor="start" x="163.5" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<text text-anchor="start" x="200" y="-9.8" font-family="Times,serif" font-size="14.00">o</text> <polygon fill="none" stroke="#000000" points="185.5,-4 185.5,-24 221.5,-24 221.5,-4 185.5,-4"/>
<text text-anchor="start" x="200" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g> </g>
<!-- table0&#45;&gt;table1 --> <!-- table0&#45;&gt;table1 -->
<g id="edge1" class="edge"><title>table0:pointer:c&#45;&gt;table1:pointee</title> <g id="edge1" class="edge">
<path fill="none" stroke="black" d="M79,-94C79,-94 109.186,-94 137.297,-94"/> <title>table0:c&#45;&gt;table1:pointee</title>
<polygon fill="black" stroke="black" points="137.5,-97.5001 147.5,-94 137.5,-90.5001 137.5,-97.5001"/> <path fill="none" stroke="#000000" d="M78,-94C78,-94 109.3406,-94 138.3797,-94"/>
<polygon fill="#000000" stroke="#000000" points="138.5,-97.5001 148.5,-94 138.5,-90.5001 138.5,-97.5001"/>
</g> </g>
<!-- table3 --> <!-- table3 -->
<g id="node3" class="node"><title>table3</title> <g id="node3" class="node">
<polyline fill="none" stroke="black" points="8,-270 96,-270 "/> <title>table3</title>
<text text-anchor="start" x="45.7759" y="-275.8" font-family="Times,serif" font-size="14.00">s1</text> <polyline fill="none" stroke="#000000" points="8,-270 96,-270 "/>
<polygon fill="none" stroke="black" points="8,-250 8,-270 60,-270 60,-250 8,-250"/> <text text-anchor="start" x="45.7759" y="-275.8" font-family="Times,serif" font-size="14.00" fill="#000000">s1</text>
<text text-anchor="start" x="18.8413" y="-255.8" font-family="Times,serif" font-size="14.00">name</text> <polygon fill="none" stroke="#000000" points="8,-250 8,-270 60,-270 60,-250 8,-250"/>
<polygon fill="none" stroke="black" points="60,-250 60,-270 96,-270 96,-250 60,-250"/> <text text-anchor="start" x="18.8413" y="-255.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<text text-anchor="start" x="62.8413" y="-255.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="60,-250 60,-270 96,-270 96,-250 60,-250"/>
<polygon fill="none" stroke="black" points="8,-230 8,-250 60,-250 60,-230 8,-230"/> <text text-anchor="start" x="62.8413" y="-255.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="26.2241" y="-235.8" font-family="Times,serif" font-size="14.00">ptr</text> <polygon fill="none" stroke="#000000" points="8,-230 8,-250 60,-250 60,-230 8,-230"/>
<polygon fill="none" stroke="black" points="60,-230 60,-250 96,-250 96,-230 60,-230"/> <text text-anchor="start" x="26.2241" y="-235.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="black" points="8,-210 8,-230 60,-230 60,-210 8,-210"/> <polygon fill="none" stroke="#000000" points="60,-230 60,-250 96,-250 96,-230 60,-230"/>
<text text-anchor="start" x="25.4482" y="-215.8" font-family="Times,serif" font-size="14.00">len</text> <polygon fill="none" stroke="#000000" points="8,-210 8,-230 60,-230 60,-210 8,-210"/>
<polygon fill="none" stroke="black" points="60,-210 60,-230 96,-230 96,-210 60,-210"/> <text text-anchor="start" x="25.4482" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<text text-anchor="start" x="74.5" y="-215.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-210 60,-230 96,-230 96,-210 60,-210"/>
<polygon fill="none" stroke="black" points="8,-190 8,-210 60,-210 60,-190 8,-190"/> <text text-anchor="start" x="74.5" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<text text-anchor="start" x="10.6826" y="-195.8" font-family="Times,serif" font-size="14.00">capacity</text> <polygon fill="none" stroke="#000000" points="8,-190 8,-210 60,-210 60,-190 8,-190"/>
<polygon fill="none" stroke="black" points="60,-190 60,-210 96,-210 96,-190 60,-190"/> <text text-anchor="start" x="10.6826" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<text text-anchor="start" x="74.5" y="-195.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-190 60,-210 96,-210 96,-190 60,-190"/>
<text text-anchor="start" x="74.5" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g> </g>
<!-- table4 --> <!-- table4 -->
<g id="node4" class="node"><title>table4</title> <g id="node4" class="node">
<polygon fill="none" stroke="black" points="148.5,-250 148.5,-270 185.5,-270 185.5,-250 148.5,-250"/> <title>table4</title>
<text text-anchor="start" x="151.448" y="-255.8" font-family="Times,serif" font-size="14.00">index</text> <polygon fill="none" stroke="#000000" points="148.5,-250 148.5,-270 185.5,-270 185.5,-250 148.5,-250"/>
<polygon fill="none" stroke="black" points="185.5,-250 185.5,-270 221.5,-270 221.5,-250 185.5,-250"/> <text text-anchor="start" x="151.4482" y="-255.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<text text-anchor="start" x="188.341" y="-255.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="185.5,-250 185.5,-270 221.5,-270 221.5,-250 185.5,-250"/>
<polygon fill="none" stroke="black" points="148.5,-230 148.5,-250 185.5,-250 185.5,-230 148.5,-230"/> <text text-anchor="start" x="188.3413" y="-255.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="163.5" y="-235.8" font-family="Times,serif" font-size="14.00">0</text> <polygon fill="none" stroke="#000000" points="148.5,-230 148.5,-250 185.5,-250 185.5,-230 148.5,-230"/>
<polygon fill="none" stroke="black" points="185.5,-230 185.5,-250 221.5,-250 221.5,-230 185.5,-230"/> <text text-anchor="start" x="163.5" y="-235.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<text text-anchor="start" x="200" y="-235.8" font-family="Times,serif" font-size="14.00">h</text> <polygon fill="none" stroke="#000000" points="185.5,-230 185.5,-250 221.5,-250 221.5,-230 185.5,-230"/>
<polygon fill="none" stroke="black" points="148.5,-210 148.5,-230 185.5,-230 185.5,-210 148.5,-210"/> <text text-anchor="start" x="200" y="-235.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<text text-anchor="start" x="163.5" y="-215.8" font-family="Times,serif" font-size="14.00">1</text> <polygon fill="none" stroke="#000000" points="148.5,-210 148.5,-230 185.5,-230 185.5,-210 148.5,-210"/>
<polygon fill="none" stroke="black" points="185.5,-210 185.5,-230 221.5,-230 221.5,-210 185.5,-210"/> <text text-anchor="start" x="163.5" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<text text-anchor="start" x="200.393" y="-215.8" font-family="Times,serif" font-size="14.00">e</text> <polygon fill="none" stroke="#000000" points="185.5,-210 185.5,-230 221.5,-230 221.5,-210 185.5,-210"/>
<polygon fill="none" stroke="black" points="148.5,-190 148.5,-210 185.5,-210 185.5,-190 148.5,-190"/> <text text-anchor="start" x="200.3931" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<text text-anchor="start" x="163.5" y="-195.8" font-family="Times,serif" font-size="14.00">2</text> <polygon fill="none" stroke="#000000" points="148.5,-190 148.5,-210 185.5,-210 185.5,-190 148.5,-190"/>
<polygon fill="none" stroke="black" points="185.5,-190 185.5,-210 221.5,-210 221.5,-190 185.5,-190"/> <text text-anchor="start" x="163.5" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<text text-anchor="start" x="201.555" y="-195.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-190 185.5,-210 221.5,-210 221.5,-190 185.5,-190"/>
<polygon fill="none" stroke="black" points="148.5,-170 148.5,-190 185.5,-190 185.5,-170 148.5,-170"/> <text text-anchor="start" x="201.5552" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-175.8" font-family="Times,serif" font-size="14.00">3</text> <polygon fill="none" stroke="#000000" points="148.5,-170 148.5,-190 185.5,-190 185.5,-170 148.5,-170"/>
<polygon fill="none" stroke="black" points="185.5,-170 185.5,-190 221.5,-190 221.5,-170 185.5,-170"/> <text text-anchor="start" x="163.5" y="-175.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<text text-anchor="start" x="201.555" y="-175.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-170 185.5,-190 221.5,-190 221.5,-170 185.5,-170"/>
<polygon fill="none" stroke="black" points="148.5,-150 148.5,-170 185.5,-170 185.5,-150 148.5,-150"/> <text text-anchor="start" x="201.5552" y="-175.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-155.8" font-family="Times,serif" font-size="14.00">4</text> <polygon fill="none" stroke="#000000" points="148.5,-150 148.5,-170 185.5,-170 185.5,-150 148.5,-150"/>
<polygon fill="none" stroke="black" points="185.5,-150 185.5,-170 221.5,-170 221.5,-150 185.5,-150"/> <text text-anchor="start" x="163.5" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<text text-anchor="start" x="200" y="-155.8" font-family="Times,serif" font-size="14.00">o</text> <polygon fill="none" stroke="#000000" points="185.5,-150 185.5,-170 221.5,-170 221.5,-150 185.5,-150"/>
<text text-anchor="start" x="200" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g> </g>
<!-- table3&#45;&gt;table4 --> <!-- table3&#45;&gt;table4 -->
<g id="edge2" class="edge"><title>table3:pointer:c&#45;&gt;table4:pointee</title> <g id="edge2" class="edge">
<path fill="none" stroke="black" d="M79,-240C79,-240 109.186,-240 137.297,-240"/> <title>table3:c&#45;&gt;table4:pointee</title>
<polygon fill="black" stroke="black" points="137.5,-243.5 147.5,-240 137.5,-236.5 137.5,-243.5"/> <path fill="none" stroke="#000000" d="M78,-240C78,-240 109.3406,-240 138.3797,-240"/>
<polygon fill="#000000" stroke="#000000" points="138.5,-243.5001 148.5,-240 138.5,-236.5001 138.5,-243.5001"/>
</g> </g>
</g> </g>
</svg> </svg>

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 9.2 KiB

After

Width:  |  Height:  |  Size: 9.9 KiB

147
src/img/trpl04-04.svg
Unescape View File

@ -1,91 +1,96 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041) <!-- Generated by graphviz version 2.40.1 (20161225.0304)
--> -->
<!-- Title: %3 Pages: 1 --> <!-- Title: %3 Pages: 1 -->
<svg <svg
viewBox="0.00 0.00 1000.00 1000.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> viewBox="0.00 0.00 1000.00 1000.00" 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 238)"> <g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 238)">
<title>%3</title> <title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-238 233,-238 233,4 -4,4"/> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-238 233,-238 233,4 -4,4"/>
<!-- table0 --> <!-- table0 -->
<g id="node1" class="node"><title>table0</title> <g id="node1" class="node">
<polygon fill="gray" stroke="none" points="8,-130 8,-230 96,-230 96,-130 8,-130"/> <title>table0</title>
<polyline fill="none" stroke="black" points="8,-210 96,-210 "/> <polygon fill="#c0c0c0" stroke="transparent" points="8,-130 8,-230 96,-230 96,-130 8,-130"/>
<text text-anchor="start" x="45.7759" y="-215.8" font-family="Times,serif" font-size="14.00">s1</text> <polyline fill="none" stroke="#000000" points="8,-210 96,-210 "/>
<polygon fill="none" stroke="black" points="8,-190 8,-210 60,-210 60,-190 8,-190"/> <text text-anchor="start" x="45.7759" y="-215.8" font-family="Times,serif" font-size="14.00" fill="#000000">s1</text>
<text text-anchor="start" x="18.8413" y="-195.8" font-family="Times,serif" font-size="14.00">name</text> <polygon fill="none" stroke="#000000" points="8,-190 8,-210 60,-210 60,-190 8,-190"/>
<polygon fill="none" stroke="black" points="60,-190 60,-210 96,-210 96,-190 60,-190"/> <text text-anchor="start" x="18.8413" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<text text-anchor="start" x="62.8413" y="-195.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="60,-190 60,-210 96,-210 96,-190 60,-190"/>
<polygon fill="none" stroke="black" points="8,-170 8,-190 60,-190 60,-170 8,-170"/> <text text-anchor="start" x="62.8413" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="26.2241" y="-175.8" font-family="Times,serif" font-size="14.00">ptr</text> <polygon fill="none" stroke="#000000" points="8,-170 8,-190 60,-190 60,-170 8,-170"/>
<polygon fill="none" stroke="black" points="60,-170 60,-190 96,-190 96,-170 60,-170"/> <text text-anchor="start" x="26.2241" y="-175.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="black" points="8,-150 8,-170 60,-170 60,-150 8,-150"/> <polygon fill="none" stroke="#000000" points="60,-170 60,-190 96,-190 96,-170 60,-170"/>
<text text-anchor="start" x="25.4482" y="-155.8" font-family="Times,serif" font-size="14.00">len</text> <polygon fill="none" stroke="#000000" points="8,-150 8,-170 60,-170 60,-150 8,-150"/>
<polygon fill="none" stroke="black" points="60,-150 60,-170 96,-170 96,-150 60,-150"/> <text text-anchor="start" x="25.4482" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<text text-anchor="start" x="74.5" y="-155.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-150 60,-170 96,-170 96,-150 60,-150"/>
<polygon fill="none" stroke="black" points="8,-130 8,-150 60,-150 60,-130 8,-130"/> <text text-anchor="start" x="74.5" y="-155.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<text text-anchor="start" x="10.6826" y="-135.8" font-family="Times,serif" font-size="14.00">capacity</text> <polygon fill="none" stroke="#000000" points="8,-130 8,-150 60,-150 60,-130 8,-130"/>
<polygon fill="none" stroke="black" points="60,-130 60,-150 96,-150 96,-130 60,-130"/> <text text-anchor="start" x="10.6826" y="-135.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<text text-anchor="start" x="74.5" y="-135.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-130 60,-150 96,-150 96,-130 60,-130"/>
<text text-anchor="start" x="74.5" y="-135.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g> </g>
<!-- table1 --> <!-- table1 -->
<g id="node3" class="node"><title>table1</title> <g id="node3" class="node">
<polygon fill="none" stroke="black" points="148.5,-127 148.5,-147 185.5,-147 185.5,-127 148.5,-127"/> <title>table1</title>
<text text-anchor="start" x="151.448" y="-132.8" font-family="Times,serif" font-size="14.00">index</text> <polygon fill="none" stroke="#000000" points="148.5,-127 148.5,-147 185.5,-147 185.5,-127 148.5,-127"/>
<polygon fill="none" stroke="black" points="185.5,-127 185.5,-147 221.5,-147 221.5,-127 185.5,-127"/> <text text-anchor="start" x="151.4482" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<text text-anchor="start" x="188.341" y="-132.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="185.5,-127 185.5,-147 221.5,-147 221.5,-127 185.5,-127"/>
<polygon fill="none" stroke="black" points="148.5,-107 148.5,-127 185.5,-127 185.5,-107 148.5,-107"/> <text text-anchor="start" x="188.3413" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="163.5" y="-112.8" font-family="Times,serif" font-size="14.00">0</text> <polygon fill="none" stroke="#000000" points="148.5,-107 148.5,-127 185.5,-127 185.5,-107 148.5,-107"/>
<polygon fill="none" stroke="black" points="185.5,-107 185.5,-127 221.5,-127 221.5,-107 185.5,-107"/> <text text-anchor="start" x="163.5" y="-112.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<text text-anchor="start" x="200" y="-112.8" font-family="Times,serif" font-size="14.00">h</text> <polygon fill="none" stroke="#000000" points="185.5,-107 185.5,-127 221.5,-127 221.5,-107 185.5,-107"/>
<polygon fill="none" stroke="black" points="148.5,-87 148.5,-107 185.5,-107 185.5,-87 148.5,-87"/> <text text-anchor="start" x="200" y="-112.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<text text-anchor="start" x="163.5" y="-92.8" font-family="Times,serif" font-size="14.00">1</text> <polygon fill="none" stroke="#000000" points="148.5,-87 148.5,-107 185.5,-107 185.5,-87 148.5,-87"/>
<polygon fill="none" stroke="black" points="185.5,-87 185.5,-107 221.5,-107 221.5,-87 185.5,-87"/> <text text-anchor="start" x="163.5" y="-92.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<text text-anchor="start" x="200.393" y="-92.8" font-family="Times,serif" font-size="14.00">e</text> <polygon fill="none" stroke="#000000" points="185.5,-87 185.5,-107 221.5,-107 221.5,-87 185.5,-87"/>
<polygon fill="none" stroke="black" points="148.5,-67 148.5,-87 185.5,-87 185.5,-67 148.5,-67"/> <text text-anchor="start" x="200.3931" y="-92.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<text text-anchor="start" x="163.5" y="-72.8" font-family="Times,serif" font-size="14.00">2</text> <polygon fill="none" stroke="#000000" points="148.5,-67 148.5,-87 185.5,-87 185.5,-67 148.5,-67"/>
<polygon fill="none" stroke="black" points="185.5,-67 185.5,-87 221.5,-87 221.5,-67 185.5,-67"/> <text text-anchor="start" x="163.5" y="-72.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<text text-anchor="start" x="201.555" y="-72.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-67 185.5,-87 221.5,-87 221.5,-67 185.5,-67"/>
<polygon fill="none" stroke="black" points="148.5,-47 148.5,-67 185.5,-67 185.5,-47 148.5,-47"/> <text text-anchor="start" x="201.5552" y="-72.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-52.8" font-family="Times,serif" font-size="14.00">3</text> <polygon fill="none" stroke="#000000" points="148.5,-47 148.5,-67 185.5,-67 185.5,-47 148.5,-47"/>
<polygon fill="none" stroke="black" points="185.5,-47 185.5,-67 221.5,-67 221.5,-47 185.5,-47"/> <text text-anchor="start" x="163.5" y="-52.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<text text-anchor="start" x="201.555" y="-52.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-47 185.5,-67 221.5,-67 221.5,-47 185.5,-47"/>
<polygon fill="none" stroke="black" points="148.5,-27 148.5,-47 185.5,-47 185.5,-27 148.5,-27"/> <text text-anchor="start" x="201.5552" y="-52.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-32.8" font-family="Times,serif" font-size="14.00">4</text> <polygon fill="none" stroke="#000000" points="148.5,-27 148.5,-47 185.5,-47 185.5,-27 148.5,-27"/>
<polygon fill="none" stroke="black" points="185.5,-27 185.5,-47 221.5,-47 221.5,-27 185.5,-27"/> <text text-anchor="start" x="163.5" y="-32.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<text text-anchor="start" x="200" y="-32.8" font-family="Times,serif" font-size="14.00">o</text> <polygon fill="none" stroke="#000000" points="185.5,-27 185.5,-47 221.5,-47 221.5,-27 185.5,-27"/>
<text text-anchor="start" x="200" y="-32.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g> </g>
<!-- table0&#45;&gt;table1 --> <!-- table0&#45;&gt;table1 -->
<g id="edge1" class="edge"><title>table0:pointer:c&#45;&gt;table1:pointee</title> <g id="edge1" class="edge">
<path fill="none" stroke="black" d="M79,-180C79,-180 101.674,-127.363 137.16,-118.316"/> <title>table0:c&#45;&gt;table1:pointee</title>
<polygon fill="black" stroke="black" points="138.022,-121.734 147.5,-117 137.138,-114.79 138.022,-121.734"/> <path fill="none" stroke="#000000" d="M78,-180C78,-180 101.9982,-126.912 138.4405,-118.2023"/>
<polygon fill="#000000" stroke="#000000" points="138.986,-121.6621 148.5,-117 138.1553,-114.7115 138.986,-121.6621"/>
</g> </g>
<!-- table3 --> <!-- table3 -->
<g id="node2" class="node"><title>table3</title> <g id="node2" class="node">
<polyline fill="none" stroke="black" points="8,-84 96,-84 "/> <title>table3</title>
<text text-anchor="start" x="45.7759" y="-89.8" font-family="Times,serif" font-size="14.00">s2</text> <polyline fill="none" stroke="#000000" points="8,-84 96,-84 "/>
<polygon fill="none" stroke="black" points="8,-64 8,-84 60,-84 60,-64 8,-64"/> <text text-anchor="start" x="45.7759" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">s2</text>
<text text-anchor="start" x="18.8413" y="-69.8" font-family="Times,serif" font-size="14.00">name</text> <polygon fill="none" stroke="#000000" points="8,-64 8,-84 60,-84 60,-64 8,-64"/>
<polygon fill="none" stroke="black" points="60,-64 60,-84 96,-84 96,-64 60,-64"/> <text text-anchor="start" x="18.8413" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<text text-anchor="start" x="62.8413" y="-69.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="60,-64 60,-84 96,-84 96,-64 60,-64"/>
<polygon fill="none" stroke="black" points="8,-44 8,-64 60,-64 60,-44 8,-44"/> <text text-anchor="start" x="62.8413" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="26.2241" y="-49.8" font-family="Times,serif" font-size="14.00">ptr</text> <polygon fill="none" stroke="#000000" points="8,-44 8,-64 60,-64 60,-44 8,-44"/>
<polygon fill="none" stroke="black" points="60,-44 60,-64 96,-64 96,-44 60,-44"/> <text text-anchor="start" x="26.2241" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="black" points="8,-24 8,-44 60,-44 60,-24 8,-24"/> <polygon fill="none" stroke="#000000" points="60,-44 60,-64 96,-64 96,-44 60,-44"/>
<text text-anchor="start" x="25.4482" y="-29.8" font-family="Times,serif" font-size="14.00">len</text> <polygon fill="none" stroke="#000000" points="8,-24 8,-44 60,-44 60,-24 8,-24"/>
<polygon fill="none" stroke="black" points="60,-24 60,-44 96,-44 96,-24 60,-24"/> <text text-anchor="start" x="25.4482" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<text text-anchor="start" x="74.5" y="-29.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-24 60,-44 96,-44 96,-24 60,-24"/>
<polygon fill="none" stroke="black" points="8,-4 8,-24 60,-24 60,-4 8,-4"/> <text text-anchor="start" x="74.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<text text-anchor="start" x="10.6826" y="-9.8" font-family="Times,serif" font-size="14.00">capacity</text> <polygon fill="none" stroke="#000000" points="8,-4 8,-24 60,-24 60,-4 8,-4"/>
<polygon fill="none" stroke="black" points="60,-4 60,-24 96,-24 96,-4 60,-4"/> <text text-anchor="start" x="10.6826" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<text text-anchor="start" x="74.5" y="-9.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="60,-4 60,-24 96,-24 96,-4 60,-4"/>
<text text-anchor="start" x="74.5" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g> </g>
<!-- table3&#45;&gt;table1 --> <!-- table3&#45;&gt;table1 -->
<g id="edge2" class="edge"><title>table3:pointer:c&#45;&gt;table1:pointee</title> <g id="edge2" class="edge">
<path fill="none" stroke="black" d="M79,-54C79,-54 101.674,-106.637 137.16,-115.684"/> <title>table3:c&#45;&gt;table1:pointee</title>
<polygon fill="black" stroke="black" points="137.138,-119.21 147.5,-117 138.022,-112.266 137.138,-119.21"/> <path fill="none" stroke="#000000" d="M78,-54C78,-54 101.9982,-107.088 138.4405,-115.7977"/>
<polygon fill="#000000" stroke="#000000" points="138.1553,-119.2885 148.5,-117 138.986,-112.3379 138.1553,-119.2885"/>
</g> </g>
</g> </g>
</svg> </svg>

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 6.8 KiB

After

Width:  |  Height:  |  Size: 7.3 KiB

129
src/img/trpl04-05.svg
Unescape View File

@ -1,82 +1,87 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041) <!-- Generated by graphviz version 2.40.1 (20161225.0304)
--> -->
<!-- Title: %3 Pages: 1 --> <!-- Title: %3 Pages: 1 -->
<svg <svg
viewBox="0.00 0.00 1500.00 650.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> viewBox="0.00 0.00 1500.00 650.00" 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 152)"> <g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 152)">
<title>%3</title> <title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-152 357,-152 357,4 -4,4"/> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-152 357,-152 357,4 -4,4"/>
<!-- table0 --> <!-- table0 -->
<g id="node1" class="node"><title>table0</title> <g id="node1" class="node">
<polyline fill="none" stroke="black" points="8,-124 80,-124 "/> <title>table0</title>
<text text-anchor="start" x="41.2759" y="-129.8" font-family="Times,serif" font-size="14.00">s</text> <polyline fill="none" stroke="#000000" points="8,-124 80,-124 "/>
<polygon fill="none" stroke="black" points="8,-104 8,-124 44,-124 44,-104 8,-104"/> <text text-anchor="start" x="41.2759" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">s</text>
<text text-anchor="start" x="10.8413" y="-109.8" font-family="Times,serif" font-size="14.00">name</text> <polygon fill="none" stroke="#000000" points="8,-104 8,-124 44,-124 44,-104 8,-104"/>
<polygon fill="none" stroke="black" points="44,-104 44,-124 80,-124 80,-104 44,-104"/> <text text-anchor="start" x="10.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<text text-anchor="start" x="46.8413" y="-109.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="44,-104 44,-124 80,-124 80,-104 44,-104"/>
<polygon fill="none" stroke="black" points="8,-84 8,-104 44,-104 44,-84 8,-84"/> <text text-anchor="start" x="46.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="18.2241" y="-89.8" font-family="Times,serif" font-size="14.00">ptr</text> <polygon fill="none" stroke="#000000" points="8,-84 8,-104 44,-104 44,-84 8,-84"/>
<polygon fill="none" stroke="black" points="44,-84 44,-104 80,-104 80,-84 44,-84"/> <text text-anchor="start" x="18.2241" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="#000000" points="44,-84 44,-104 80,-104 80,-84 44,-84"/>
</g> </g>
<!-- table1 --> <!-- table1 -->
<g id="node2" class="node"><title>table1</title> <g id="node2" class="node">
<polyline fill="none" stroke="black" points="132,-124 220,-124 "/> <title>table1</title>
<text text-anchor="start" x="169.776" y="-129.8" font-family="Times,serif" font-size="14.00">s1</text> <polyline fill="none" stroke="#000000" points="132,-124 220,-124 "/>
<polygon fill="none" stroke="black" points="132,-104 132,-124 184,-124 184,-104 132,-104"/> <text text-anchor="start" x="169.7759" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">s1</text>
<text text-anchor="start" x="142.841" y="-109.8" font-family="Times,serif" font-size="14.00">name</text> <polygon fill="none" stroke="#000000" points="132,-104 132,-124 184,-124 184,-104 132,-104"/>
<polygon fill="none" stroke="black" points="184,-104 184,-124 220,-124 220,-104 184,-104"/> <text text-anchor="start" x="142.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<text text-anchor="start" x="186.841" y="-109.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="184,-104 184,-124 220,-124 220,-104 184,-104"/>
<polygon fill="none" stroke="black" points="132,-84 132,-104 184,-104 184,-84 132,-84"/> <text text-anchor="start" x="186.8413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="150.224" y="-89.8" font-family="Times,serif" font-size="14.00">ptr</text> <polygon fill="none" stroke="#000000" points="132,-84 132,-104 184,-104 184,-84 132,-84"/>
<polygon fill="none" stroke="black" points="184,-84 184,-104 220,-104 220,-84 184,-84"/> <text text-anchor="start" x="150.2241" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="black" points="132,-64 132,-84 184,-84 184,-64 132,-64"/> <polygon fill="none" stroke="#000000" points="184,-84 184,-104 220,-104 220,-84 184,-84"/>
<text text-anchor="start" x="149.448" y="-69.8" font-family="Times,serif" font-size="14.00">len</text> <polygon fill="none" stroke="#000000" points="132,-64 132,-84 184,-84 184,-64 132,-64"/>
<polygon fill="none" stroke="black" points="184,-64 184,-84 220,-84 220,-64 184,-64"/> <text text-anchor="start" x="149.4482" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<text text-anchor="start" x="198.5" y="-69.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="184,-64 184,-84 220,-84 220,-64 184,-64"/>
<polygon fill="none" stroke="black" points="132,-44 132,-64 184,-64 184,-44 132,-44"/> <text text-anchor="start" x="198.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<text text-anchor="start" x="134.683" y="-49.8" font-family="Times,serif" font-size="14.00">capacity</text> <polygon fill="none" stroke="#000000" points="132,-44 132,-64 184,-64 184,-44 132,-44"/>
<polygon fill="none" stroke="black" points="184,-44 184,-64 220,-64 220,-44 184,-44"/> <text text-anchor="start" x="134.6826" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<text text-anchor="start" x="198.5" y="-49.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="184,-44 184,-64 220,-64 220,-44 184,-44"/>
<text text-anchor="start" x="198.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g> </g>
<!-- table0&#45;&gt;table1 --> <!-- table0&#45;&gt;table1 -->
<g id="edge2" class="edge"><title>table0:borrower:c&#45;&gt;table1:borrowee</title> <g id="edge2" class="edge">
<path fill="none" stroke="black" d="M63,-94C63,-94 92.9658,-94 120.871,-94"/> <title>table0:c&#45;&gt;table1:borrowee</title>
<polygon fill="black" stroke="black" points="121,-97.5001 131,-94 121,-90.5001 121,-97.5001"/> <path fill="none" stroke="#000000" d="M62,-94C62,-94 93.1184,-94 121.9514,-94"/>
<polygon fill="#000000" stroke="#000000" points="122,-97.5001 132,-94 122,-90.5001 122,-97.5001"/>
</g> </g>
<!-- table2 --> <!-- table2 -->
<g id="node3" class="node"><title>table2</title> <g id="node3" class="node">
<polygon fill="none" stroke="black" points="272.5,-104 272.5,-124 309.5,-124 309.5,-104 272.5,-104"/> <title>table2</title>
<text text-anchor="start" x="275.448" y="-109.8" font-family="Times,serif" font-size="14.00">index</text> <polygon fill="none" stroke="#000000" points="272.5,-104 272.5,-124 309.5,-124 309.5,-104 272.5,-104"/>
<polygon fill="none" stroke="black" points="309.5,-104 309.5,-124 345.5,-124 345.5,-104 309.5,-104"/> <text text-anchor="start" x="275.4482" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<text text-anchor="start" x="312.341" y="-109.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="309.5,-104 309.5,-124 345.5,-124 345.5,-104 309.5,-104"/>
<polygon fill="none" stroke="black" points="272.5,-84 272.5,-104 309.5,-104 309.5,-84 272.5,-84"/> <text text-anchor="start" x="312.3413" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="287.5" y="-89.8" font-family="Times,serif" font-size="14.00">0</text> <polygon fill="none" stroke="#000000" points="272.5,-84 272.5,-104 309.5,-104 309.5,-84 272.5,-84"/>
<polygon fill="none" stroke="black" points="309.5,-84 309.5,-104 345.5,-104 345.5,-84 309.5,-84"/> <text text-anchor="start" x="287.5" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<text text-anchor="start" x="324" y="-89.8" font-family="Times,serif" font-size="14.00">h</text> <polygon fill="none" stroke="#000000" points="309.5,-84 309.5,-104 345.5,-104 345.5,-84 309.5,-84"/>
<polygon fill="none" stroke="black" points="272.5,-64 272.5,-84 309.5,-84 309.5,-64 272.5,-64"/> <text text-anchor="start" x="324" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<text text-anchor="start" x="287.5" y="-69.8" font-family="Times,serif" font-size="14.00">1</text> <polygon fill="none" stroke="#000000" points="272.5,-64 272.5,-84 309.5,-84 309.5,-64 272.5,-64"/>
<polygon fill="none" stroke="black" points="309.5,-64 309.5,-84 345.5,-84 345.5,-64 309.5,-64"/> <text text-anchor="start" x="287.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<text text-anchor="start" x="324.393" y="-69.8" font-family="Times,serif" font-size="14.00">e</text> <polygon fill="none" stroke="#000000" points="309.5,-64 309.5,-84 345.5,-84 345.5,-64 309.5,-64"/>
<polygon fill="none" stroke="black" points="272.5,-44 272.5,-64 309.5,-64 309.5,-44 272.5,-44"/> <text text-anchor="start" x="324.3931" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<text text-anchor="start" x="287.5" y="-49.8" font-family="Times,serif" font-size="14.00">2</text> <polygon fill="none" stroke="#000000" points="272.5,-44 272.5,-64 309.5,-64 309.5,-44 272.5,-44"/>
<polygon fill="none" stroke="black" points="309.5,-44 309.5,-64 345.5,-64 345.5,-44 309.5,-44"/> <text text-anchor="start" x="287.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<text text-anchor="start" x="325.555" y="-49.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="309.5,-44 309.5,-64 345.5,-64 345.5,-44 309.5,-44"/>
<polygon fill="none" stroke="black" points="272.5,-24 272.5,-44 309.5,-44 309.5,-24 272.5,-24"/> <text text-anchor="start" x="325.5552" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="287.5" y="-29.8" font-family="Times,serif" font-size="14.00">3</text> <polygon fill="none" stroke="#000000" points="272.5,-24 272.5,-44 309.5,-44 309.5,-24 272.5,-24"/>
<polygon fill="none" stroke="black" points="309.5,-24 309.5,-44 345.5,-44 345.5,-24 309.5,-24"/> <text text-anchor="start" x="287.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<text text-anchor="start" x="325.555" y="-29.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="309.5,-24 309.5,-44 345.5,-44 345.5,-24 309.5,-24"/>
<polygon fill="none" stroke="black" points="272.5,-4 272.5,-24 309.5,-24 309.5,-4 272.5,-4"/> <text text-anchor="start" x="325.5552" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="287.5" y="-9.8" font-family="Times,serif" font-size="14.00">4</text> <polygon fill="none" stroke="#000000" points="272.5,-4 272.5,-24 309.5,-24 309.5,-4 272.5,-4"/>
<polygon fill="none" stroke="black" points="309.5,-4 309.5,-24 345.5,-24 345.5,-4 309.5,-4"/> <text text-anchor="start" x="287.5" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<text text-anchor="start" x="324" y="-9.8" font-family="Times,serif" font-size="14.00">o</text> <polygon fill="none" stroke="#000000" points="309.5,-4 309.5,-24 345.5,-24 345.5,-4 309.5,-4"/>
<text text-anchor="start" x="324" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
</g> </g>
<!-- table1&#45;&gt;table2 --> <!-- table1&#45;&gt;table2 -->
<g id="edge1" class="edge"><title>table1:pointer:c&#45;&gt;table2:pointee</title> <g id="edge1" class="edge">
<path fill="none" stroke="black" d="M203,-94C203,-94 233.186,-94 261.297,-94"/> <title>table1:c&#45;&gt;table2:pointee</title>
<polygon fill="black" stroke="black" points="261.5,-97.5001 271.5,-94 261.5,-90.5001 261.5,-97.5001"/> <path fill="none" stroke="#000000" d="M202,-94C202,-94 233.3406,-94 262.3797,-94"/>
<polygon fill="#000000" stroke="#000000" points="262.5,-97.5001 272.5,-94 262.5,-90.5001 262.5,-97.5001"/>
</g> </g>
</g> </g>
</svg> </svg>

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 6.0 KiB

After

Width:  |  Height:  |  Size: 6.4 KiB

185
src/img/trpl04-06.svg
Unescape View File

@ -1,110 +1,115 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041) <!-- Generated by graphviz version 2.40.1 (20161225.0304)
--> -->
<!-- Title: %3 Pages: 1 --> <!-- Title: %3 Pages: 1 -->
<svg <svg
viewBox="0.00 0.00 1000.00 1279.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> viewBox="0.00 0.00 1000.00 1279.00" 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 275)"> <g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 275)">
<title>%3</title> <title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-275 233,-275 233,4 -4,4"/> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-275 233,-275 233,4 -4,4"/>
<!-- table0 --> <!-- table0 -->
<g id="node1" class="node"><title>table0</title> <g id="node1" class="node">
<polyline fill="none" stroke="black" points="16,-121 88,-121 "/> <title>table0</title>
<text text-anchor="start" x="35.6689" y="-126.8" font-family="Times,serif" font-size="14.00">world</text> <polyline fill="none" stroke="#000000" points="16,-121 88,-121 "/>
<polygon fill="none" stroke="black" points="16,-101 16,-121 52,-121 52,-101 16,-101"/> <text text-anchor="start" x="35.6689" y="-126.8" font-family="Times,serif" font-size="14.00" fill="#000000">world</text>
<text text-anchor="start" x="18.8413" y="-106.8" font-family="Times,serif" font-size="14.00">name</text> <polygon fill="none" stroke="#000000" points="16,-101 16,-121 52,-121 52,-101 16,-101"/>
<polygon fill="none" stroke="black" points="52,-101 52,-121 88,-121 88,-101 52,-101"/> <text text-anchor="start" x="18.8413" y="-106.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<text text-anchor="start" x="54.8413" y="-106.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="52,-101 52,-121 88,-121 88,-101 52,-101"/>
<polygon fill="none" stroke="black" points="16,-81 16,-101 52,-101 52,-81 16,-81"/> <text text-anchor="start" x="54.8413" y="-106.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="26.2241" y="-86.8" font-family="Times,serif" font-size="14.00">ptr</text> <polygon fill="none" stroke="#000000" points="16,-81 16,-101 52,-101 52,-81 16,-81"/>
<polygon fill="none" stroke="black" points="52,-81 52,-101 88,-101 88,-81 52,-81"/> <text text-anchor="start" x="26.2241" y="-86.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="black" points="16,-61 16,-81 52,-81 52,-61 16,-61"/> <polygon fill="none" stroke="#000000" points="52,-81 52,-101 88,-101 88,-81 52,-81"/>
<text text-anchor="start" x="25.4482" y="-66.8" font-family="Times,serif" font-size="14.00">len</text> <polygon fill="none" stroke="#000000" points="16,-61 16,-81 52,-81 52,-61 16,-61"/>
<polygon fill="none" stroke="black" points="52,-61 52,-81 88,-81 88,-61 52,-61"/> <text text-anchor="start" x="25.4482" y="-66.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<text text-anchor="start" x="66.5" y="-66.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="52,-61 52,-81 88,-81 88,-61 52,-61"/>
<text text-anchor="start" x="66.5" y="-66.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g> </g>
<!-- table4 --> <!-- table4 -->
<g id="node3" class="node"><title>table4</title> <g id="node3" class="node">
<polygon fill="none" stroke="black" points="148.5,-224 148.5,-244 185.5,-244 185.5,-224 148.5,-224"/> <title>table4</title>
<text text-anchor="start" x="151.448" y="-229.8" font-family="Times,serif" font-size="14.00">index</text> <polygon fill="none" stroke="#000000" points="148.5,-224 148.5,-244 185.5,-244 185.5,-224 148.5,-224"/>
<polygon fill="none" stroke="black" points="185.5,-224 185.5,-244 221.5,-244 221.5,-224 185.5,-224"/> <text text-anchor="start" x="151.4482" y="-229.8" font-family="Times,serif" font-size="14.00" fill="#000000">index</text>
<text text-anchor="start" x="188.341" y="-229.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="185.5,-224 185.5,-244 221.5,-244 221.5,-224 185.5,-224"/>
<polygon fill="none" stroke="black" points="148.5,-204 148.5,-224 185.5,-224 185.5,-204 148.5,-204"/> <text text-anchor="start" x="188.3413" y="-229.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="163.5" y="-209.8" font-family="Times,serif" font-size="14.00">0</text> <polygon fill="none" stroke="#000000" points="148.5,-204 148.5,-224 185.5,-224 185.5,-204 148.5,-204"/>
<polygon fill="none" stroke="black" points="185.5,-204 185.5,-224 221.5,-224 221.5,-204 185.5,-204"/> <text text-anchor="start" x="163.5" y="-209.8" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<text text-anchor="start" x="200" y="-209.8" font-family="Times,serif" font-size="14.00">h</text> <polygon fill="none" stroke="#000000" points="185.5,-204 185.5,-224 221.5,-224 221.5,-204 185.5,-204"/>
<polygon fill="none" stroke="black" points="148.5,-184 148.5,-204 185.5,-204 185.5,-184 148.5,-184"/> <text text-anchor="start" x="200" y="-209.8" font-family="Times,serif" font-size="14.00" fill="#000000">h</text>
<text text-anchor="start" x="163.5" y="-189.8" font-family="Times,serif" font-size="14.00">1</text> <polygon fill="none" stroke="#000000" points="148.5,-184 148.5,-204 185.5,-204 185.5,-184 148.5,-184"/>
<polygon fill="none" stroke="black" points="185.5,-184 185.5,-204 221.5,-204 221.5,-184 185.5,-184"/> <text text-anchor="start" x="163.5" y="-189.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<text text-anchor="start" x="200.393" y="-189.8" font-family="Times,serif" font-size="14.00">e</text> <polygon fill="none" stroke="#000000" points="185.5,-184 185.5,-204 221.5,-204 221.5,-184 185.5,-184"/>
<polygon fill="none" stroke="black" points="148.5,-164 148.5,-184 185.5,-184 185.5,-164 148.5,-164"/> <text text-anchor="start" x="200.3931" y="-189.8" font-family="Times,serif" font-size="14.00" fill="#000000">e</text>
<text text-anchor="start" x="163.5" y="-169.8" font-family="Times,serif" font-size="14.00">2</text> <polygon fill="none" stroke="#000000" points="148.5,-164 148.5,-184 185.5,-184 185.5,-164 148.5,-164"/>
<polygon fill="none" stroke="black" points="185.5,-164 185.5,-184 221.5,-184 221.5,-164 185.5,-164"/> <text text-anchor="start" x="163.5" y="-169.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<text text-anchor="start" x="201.555" y="-169.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-164 185.5,-184 221.5,-184 221.5,-164 185.5,-164"/>
<polygon fill="none" stroke="black" points="148.5,-144 148.5,-164 185.5,-164 185.5,-144 148.5,-144"/> <text text-anchor="start" x="201.5552" y="-169.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-149.8" font-family="Times,serif" font-size="14.00">3</text> <polygon fill="none" stroke="#000000" points="148.5,-144 148.5,-164 185.5,-164 185.5,-144 148.5,-144"/>
<polygon fill="none" stroke="black" points="185.5,-144 185.5,-164 221.5,-164 221.5,-144 185.5,-144"/> <text text-anchor="start" x="163.5" y="-149.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<text text-anchor="start" x="201.555" y="-149.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-144 185.5,-164 221.5,-164 221.5,-144 185.5,-144"/>
<polygon fill="none" stroke="black" points="148.5,-124 148.5,-144 185.5,-144 185.5,-124 148.5,-124"/> <text text-anchor="start" x="201.5552" y="-149.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="163.5" y="-129.8" font-family="Times,serif" font-size="14.00">4</text> <polygon fill="none" stroke="#000000" points="148.5,-124 148.5,-144 185.5,-144 185.5,-124 148.5,-124"/>
<polygon fill="none" stroke="black" points="185.5,-124 185.5,-144 221.5,-144 221.5,-124 185.5,-124"/> <text text-anchor="start" x="163.5" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<text text-anchor="start" x="200" y="-129.8" font-family="Times,serif" font-size="14.00">o</text> <polygon fill="none" stroke="#000000" points="185.5,-124 185.5,-144 221.5,-144 221.5,-124 185.5,-124"/>
<polygon fill="none" stroke="black" points="148.5,-104 148.5,-124 185.5,-124 185.5,-104 148.5,-104"/> <text text-anchor="start" x="200" y="-129.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
<text text-anchor="start" x="163.5" y="-109.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="148.5,-104 148.5,-124 185.5,-124 185.5,-104 148.5,-104"/>
<polygon fill="none" stroke="black" points="185.5,-104 185.5,-124 221.5,-124 221.5,-104 185.5,-104"/> <text text-anchor="start" x="163.5" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<text text-anchor="start" x="201.75" y="-109.8" font-family="Times,serif" font-size="14.00"> </text> <polygon fill="none" stroke="#000000" points="185.5,-104 185.5,-124 221.5,-124 221.5,-104 185.5,-104"/>
<polygon fill="none" stroke="black" points="148.5,-84 148.5,-104 185.5,-104 185.5,-84 148.5,-84"/> <text text-anchor="start" x="201.75" y="-109.8" font-family="Times,serif" font-size="14.00" fill="#000000"> </text>
<text text-anchor="start" x="163.5" y="-89.8" font-family="Times,serif" font-size="14.00">6</text> <polygon fill="none" stroke="#000000" points="148.5,-84 148.5,-104 185.5,-104 185.5,-84 148.5,-84"/>
<polygon fill="none" stroke="black" points="185.5,-84 185.5,-104 221.5,-104 221.5,-84 185.5,-84"/> <text text-anchor="start" x="163.5" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">6</text>
<text text-anchor="start" x="198.445" y="-89.8" font-family="Times,serif" font-size="14.00">w</text> <polygon fill="none" stroke="#000000" points="185.5,-84 185.5,-104 221.5,-104 221.5,-84 185.5,-84"/>
<polygon fill="none" stroke="black" points="148.5,-64 148.5,-84 185.5,-84 185.5,-64 148.5,-64"/> <text text-anchor="start" x="198.4448" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">w</text>
<text text-anchor="start" x="163.5" y="-69.8" font-family="Times,serif" font-size="14.00">7</text> <polygon fill="none" stroke="#000000" points="148.5,-64 148.5,-84 185.5,-84 185.5,-64 148.5,-64"/>
<polygon fill="none" stroke="black" points="185.5,-64 185.5,-84 221.5,-84 221.5,-64 185.5,-64"/> <text text-anchor="start" x="163.5" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">7</text>
<text text-anchor="start" x="200" y="-69.8" font-family="Times,serif" font-size="14.00">o</text> <polygon fill="none" stroke="#000000" points="185.5,-64 185.5,-84 221.5,-84 221.5,-64 185.5,-64"/>
<polygon fill="none" stroke="black" points="148.5,-44 148.5,-64 185.5,-64 185.5,-44 148.5,-44"/> <text text-anchor="start" x="200" y="-69.8" font-family="Times,serif" font-size="14.00" fill="#000000">o</text>
<text text-anchor="start" x="163.5" y="-49.8" font-family="Times,serif" font-size="14.00">8</text> <polygon fill="none" stroke="#000000" points="148.5,-44 148.5,-64 185.5,-64 185.5,-44 148.5,-44"/>
<polygon fill="none" stroke="black" points="185.5,-44 185.5,-64 221.5,-64 221.5,-44 185.5,-44"/> <text text-anchor="start" x="163.5" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">8</text>
<text text-anchor="start" x="201.169" y="-49.8" font-family="Times,serif" font-size="14.00">r</text> <polygon fill="none" stroke="#000000" points="185.5,-44 185.5,-64 221.5,-64 221.5,-44 185.5,-44"/>
<polygon fill="none" stroke="black" points="148.5,-24 148.5,-44 185.5,-44 185.5,-24 148.5,-24"/> <text text-anchor="start" x="201.1689" y="-49.8" font-family="Times,serif" font-size="14.00" fill="#000000">r</text>
<text text-anchor="start" x="163.5" y="-29.8" font-family="Times,serif" font-size="14.00">9</text> <polygon fill="none" stroke="#000000" points="148.5,-24 148.5,-44 185.5,-44 185.5,-24 148.5,-24"/>
<polygon fill="none" stroke="black" points="185.5,-24 185.5,-44 221.5,-44 221.5,-24 185.5,-24"/> <text text-anchor="start" x="163.5" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">9</text>
<text text-anchor="start" x="201.555" y="-29.8" font-family="Times,serif" font-size="14.00">l</text> <polygon fill="none" stroke="#000000" points="185.5,-24 185.5,-44 221.5,-44 221.5,-24 185.5,-24"/>
<polygon fill="none" stroke="black" points="148.5,-4 148.5,-24 185.5,-24 185.5,-4 148.5,-4"/> <text text-anchor="start" x="201.5552" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">l</text>
<text text-anchor="start" x="160" y="-9.8" font-family="Times,serif" font-size="14.00">10</text> <polygon fill="none" stroke="#000000" points="148.5,-4 148.5,-24 185.5,-24 185.5,-4 148.5,-4"/>
<polygon fill="none" stroke="black" points="185.5,-4 185.5,-24 221.5,-24 221.5,-4 185.5,-4"/> <text text-anchor="start" x="160" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">10</text>
<text text-anchor="start" x="200" y="-9.8" font-family="Times,serif" font-size="14.00">d</text> <polygon fill="none" stroke="#000000" points="185.5,-4 185.5,-24 221.5,-24 221.5,-4 185.5,-4"/>
<text text-anchor="start" x="200" y="-9.8" font-family="Times,serif" font-size="14.00" fill="#000000">d</text>
</g> </g>
<!-- table0&#45;&gt;table4 --> <!-- table0&#45;&gt;table4 -->
<g id="edge1" class="edge"><title>table0:pointer2:c&#45;&gt;table4:pointee2</title> <g id="edge1" class="edge">
<path fill="none" stroke="black" d="M71,-91C71,-91 105.583,-93.4427 137.337,-93.9198"/> <title>table0:c&#45;&gt;table4:pointee2</title>
<polygon fill="black" stroke="black" points="137.473,-97.4208 147.5,-94 137.528,-90.4211 137.473,-97.4208"/> <path fill="none" stroke="#000000" d="M70,-91C70,-91 105.7964,-93.4639 138.4948,-93.9258"/>
<polygon fill="#000000" stroke="#000000" points="138.4743,-97.4257 148.5,-94 138.5263,-90.4259 138.4743,-97.4257"/>
</g> </g>
<!-- table3 --> <!-- table3 -->
<g id="node2" class="node"><title>table3</title> <g id="node2" class="node">
<polyline fill="none" stroke="black" points="8,-247 96,-247 "/> <title>table3</title>
<text text-anchor="start" x="49.2759" y="-252.8" font-family="Times,serif" font-size="14.00">s</text> <polyline fill="none" stroke="#000000" points="8,-247 96,-247 "/>
<polygon fill="none" stroke="black" points="8,-227 8,-247 60,-247 60,-227 8,-227"/> <text text-anchor="start" x="49.2759" y="-252.8" font-family="Times,serif" font-size="14.00" fill="#000000">s</text>
<text text-anchor="start" x="18.8413" y="-232.8" font-family="Times,serif" font-size="14.00">name</text> <polygon fill="none" stroke="#000000" points="8,-227 8,-247 60,-247 60,-227 8,-227"/>
<polygon fill="none" stroke="black" points="60,-227 60,-247 96,-247 96,-227 60,-227"/> <text text-anchor="start" x="18.8413" y="-232.8" font-family="Times,serif" font-size="14.00" fill="#000000">name</text>
<text text-anchor="start" x="62.8413" y="-232.8" font-family="Times,serif" font-size="14.00">value</text> <polygon fill="none" stroke="#000000" points="60,-227 60,-247 96,-247 96,-227 60,-227"/>
<polygon fill="none" stroke="black" points="8,-207 8,-227 60,-227 60,-207 8,-207"/> <text text-anchor="start" x="62.8413" y="-232.8" font-family="Times,serif" font-size="14.00" fill="#000000">value</text>
<text text-anchor="start" x="26.2241" y="-212.8" font-family="Times,serif" font-size="14.00">ptr</text> <polygon fill="none" stroke="#000000" points="8,-207 8,-227 60,-227 60,-207 8,-207"/>
<polygon fill="none" stroke="black" points="60,-207 60,-227 96,-227 96,-207 60,-207"/> <text text-anchor="start" x="26.2241" y="-212.8" font-family="Times,serif" font-size="14.00" fill="#000000">ptr</text>
<polygon fill="none" stroke="black" points="8,-187 8,-207 60,-207 60,-187 8,-187"/> <polygon fill="none" stroke="#000000" points="60,-207 60,-227 96,-227 96,-207 60,-207"/>
<text text-anchor="start" x="25.4482" y="-192.8" font-family="Times,serif" font-size="14.00">len</text> <polygon fill="none" stroke="#000000" points="8,-187 8,-207 60,-207 60,-187 8,-187"/>
<polygon fill="none" stroke="black" points="60,-187 60,-207 96,-207 96,-187 60,-187"/> <text text-anchor="start" x="25.4482" y="-192.8" font-family="Times,serif" font-size="14.00" fill="#000000">len</text>
<text text-anchor="start" x="71.2563" y="-192.8" font-family="Times,serif" font-size="14.00">11</text> <polygon fill="none" stroke="#000000" points="60,-187 60,-207 96,-207 96,-187 60,-187"/>
<polygon fill="none" stroke="black" points="8,-167 8,-187 60,-187 60,-167 8,-167"/> <text text-anchor="start" x="71.2563" y="-192.8" font-family="Times,serif" font-size="14.00" fill="#000000">11</text>
<text text-anchor="start" x="10.6826" y="-172.8" font-family="Times,serif" font-size="14.00">capacity</text> <polygon fill="none" stroke="#000000" points="8,-167 8,-187 60,-187 60,-167 8,-167"/>
<polygon fill="none" stroke="black" points="60,-167 60,-187 96,-187 96,-167 60,-167"/> <text text-anchor="start" x="10.6826" y="-172.8" font-family="Times,serif" font-size="14.00" fill="#000000">capacity</text>
<text text-anchor="start" x="71.2563" y="-172.8" font-family="Times,serif" font-size="14.00">11</text> <polygon fill="none" stroke="#000000" points="60,-167 60,-187 96,-187 96,-167 60,-167"/>
<text text-anchor="start" x="71.2563" y="-172.8" font-family="Times,serif" font-size="14.00" fill="#000000">11</text>
</g> </g>
<!-- table3&#45;&gt;table4 --> <!-- table3&#45;&gt;table4 -->
<g id="edge2" class="edge"><title>table3:pointer:c&#45;&gt;table4:pointee</title> <g id="edge2" class="edge">
<path fill="none" stroke="black" d="M79,-217C79,-217 109.163,-214.62 137.289,-214.1"/> <title>table3:c&#45;&gt;table4:pointee</title>
<polygon fill="black" stroke="black" points="137.535,-217.598 147.5,-214 137.466,-210.598 137.535,-217.598"/> <path fill="none" stroke="#000000" d="M78,-217C78,-217 109.3179,-214.5994 138.3725,-214.0931"/>
<polygon fill="#000000" stroke="#000000" points="138.5326,-217.5918 148.5,-214 138.4682,-210.5921 138.5326,-217.5918"/>
</g> </g>
</g> </g>
</svg> </svg>

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 8.8 KiB

After

Width:  |  Height:  |  Size: 9.4 KiB

61
src/img/trpl15-01.svg
Unescape View File

@ -1,42 +1,43 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041) <!-- Generated by graphviz version 2.40.1 (20161225.0304)
--> -->
<!-- Title: %3 Pages: 1 --> <!-- Title: %3 Pages: 1 -->
<svg <svg
viewBox="0.00 0.00 1000.00 700.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> viewBox="0.00 0.00 1000.00 700.00" 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 156)"> <g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 156)">
<title>%3</title> <title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-156 174,-156 174,4 -4,4"/> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-156 174,-156 174,4 -4,4"/>
<!-- table0 --> <!-- table0 -->
<g id="node1" class="node"><title>table0</title> <g id="node1" class="node">
<polyline fill="none" stroke="black" points="8,-128 162,-128 "/> <title>table0</title>
<text text-anchor="start" x="70.6069" y="-133.8" font-family="Times,serif" font-size="14.00">Cons</text> <polyline fill="none" stroke="#000000" points="8,-128 162,-128 "/>
<polygon fill="none" stroke="black" points="8,-4 8,-128 31,-128 31,-4 8,-4"/> <text text-anchor="start" x="70.6069" y="-133.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<text text-anchor="start" x="10.5552" y="-61.8" font-family="Times,serif" font-size="14.00">i32</text> <polygon fill="none" stroke="#000000" points="8,-4 8,-128 31,-128 31,-4 8,-4"/>
<polygon fill="none" stroke="black" points="31,-4 31,-128 162,-128 162,-4 31,-4"/> <text text-anchor="start" x="10.5552" y="-61.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<polyline fill="none" stroke="black" points="34,-105 159,-105 "/> <polygon fill="none" stroke="#000000" points="31,-4 31,-128 162,-128 162,-4 31,-4"/>
<text text-anchor="start" x="82.1069" y="-110.8" font-family="Times,serif" font-size="14.00">Cons</text> <polyline fill="none" stroke="#000000" points="34,-105 159,-105 "/>
<polygon fill="none" stroke="black" points="34,-7 34,-105 57,-105 57,-7 34,-7"/> <text text-anchor="start" x="82.1069" y="-110.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<text text-anchor="start" x="36.5552" y="-51.8" font-family="Times,serif" font-size="14.00">i32</text> <polygon fill="none" stroke="#000000" points="34,-7 34,-105 57,-105 57,-7 34,-7"/>
<polygon fill="none" stroke="black" points="57,-7 57,-105 159,-105 159,-7 57,-7"/> <text text-anchor="start" x="36.5552" y="-51.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<polyline fill="none" stroke="black" points="60,-82 156,-82 "/> <polygon fill="none" stroke="#000000" points="57,-7 57,-105 159,-105 159,-7 57,-7"/>
<text text-anchor="start" x="93.6069" y="-87.8" font-family="Times,serif" font-size="14.00">Cons</text> <polyline fill="none" stroke="#000000" points="60,-82 156,-82 "/>
<polygon fill="none" stroke="black" points="60,-10 60,-82 83,-82 83,-10 60,-10"/> <text text-anchor="start" x="93.6069" y="-87.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<text text-anchor="start" x="62.5552" y="-41.8" font-family="Times,serif" font-size="14.00">i32</text> <polygon fill="none" stroke="#000000" points="60,-10 60,-82 83,-82 83,-10 60,-10"/>
<polygon fill="none" stroke="black" points="83,-10 83,-82 156,-82 156,-10 83,-10"/> <text text-anchor="start" x="62.5552" y="-41.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<polyline fill="none" stroke="black" points="86,-59 153,-59 "/> <polygon fill="none" stroke="#000000" points="83,-10 83,-82 156,-82 156,-10 83,-10"/>
<text text-anchor="start" x="105.107" y="-64.8" font-family="Times,serif" font-size="14.00">Cons</text> <polyline fill="none" stroke="#000000" points="86,-59 153,-59 "/>
<polygon fill="none" stroke="black" points="86,-13 86,-59 109,-59 109,-13 86,-13"/> <text text-anchor="start" x="105.1069" y="-64.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<text text-anchor="start" x="88.5552" y="-31.8" font-family="Times,serif" font-size="14.00">i32</text> <polygon fill="none" stroke="#000000" points="86,-13 86,-59 109,-59 109,-13 86,-13"/>
<polygon fill="none" stroke="black" points="109,-13 109,-59 153,-59 153,-13 109,-13"/> <text text-anchor="start" x="88.5552" y="-31.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<polyline fill="none" stroke="black" points="112,-36 150,-36 "/> <polygon fill="none" stroke="#000000" points="109,-13 109,-59 153,-59 153,-13 109,-13"/>
<text text-anchor="start" x="116.607" y="-41.8" font-family="Times,serif" font-size="14.00">Cons</text> <polyline fill="none" stroke="#000000" points="112,-36 150,-36 "/>
<polygon fill="none" stroke="black" points="112,-16 112,-36 135,-36 135,-16 112,-16"/> <text text-anchor="start" x="116.6069" y="-41.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<text text-anchor="start" x="114.555" y="-21.8" font-family="Times,serif" font-size="14.00">i32</text> <polygon fill="none" stroke="#000000" points="112,-16 112,-36 135,-36 135,-16 112,-16"/>
<polygon fill="none" stroke="black" points="135,-16 135,-36 150,-36 150,-16 135,-16"/> <text text-anchor="start" x="114.5552" y="-21.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<text text-anchor="start" x="137.51" y="-21.8" font-family="Times,serif" font-size="14.00">∞</text> <polygon fill="none" stroke="#000000" points="135,-16 135,-36 150,-36 150,-16 135,-16"/>
<text text-anchor="start" x="137.5098" y="-21.8" font-family="Times,serif" font-size="14.00" fill="#000000">∞</text>
</g> </g>
</g> </g>
</svg> </svg>

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 2.9 KiB

After

Width:  |  Height:  |  Size: 3.1 KiB

27
src/img/trpl15-02.svg
Unescape View File

@ -1,25 +1,26 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041) <!-- Generated by graphviz version 2.40.1 (20161225.0304)
--> -->
<!-- Title: %3 Pages: 1 --> <!-- Title: %3 Pages: 1 -->
<svg width="250pt" <svg width="250pt"
viewBox="0.00 0.00 363.00 342.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> viewBox="0.00 0.00 363.00 342.00" 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 78)"> <g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 78)">
<title>%3</title> <title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-78 83,-78 83,4 -4,4"/> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-78 83,-78 83,4 -4,4"/>
<!-- table0 --> <!-- table0 -->
<g id="node1" class="node"><title>table0</title> <g id="node1" class="node">
<polyline fill="none" stroke="black" points="8.5,-50 71.5,-50 "/> <title>table0</title>
<text text-anchor="start" x="25.6069" y="-55.8" font-family="Times,serif" font-size="14.00">Cons</text> <polyline fill="none" stroke="#000000" points="8.5,-50 71.5,-50 "/>
<polygon fill="none" stroke="black" points="8.5,-4 8.5,-50 31.5,-50 31.5,-4 8.5,-4"/> <text text-anchor="start" x="25.6069" y="-55.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
<text text-anchor="start" x="11.0552" y="-22.8" font-family="Times,serif" font-size="14.00">i32</text> <polygon fill="none" stroke="#000000" points="8.5,-4 8.5,-50 31.5,-50 31.5,-4 8.5,-4"/>
<polygon fill="none" stroke="black" points="31.5,-4 31.5,-50 71.5,-50 71.5,-4 31.5,-4"/> <text text-anchor="start" x="11.0552" y="-22.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
<polyline fill="none" stroke="black" points="34.5,-27 68.5,-27 "/> <polygon fill="none" stroke="#000000" points="31.5,-4 31.5,-50 71.5,-50 71.5,-4 31.5,-4"/>
<text text-anchor="start" x="39.8311" y="-32.8" font-family="Times,serif" font-size="14.00">Box</text> <polyline fill="none" stroke="#000000" points="34.5,-27 68.5,-27 "/>
<polygon fill="none" stroke="black" points="34.5,-7 34.5,-27 68.5,-27 68.5,-7 34.5,-7"/> <text text-anchor="start" x="39.8311" y="-32.8" font-family="Times,serif" font-size="14.00" fill="#000000">Box</text>
<text text-anchor="start" x="37.1172" y="-12.8" font-family="Times,serif" font-size="14.00">usize</text> <polygon fill="none" stroke="#000000" points="34.5,-7 34.5,-27 68.5,-27 68.5,-7 34.5,-7"/>
<text text-anchor="start" x="37.1172" y="-12.8" font-family="Times,serif" font-size="14.00" fill="#000000">usize</text>
</g> </g>
</g> </g>
</svg> </svg>

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 1.4 KiB

After

Width:  |  Height:  |  Size: 1.5 KiB

121
src/img/trpl15-03.svg
Unescape View File

@ -1,94 +1,109 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041) <!-- Generated by graphviz version 2.40.1 (20161225.0304)
--> -->
<!-- Title: %3 Pages: 1 --> <!-- Title: %3 Pages: 1 -->
<svg width="750pt" <svg width="750pt"
viewBox="0.00 0.00 2500 700" xmlns="http://www.w3.org/2000/svg" viewBox="0.00 0.00 2500 700" xmlns="http://www.w3.org/2000/svg"
xmlns:xlink="http://www.w3.org/1999/xlink"> xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 148)"> <g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 148)">
<title>%3</title> <title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-148 418,-148 418,4 -4,4"/> <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-148 418,-148 418,4 -4,4"/>
<!-- table4 --> <!-- table4 -->
<g id="node1" class="node"><title>table4</title> <g id="node1" class="node">
<text text-anchor="start" x="21" y="-121.8" font-family="Times,serif" font-size="14.00">b</text> <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> </g>
<!-- table5 --> <!-- table5 -->
<g id="node2" class="node"><title>table5</title> <g id="node2" class="node">
<polygon fill="none" stroke="black" points="104,-116 104,-136 117,-136 117,-116 104,-116"/> <title>table5</title>
<text text-anchor="start" x="107" y="-121.8" font-family="Times,serif" font-size="14.00">3</text> <polygon fill="none" stroke="#000000" points="104,-116 104,-136 117,-136 117,-116 104,-116"/>
<polygon fill="none" stroke="black" points="117,-116 117,-136 130,-136 130,-116 117,-116"/> <text text-anchor="start" x="107" y="-121.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<text text-anchor="start" x="120" y="-121.8" font-family="Times,serif" font-size="14.00"> &#160;</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"> &#160;</text>
</g> </g>
<!-- table4&#45;&gt;table5 --> <!-- table4&#45;&gt;table5 -->
<g id="edge4" class="edge"><title>table4:ptr4:c&#45;&gt;table5:pte4</title> <g id="edge4" class="edge">
<path fill="none" stroke="black" d="M35,-126C35,-126 64.9658,-126 92.8715,-126"/> <title>table4:c&#45;&gt;table5:pte4</title>
<polygon fill="black" stroke="black" points="93,-129.5 103,-126 93,-122.5 93,-129.5"/> <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> </g>
<!-- table1 --> <!-- table1 -->
<g id="node4" class="node"><title>table1</title> <g id="node4" class="node">
<polygon fill="none" stroke="black" points="194,-62 194,-82 207,-82 207,-62 194,-62"/> <title>table1</title>
<text text-anchor="start" x="197" y="-67.8" font-family="Times,serif" font-size="14.00">5</text> <polygon fill="none" stroke="#000000" points="194,-62 194,-82 207,-82 207,-62 194,-62"/>
<polygon fill="none" stroke="black" points="207,-62 207,-82 220,-82 220,-62 207,-62"/> <text text-anchor="start" x="197" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
<text text-anchor="start" x="210" y="-67.8" font-family="Times,serif" font-size="14.00"> &#160;</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"> &#160;</text>
</g> </g>
<!-- table5&#45;&gt;table1 --> <!-- table5&#45;&gt;table1 -->
<g id="edge5" class="edge"><title>table5:ptr5:c&#45;&gt;table1:pte0</title> <g id="edge5" class="edge">
<path fill="none" stroke="black" d="M125,-126C125,-126 149.361,-81.2672 182.835,-73.2293"/> <title>table5:c&#45;&gt;table1:pte0</title>
<polygon fill="black" stroke="black" points="183.493,-76.6754 193,-72 182.652,-69.726 183.493,-76.6754"/> <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> </g>
<!-- table0 --> <!-- table0 -->
<g id="node3" class="node"><title>table0</title> <g id="node3" class="node">
<text text-anchor="start" x="110.893" y="-67.8" font-family="Times,serif" font-size="14.00">a</text> <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> </g>
<!-- table0&#45;&gt;table1 --> <!-- table0&#45;&gt;table1 -->
<g id="edge1" class="edge"><title>table0:ptr0:c&#45;&gt;table1:pte0</title> <g id="edge1" class="edge">
<path fill="none" stroke="black" d="M124,-72C124,-72 154.406,-72 182.723,-72"/> <title>table0:c&#45;&gt;table1:pte0</title>
<polygon fill="black" stroke="black" points="183,-75.5001 193,-72 183,-68.5001 183,-75.5001"/> <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> </g>
<!-- table2 --> <!-- table2 -->
<g id="node5" class="node"><title>table2</title> <g id="node5" class="node">
<polygon fill="none" stroke="black" points="281,-62 281,-82 301,-82 301,-62 281,-62"/> <title>table2</title>
<text text-anchor="start" x="284" y="-67.8" font-family="Times,serif" font-size="14.00">10</text> <polygon fill="none" stroke="#000000" points="281,-62 281,-82 301,-82 301,-62 281,-62"/>
<polygon fill="none" stroke="black" points="301,-62 301,-82 314,-82 314,-62 301,-62"/> <text text-anchor="start" x="284" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">10</text>
<text text-anchor="start" x="304" y="-67.8" font-family="Times,serif" font-size="14.00"> &#160;</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"> &#160;</text>
</g> </g>
<!-- table1&#45;&gt;table2 --> <!-- table1&#45;&gt;table2 -->
<g id="edge2" class="edge"><title>table1:ptr1:c&#45;&gt;table2:pte1</title> <g id="edge2" class="edge">
<path fill="none" stroke="black" d="M215,-72C215,-72 243.393,-72 269.967,-72"/> <title>table1:c&#45;&gt;table2:pte1</title>
<polygon fill="black" stroke="black" points="270,-75.5001 280,-72 270,-68.5001 270,-75.5001"/> <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> </g>
<!-- table3 --> <!-- table3 -->
<g id="node6" class="node"><title>table3</title> <g id="node6" class="node">
<polygon fill="none" stroke="black" points="376,-62 376,-82 399,-82 399,-62 376,-62"/> <title>table3</title>
<text text-anchor="start" x="378.555" y="-67.8" font-family="Times,serif" font-size="14.00">Nil</text> <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> </g>
<!-- table2&#45;&gt;table3 --> <!-- table2&#45;&gt;table3 -->
<g id="edge3" class="edge"><title>table2:ptr2:c&#45;&gt;table3:pte2</title> <g id="edge3" class="edge">
<path fill="none" stroke="black" d="M309,-72C309,-72 342.423,-72 365.512,-72"/> <title>table2:c&#45;&gt;table3:pte2</title>
<polygon fill="black" stroke="black" points="365.825,-75.5001 375.825,-72 365.824,-68.5001 365.825,-75.5001"/> <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> </g>
<!-- table6 --> <!-- table6 -->
<g id="node7" class="node"><title>table6</title> <g id="node7" class="node">
<text text-anchor="start" x="20.8931" y="-13.8" font-family="Times,serif" font-size="14.00">c</text> <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> </g>
<!-- table7 --> <!-- table7 -->
<g id="node8" class="node"><title>table7</title> <g id="node8" class="node">
<polygon fill="none" stroke="black" points="104,-8 104,-28 117,-28 117,-8 104,-8"/> <title>table7</title>
<text text-anchor="start" x="107" y="-13.8" font-family="Times,serif" font-size="14.00">4</text> <polygon fill="none" stroke="#000000" points="104,-8 104,-28 117,-28 117,-8 104,-8"/>
<polygon fill="none" stroke="black" points="117,-8 117,-28 130,-28 130,-8 117,-8"/> <text text-anchor="start" x="107" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
<text text-anchor="start" x="120" y="-13.8" font-family="Times,serif" font-size="14.00"> &#160;</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"> &#160;</text>
</g> </g>
<!-- table6&#45;&gt;table7 --> <!-- table6&#45;&gt;table7 -->
<g id="edge6" class="edge"><title>table6:ptr6:c&#45;&gt;table7:pte6</title> <g id="edge6" class="edge">
<path fill="none" stroke="black" d="M34,-18C34,-18 64.4065,-18 92.7225,-18"/> <title>table6:c&#45;&gt;table7:pte6</title>
<polygon fill="black" stroke="black" points="93,-21.5001 103,-18 93,-14.5001 93,-21.5001"/> <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> </g>
<!-- table7&#45;&gt;table1 --> <!-- table7&#45;&gt;table1 -->
<g id="edge7" class="edge"><title>table7:ptr7:c&#45;&gt;table1:pte0</title> <g id="edge7" class="edge">
<path fill="none" stroke="black" d="M125,-18C125,-18 149.361,-62.7328 182.835,-70.7707"/> <title>table7:c&#45;&gt;table1:pte0</title>
<polygon fill="black" stroke="black" points="182.652,-74.274 193,-72 183.493,-67.3246 182.652,-74.274"/> <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>
</g> </g>
</svg> </svg>

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 5.1 KiB

After

Width:  |  Height:  |  Size: 5.3 KiB

Write Preview
Loading…
Cancel
Save