doc/img/lino-graph-export.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: G Pages: 1 -->
<svg width="222pt" height="531pt"
 viewBox="0.00 0.00 221.64 531.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 527)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-527 217.6442,-527 217.6442,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster\x01</title>
<polygon fill="none" stroke="#000000" points="8,-253 8,-444 132,-444 132,-253 8,-253"/>
</g>
<!-- public.city -->
<g id="node1" class="node">
<title>public.city</title>
<ellipse fill="none" stroke="#000000" cx="148" cy="-105" rx="50.0912" ry="18"/>
<text text-anchor="middle" x="148" y="-101.3" font-family="Times,serif" font-size="14.00" fill="#000000">public.city</text>
</g>
<!-- public.country -->
<g id="node2" class="node">
<title>public.country</title>
<ellipse fill="none" stroke="#000000" cx="148" cy="-18" rx="65.7887" ry="18"/>
<text text-anchor="middle" x="148" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">public.country</text>
</g>
<!-- public.city&#45;&gt;public.country -->
<g id="edge1" class="edge">
<title>public.city&#45;&gt;public.country</title>
<path fill="none" stroke="#000000" d="M148,-86.9735C148,-75.1918 148,-59.5607 148,-46.1581"/>
<polygon fill="#000000" stroke="#000000" points="151.5001,-46.0033 148,-36.0034 144.5001,-46.0034 151.5001,-46.0033"/>
<text text-anchor="middle" x="155.5" y="-57.8" font-family="Times,serif" font-size="14.00" fill="#000000">→</text>
</g>
<!-- public.customer -->
<g id="node3" class="node">
<title>public.customer</title>
<ellipse fill="none" stroke="#000000" cx="132" cy="-505" rx="70.3881" ry="18"/>
<text text-anchor="middle" x="132" y="-501.3" font-family="Times,serif" font-size="14.00" fill="#000000">public.customer</text>
</g>
<!-- public.store -->
<g id="node4" class="node">
<title>public.store</title>
<ellipse fill="none" stroke="#000000" cx="70" cy="-418" rx="53.8905" ry="18"/>
<text text-anchor="middle" x="70" y="-414.3" font-family="Times,serif" font-size="14.00" fill="#000000">public.store</text>
</g>
<!-- public.customer&#45;&gt;public.store -->
<g id="edge2" class="edge">
<title>public.customer&#45;&gt;public.store</title>
<path fill="none" stroke="#000000" d="M119.1536,-486.9735C110.283,-474.5261 98.3504,-457.782 88.4637,-443.9087"/>
<polygon fill="#000000" stroke="#000000" points="91.2717,-441.8181 82.6178,-435.7057 85.5711,-445.8806 91.2717,-441.8181"/>
<text text-anchor="middle" x="111.5" y="-457.8" font-family="Times,serif" font-size="14.00" fill="#000000">→</text>
</g>
<!-- public.address -->
<g id="node5" class="node">
<title>public.address</title>
<ellipse fill="none" stroke="#000000" cx="148" cy="-192" rx="63.8893" ry="18"/>
<text text-anchor="middle" x="148" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#000000">public.address</text>
</g>
<!-- public.customer&#45;&gt;public.address -->
<g id="edge3" class="edge">
<title>public.customer&#45;&gt;public.address</title>
<path fill="none" stroke="#000000" d="M154.0335,-487.8632C171.854,-471.9105 194,-446.3772 194,-418 194,-418 194,-418 194,-279 194,-256.4485 181.7715,-234.024 169.9243,-217.5905"/>
<polygon fill="#000000" stroke="#000000" points="172.6686,-215.4171 163.8306,-209.5741 167.0959,-219.6532 172.6686,-215.4171"/>
<text text-anchor="middle" x="201.5" y="-351.8" font-family="Times,serif" font-size="14.00" fill="#000000">→</text>
</g>
<!-- public.store&#45;&gt;public.address -->
<g id="edge8" class="edge">
<title>public.store&#45;&gt;public.address</title>
<path fill="none" stroke="#000000" d="M80.6176,-400.2076C93.8996,-377.175 116.4216,-335.4258 129,-297 137.2827,-271.697 142.2539,-241.7112 145.0212,-220.2754"/>
<polygon fill="#000000" stroke="#000000" points="148.5128,-220.5548 146.2404,-210.2065 141.5636,-219.7133 148.5128,-220.5548"/>
<text text-anchor="middle" x="129.5" y="-318.8" font-family="Times,serif" font-size="14.00" fill="#000000">→</text>
</g>
<!-- public.staff -->
<g id="node6" class="node">
<title>public.staff</title>
<ellipse fill="none" stroke="#000000" cx="68" cy="-279" rx="51.9908" ry="18"/>
<text text-anchor="middle" x="68" y="-275.3" font-family="Times,serif" font-size="14.00" fill="#000000">public.staff</text>
</g>
<!-- public.store&#45;&gt;public.staff -->
<g id="edge7" class="edge">
<title>public.store&#45;&gt;public.staff</title>
<path fill="none" stroke="#000000" d="M61.6923,-400.106C57.2564,-389.558 52.2564,-375.808 50,-363 46.657,-344.0247 51.2719,-322.8093 56.6643,-306.4469"/>
<polygon fill="#000000" stroke="#000000" points="59.9889,-307.5442 60.0581,-296.9496 53.3971,-305.1886 59.9889,-307.5442"/>
<text text-anchor="middle" x="57.5" y="-351.8" font-family="Times,serif" font-size="14.00" fill="#000000">→</text>
</g>
<!-- public.address&#45;&gt;public.city -->
<g id="edge4" class="edge">
<title>public.address&#45;&gt;public.city</title>
<path fill="none" stroke="#000000" d="M148,-173.9735C148,-162.1918 148,-146.5607 148,-133.1581"/>
<polygon fill="#000000" stroke="#000000" points="151.5001,-133.0033 148,-123.0034 144.5001,-133.0034 151.5001,-133.0033"/>
<text text-anchor="middle" x="155.5" y="-144.8" font-family="Times,serif" font-size="14.00" fill="#000000">→</text>
</g>
<!-- public.staff&#45;&gt;public.store -->
<g id="edge5" class="edge">
<title>public.staff&#45;&gt;public.store</title>
<path fill="none" stroke="#000000" d="M68.2615,-297.1763C68.5999,-320.696 69.1932,-361.9298 69.5914,-389.5995"/>
<polygon fill="#000000" stroke="#000000" points="66.0949,-389.8796 69.7385,-399.8282 73.0942,-389.7788 66.0949,-389.8796"/>
<text text-anchor="middle" x="76.5" y="-351.8" font-family="Times,serif" font-size="14.00" fill="#000000">→</text>
</g>
<!-- public.staff&#45;&gt;public.address -->
<g id="edge6" class="edge">
<title>public.staff&#45;&gt;public.address</title>
<path fill="none" stroke="#000000" d="M83.8054,-261.8116C95.5623,-249.026 111.7859,-231.3829 124.9817,-217.0324"/>
<polygon fill="#000000" stroke="#000000" points="127.7612,-219.1806 131.9536,-209.4505 122.6085,-214.4424 127.7612,-219.1806"/>
<text text-anchor="middle" x="119.5" y="-231.8" font-family="Times,serif" font-size="14.00" fill="#000000">→</text>
</g>
</g>
</svg>