lectures.alex.balgavy.eu

Lecture notes from university.
git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git
Log | Files | Refs | Submodules

model-if-then-else.dot.svg (3204B)

      1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
      2 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
      3  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
      4 <!-- Generated by graphviz version 2.50.0 (20211204.2007)
      5  -->
      6 <!-- Title: g Pages: 1 -->
      7 <svg width="175pt" height="126pt"
      8  viewBox="0.00 0.00 175.00 125.79" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
      9 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 121.79)">
     10 <title>g</title>
     11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-121.79 171,-121.79 171,4 -4,4"/>
     12 <!-- 1 -->
     13 <g id="node1" class="node">
     14 <title>1</title>
     15 <ellipse fill="none" stroke="black" cx="43" cy="-89.79" rx="27" ry="18"/>
     16 <text text-anchor="middle" x="43" y="-86.09" font-family="Times,serif" font-size="14.00">1</text>
     17 <text text-anchor="middle" x="8" y="-60.59" font-family="Times,serif" font-size="14.00">[p]</text>
     18 </g>
     19 <!-- 2 -->
     20 <g id="node2" class="node">
     21 <title>2</title>
     22 <ellipse fill="none" stroke="black" cx="140" cy="-99.79" rx="27" ry="18"/>
     23 <text text-anchor="middle" x="140" y="-96.09" font-family="Times,serif" font-size="14.00">2</text>
     24 </g>
     25 <!-- 1&#45;&gt;2 -->
     26 <g id="edge1" class="edge">
     27 <title>1&#45;&gt;2</title>
     28 <path fill="none" stroke="black" d="M69.96,-92.52C80.12,-93.59 91.94,-94.83 102.91,-95.99"/>
     29 <polygon fill="black" stroke="black" points="102.76,-99.49 113.07,-97.06 103.49,-92.53 102.76,-99.49"/>
     30 <text text-anchor="middle" x="91.5" y="-98.59" font-family="Times,serif" font-size="14.00">a</text>
     31 </g>
     32 <!-- 3 -->
     33 <g id="node4" class="node">
     34 <title>3</title>
     35 <ellipse fill="none" stroke="black" cx="140" cy="-30.79" rx="27" ry="18"/>
     36 <text text-anchor="middle" x="140" y="-27.09" font-family="Times,serif" font-size="14.00">3</text>
     37 </g>
     38 <!-- 1&#45;&gt;3 -->
     39 <g id="edge3" class="edge">
     40 <title>1&#45;&gt;3</title>
     41 <path fill="none" stroke="black" d="M63.22,-77.85C76.91,-69.35 95.52,-57.79 110.88,-48.25"/>
     42 <polygon fill="black" stroke="black" points="112.83,-51.16 119.48,-42.91 109.14,-45.21 112.83,-51.16"/>
     43 <text text-anchor="middle" x="91.5" y="-65.59" font-family="Times,serif" font-size="14.00">b</text>
     44 </g>
     45 <!-- 4 -->
     46 <g id="node3" class="node">
     47 <title>4</title>
     48 <ellipse fill="none" stroke="black" cx="43" cy="-24.79" rx="27" ry="18"/>
     49 <text text-anchor="middle" x="43" y="-21.09" font-family="Times,serif" font-size="14.00">4</text>
     50 </g>
     51 <!-- 4&#45;&gt;2 -->
     52 <g id="edge2" class="edge">
     53 <title>4&#45;&gt;2</title>
     54 <path fill="none" stroke="black" d="M69.59,-28.27C78.21,-30.33 87.53,-33.6 95,-38.79 102.15,-43.75 113.79,-60.09 123.3,-74.61"/>
     55 <polygon fill="black" stroke="black" points="120.53,-76.78 128.89,-83.3 126.42,-72.99 120.53,-76.78"/>
     56 <text text-anchor="middle" x="91.5" y="-42.59" font-family="Times,serif" font-size="14.00">b</text>
     57 </g>
     58 <!-- 4&#45;&gt;3 -->
     59 <g id="edge4" class="edge">
     60 <title>4&#45;&gt;3</title>
     61 <path fill="none" stroke="black" d="M60.57,-10.61C70.34,-3.96 83.09,1.79 95,-1.79 101.71,-3.8 108.35,-7.2 114.35,-10.99"/>
     62 <polygon fill="black" stroke="black" points="112.4,-13.9 122.63,-16.68 116.37,-8.13 112.4,-13.9"/>
     63 <text text-anchor="middle" x="91.5" y="-5.59" font-family="Times,serif" font-size="14.00">a</text>
     64 </g>
     65 </g>
     66 </svg>