X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fcasl2_spec_img%2Fr_1-03.svg;fp=doc%2Fcasl2_spec_img%2Fr_1-03.svg;h=f1ee87a0e55173cddb334f2191e0cfd53ce01cba;hb=a647b5b368eddbdf04de62227060cb0cc26a47a3;hp=0000000000000000000000000000000000000000;hpb=2d7d58498f34123eb9c2d082d93578079e6af56a;p=YACASL2.git

diff --git a/doc/casl2_spec_img/r_1-03.svg b/doc/casl2_spec_img/r_1-03.svg
new file mode 100644
index 0000000..f1ee87a
--- /dev/null
+++ b/doc/casl2_spec_img/r_1-03.svg
@@ -0,0 +1,57 @@
+<?xml version="1.0" encoding="utf-8"?>
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="750" height="100">
+
+  <g id="SRL">
+    <g fill="none" stroke="black" stroke-width="1">
+      <rect x="100" y="60" width="480" height="30" />
+      <line x1="130" y1="60" x2="130" y2="90" />
+      <line x1="160" y1="60" x2="160" y2="90" />
+      <line x1="190" y1="60" x2="190" y2="90" />
+      <line x1="220" y1="60" x2="220" y2="90" />
+      <line x1="250" y1="60" x2="250" y2="90" />
+      <line x1="280" y1="60" x2="280" y2="90" />
+      <line x1="310" y1="60" x2="310" y2="90" />
+      <line x1="340" y1="60" x2="340" y2="90" />
+      <line x1="370" y1="60" x2="370" y2="90" />
+      <line x1="400" y1="60" x2="400" y2="90" />
+      <line x1="430" y1="60" x2="430" y2="90" />
+      <line x1="460" y1="60" x2="460" y2="90" />
+      <line x1="490" y1="60" x2="490" y2="90" />
+      <line x1="520" y1="60" x2="520" y2="90" />
+      <line x1="550" y1="60" x2="550" y2="90" />
+      <rect x="620" y="60" width="30" height="30" />
+    </g>
+    <g>
+      <g fill="none" stroke="black" stroke-width="2">
+        <path d="M115,75 C180,0 50,50 100,75" />
+        <path d="M90,70 L100,75 L90,80" transform="rotate(35,100,75)" />
+
+        <line x1="115" y1="75" x2="550" y2="75" stroke-dasharray="5" />
+        <path d="M540,70 L550,75 L540,80" />
+        <path d="M610,70 L620,75 L610,80" />
+        <line x1="565" y1="75" x2="620" y2="75" />
+      </g>
+      <circle cx="115" cy="75" r="5" fill="black" />
+      <circle cx="565" cy="75" r="5" fill="black" />
+    </g>
+    <g font-family="monospace" font-size="15px" fill="black">
+      <text x="105" y="55">15</text>
+      <text x="135" y="55">14</text>
+      <text x="165" y="55">13</text>
+      <text x="195" y="55">12</text>
+      <text x="225" y="55">11</text>
+      <text x="255" y="55">10</text>
+      <text x="290" y="55">9</text>
+      <text x="320" y="55">8</text>
+      <text x="350" y="55">7</text>
+      <text x="380" y="55">6</text>
+      <text x="410" y="55">5</text>
+      <text x="440" y="55">4</text>
+      <text x="470" y="55">3</text>
+      <text x="500" y="55">2</text>
+      <text x="530" y="55">1</text>
+      <text x="560" y="55">0</text>
+      <text x="625" y="55">OF</text>
+    </g>
+  </g>
+</svg>