diff options
Diffstat (limited to 'site/versions/master/docs/query.html')
-rw-r--r-- | site/versions/master/docs/query.html | 572 |
1 files changed, 94 insertions, 478 deletions
diff --git a/site/versions/master/docs/query.html b/site/versions/master/docs/query.html index a5068c8eef..c3802b4133 100644 --- a/site/versions/master/docs/query.html +++ b/site/versions/master/docs/query.html @@ -599,423 +599,96 @@ x intersect (y union z)</pre> <table style='margin: auto'><tr> <td style='text-align: center'> -<svg width="153pt" height="288pt" - viewBox="0.00 0.00 153.40 288.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> -<g id="graph0" class="graph" transform="scale(0.839179 0.839179) rotate(0) translate(4 339.193)"> -<title>somepath1</title> -<polygon fill="white" stroke="transparent" points="-4,4 -4,-339.193 178.798,-339.193 178.798,4 -4,4"/> -<!-- n1 --> -<g id="node1" class="node"> -<title>n1</title> -<ellipse fill="none" stroke="black" cx="40" cy="-314.394" rx="18" ry="18"/> -</g> -<!-- n2 --> -<g id="node2" class="node"> -<title>n2</title> -<ellipse fill="pink" stroke="black" cx="41" cy="-236.798" rx="18" ry="18"/> -</g> -<!-- n1->n2 --> -<g id="edge1" class="edge"> -<title>n1->n2</title> -<path fill="none" stroke="black" d="M40.2269,-296.24C40.3484,-287.058 40.5009,-275.531 40.6382,-265.147"/> -<polygon fill="black" stroke="black" points="44.1413,-264.93 40.774,-254.884 37.1419,-264.837 44.1413,-264.93"/> -</g> -<!-- n3 --> -<g id="node3" class="node"> -<title>n3</title> -<ellipse fill="pink" stroke="black" cx="18" cy="-162" rx="18" ry="18"/> -</g> -<!-- n2->n3 --> -<g id="edge2" class="edge"> -<title>n2->n3</title> -<path fill="none" stroke="black" d="M35.7809,-219.279C32.9579,-210.344 29.4064,-199.103 26.2211,-189.021"/> -<polygon fill="black" stroke="black" points="29.5485,-187.935 23.1984,-179.454 22.8737,-190.044 29.5485,-187.935"/> -</g> -<!-- n10 --> -<g id="node10" class="node"> -<title>n10</title> -<ellipse fill="pink" stroke="black" cx="37" cy="-90" rx="18" ry="18"/> -</g> -<!-- n2->n10 --> -<g id="edge9" class="edge"> -<title>n2->n10</title> -<path fill="none" stroke="black" d="M42.9371,-218.86C44.7656,-200.425 46.9578,-170.088 45,-144 44.3634,-135.518 43.1616,-126.336 41.8792,-118.036"/> -<polygon fill="black" stroke="black" points="45.3237,-117.412 40.2483,-108.112 38.4164,-118.547 45.3237,-117.412"/> -</g> -<!-- n3->n10 --> -<g id="edge10" class="edge"> -<title>n3->n10</title> -<path fill="none" stroke="black" d="M22.5027,-144.411C24.7033,-136.304 27.404,-126.354 29.8755,-117.248"/> -<polygon fill="black" stroke="black" points="33.2878,-118.038 32.5296,-107.47 26.5322,-116.204 33.2878,-118.038"/> -</g> -<!-- n4 --> -<g id="node4" class="node"> -<title>n4</title> -<ellipse fill="pink" stroke="black" cx="87" cy="-18" rx="18" ry="18"/> -<text text-anchor="middle" x="87" y="-14.3" font-family="arial" font-size="14.00">E</text> -</g> -<!-- n5 --> -<g id="node5" class="node"> -<title>n5</title> -<ellipse fill="none" stroke="black" cx="97" cy="-236.798" rx="18" ry="18"/> -</g> -<!-- n6 --> -<g id="node6" class="node"> -<title>n6</title> -<ellipse fill="none" stroke="black" cx="121" cy="-162" rx="18" ry="18"/> -</g> -<!-- n5->n6 --> -<g id="edge5" class="edge"> -<title>n5->n6</title> -<path fill="none" stroke="black" d="M102.446,-219.279C105.413,-210.281 109.15,-198.944 112.492,-188.808"/> -<polygon fill="black" stroke="black" points="115.851,-189.796 115.658,-179.203 109.203,-187.604 115.851,-189.796"/> -</g> -<!-- n6->n4 --> -<g id="edge6" class="edge"> -<title>n6->n4</title> -<path fill="none" stroke="black" d="M115.99,-144.365C112.931,-133.96 109.038,-120.252 106,-108 100.867,-87.3 95.8646,-63.6851 92.2822,-45.9844"/> -<polygon fill="black" stroke="black" points="95.6398,-44.9258 90.2466,-35.8064 88.7758,-46.2987 95.6398,-44.9258"/> -</g> -<!-- n9 --> -<g id="node9" class="node"> -<title>n9</title> -<ellipse fill="none" stroke="black" cx="133" cy="-90" rx="18" ry="18"/> -</g> -<!-- n6->n9 --> -<g id="edge8" class="edge"> -<title>n6->n9</title> -<path fill="none" stroke="black" d="M123.905,-144.055C125.261,-136.145 126.907,-126.54 128.425,-117.688"/> -<polygon fill="black" stroke="black" points="131.882,-118.237 130.122,-107.789 124.982,-117.054 131.882,-118.237"/> -</g> -<!-- n7 --> -<g id="node7" class="node"> -<title>n7</title> -<ellipse fill="pink" stroke="black" cx="97" cy="-314.394" rx="20.5982" ry="20.5982"/> -<text text-anchor="middle" x="97" y="-310.694" font-family="arial" font-size="14.00">S1</text> -</g> -<!-- n7->n2 --> -<g id="edge4" class="edge"> -<title>n7->n2</title> -<path fill="none" stroke="black" d="M84.8488,-296.991C76.7726,-286.089 66.0734,-271.646 57.2656,-259.756"/> -<polygon fill="black" stroke="black" points="60.0158,-257.588 51.2509,-251.636 54.391,-261.755 60.0158,-257.588"/> -</g> -<!-- n7->n5 --> -<g id="edge3" class="edge"> -<title>n7->n5</title> -<path fill="none" stroke="black" d="M97,-293.532C97,-284.887 97,-274.612 97,-265.254"/> -<polygon fill="black" stroke="black" points="100.5,-265.213 97,-255.213 93.5001,-265.213 100.5,-265.213"/> -</g> -<!-- n8 --> -<g id="node8" class="node"> -<title>n8</title> -<ellipse fill="none" stroke="black" cx="154" cy="-236.798" rx="20.5982" ry="20.5982"/> -<text text-anchor="middle" x="154" y="-233.098" font-family="arial" font-size="14.00">S2</text> -</g> -<!-- n8->n6 --> -<g id="edge7" class="edge"> -<title>n8->n6</title> -<path fill="none" stroke="black" d="M145.673,-217.428C141.606,-208.456 136.653,-197.53 132.254,-187.827"/> -<polygon fill="black" stroke="black" points="135.411,-186.313 128.095,-178.651 129.036,-189.204 135.411,-186.313"/> -</g> -<!-- n10->n4 --> -<g id="edge11" class="edge"> -<title>n10->n4</title> -<path fill="none" stroke="black" d="M47.1182,-74.8345C53.9632,-65.2515 63.1483,-52.3924 70.9784,-41.4303"/> -<polygon fill="black" stroke="black" points="73.9325,-43.3162 76.8968,-33.1445 68.2363,-39.2475 73.9325,-43.3162"/> -</g> -<!-- n11 --> -<g id="node11" class="node"> -<title>n11</title> -<ellipse fill="none" stroke="black" cx="33" cy="-18" rx="18" ry="18"/> -</g> -<!-- n10->n11 --> -<g id="edge12" class="edge"> -<title>n10->n11</title> -<path fill="none" stroke="black" d="M36.0112,-71.6966C35.5704,-63.9827 35.0407,-54.7125 34.5493,-46.1124"/> -<polygon fill="black" stroke="black" points="38.0423,-45.8883 33.9774,-36.1043 31.0537,-46.2878 38.0423,-45.8883"/> -</g> -</g> -</svg> +<div class='graphviz dot'><!-- +digraph somepath1 { + graph [size="4,4"] + node [label="",shape=circle]; + n1; + n2 [fillcolor="pink",style=filled]; + n3 [fillcolor="pink",style=filled]; + n4 [fillcolor="pink",style=filled,label="E"]; + n5; n6; + n7 [fillcolor="pink",style=filled,label="S1"]; + n8 [label="S2"]; + n9; + n10 [fillcolor="pink",style=filled]; + + n1 -> n2; + n2 -> n3; + n7 -> n5; + n7 -> n2; + n5 -> n6; + n6 -> n4; + n8 -> n6; + n6 -> n9; + n2 -> n10; + n3 -> n10; + n10 -> n4; + n10 -> n11; +} +--></div> <p><code>somepath(S1 + S2, E)</code>,<br/>one possible result.</p> </td> <td style='padding: 40px; text-align: center'> -<svg width="153pt" height="288pt" - viewBox="0.00 0.00 153.40 288.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> -<g id="graph0" class="graph" transform="scale(0.839179 0.839179) rotate(0) translate(4 339.193)"> -<title>somepath2</title> -<polygon fill="white" stroke="transparent" points="-4,4 -4,-339.193 178.798,-339.193 178.798,4 -4,4"/> -<!-- n1 --> -<g id="node1" class="node"> -<title>n1</title> -<ellipse fill="none" stroke="black" cx="40" cy="-314.394" rx="18" ry="18"/> -</g> -<!-- n2 --> -<g id="node2" class="node"> -<title>n2</title> -<ellipse fill="none" stroke="black" cx="41" cy="-236.798" rx="18" ry="18"/> -</g> -<!-- n1->n2 --> -<g id="edge1" class="edge"> -<title>n1->n2</title> -<path fill="none" stroke="black" d="M40.2269,-296.24C40.3484,-287.058 40.5009,-275.531 40.6382,-265.147"/> -<polygon fill="black" stroke="black" points="44.1413,-264.93 40.774,-254.884 37.1419,-264.837 44.1413,-264.93"/> -</g> -<!-- n3 --> -<g id="node3" class="node"> -<title>n3</title> -<ellipse fill="none" stroke="black" cx="18" cy="-162" rx="18" ry="18"/> -</g> -<!-- n2->n3 --> -<g id="edge2" class="edge"> -<title>n2->n3</title> -<path fill="none" stroke="black" d="M35.7809,-219.279C32.9579,-210.344 29.4064,-199.103 26.2211,-189.021"/> -<polygon fill="black" stroke="black" points="29.5485,-187.935 23.1984,-179.454 22.8737,-190.044 29.5485,-187.935"/> -</g> -<!-- n10 --> -<g id="node10" class="node"> -<title>n10</title> -<ellipse fill="none" stroke="black" cx="37" cy="-90" rx="18" ry="18"/> -</g> -<!-- n2->n10 --> -<g id="edge9" class="edge"> -<title>n2->n10</title> -<path fill="none" stroke="black" d="M42.9371,-218.86C44.7656,-200.425 46.9578,-170.088 45,-144 44.3634,-135.518 43.1616,-126.336 41.8792,-118.036"/> -<polygon fill="black" stroke="black" points="45.3237,-117.412 40.2483,-108.112 38.4164,-118.547 45.3237,-117.412"/> -</g> -<!-- n3->n10 --> -<g id="edge10" class="edge"> -<title>n3->n10</title> -<path fill="none" stroke="black" d="M22.5027,-144.411C24.7033,-136.304 27.404,-126.354 29.8755,-117.248"/> -<polygon fill="black" stroke="black" points="33.2878,-118.038 32.5296,-107.47 26.5322,-116.204 33.2878,-118.038"/> -</g> -<!-- n4 --> -<g id="node4" class="node"> -<title>n4</title> -<ellipse fill="pink" stroke="black" cx="87" cy="-18" rx="18" ry="18"/> -<text text-anchor="middle" x="87" y="-14.3" font-family="arial" font-size="14.00">E</text> -</g> -<!-- n5 --> -<g id="node5" class="node"> -<title>n5</title> -<ellipse fill="none" stroke="black" cx="97" cy="-236.798" rx="18" ry="18"/> -</g> -<!-- n6 --> -<g id="node6" class="node"> -<title>n6</title> -<ellipse fill="pink" stroke="black" cx="121" cy="-162" rx="18" ry="18"/> -</g> -<!-- n5->n6 --> -<g id="edge5" class="edge"> -<title>n5->n6</title> -<path fill="none" stroke="black" d="M102.446,-219.279C105.413,-210.281 109.15,-198.944 112.492,-188.808"/> -<polygon fill="black" stroke="black" points="115.851,-189.796 115.658,-179.203 109.203,-187.604 115.851,-189.796"/> -</g> -<!-- n6->n4 --> -<g id="edge6" class="edge"> -<title>n6->n4</title> -<path fill="none" stroke="black" d="M115.99,-144.365C112.931,-133.96 109.038,-120.252 106,-108 100.867,-87.3 95.8646,-63.6851 92.2822,-45.9844"/> -<polygon fill="black" stroke="black" points="95.6398,-44.9258 90.2466,-35.8064 88.7758,-46.2987 95.6398,-44.9258"/> -</g> -<!-- n9 --> -<g id="node9" class="node"> -<title>n9</title> -<ellipse fill="none" stroke="black" cx="133" cy="-90" rx="18" ry="18"/> -</g> -<!-- n6->n9 --> -<g id="edge8" class="edge"> -<title>n6->n9</title> -<path fill="none" stroke="black" d="M123.905,-144.055C125.261,-136.145 126.907,-126.54 128.425,-117.688"/> -<polygon fill="black" stroke="black" points="131.882,-118.237 130.122,-107.789 124.982,-117.054 131.882,-118.237"/> -</g> -<!-- n7 --> -<g id="node7" class="node"> -<title>n7</title> -<ellipse fill="none" stroke="black" cx="97" cy="-314.394" rx="20.5982" ry="20.5982"/> -<text text-anchor="middle" x="97" y="-310.694" font-family="arial" font-size="14.00">S1</text> -</g> -<!-- n7->n2 --> -<g id="edge4" class="edge"> -<title>n7->n2</title> -<path fill="none" stroke="black" d="M84.8488,-296.991C76.7726,-286.089 66.0734,-271.646 57.2656,-259.756"/> -<polygon fill="black" stroke="black" points="60.0158,-257.588 51.2509,-251.636 54.391,-261.755 60.0158,-257.588"/> -</g> -<!-- n7->n5 --> -<g id="edge3" class="edge"> -<title>n7->n5</title> -<path fill="none" stroke="black" d="M97,-293.532C97,-284.887 97,-274.612 97,-265.254"/> -<polygon fill="black" stroke="black" points="100.5,-265.213 97,-255.213 93.5001,-265.213 100.5,-265.213"/> -</g> -<!-- n8 --> -<g id="node8" class="node"> -<title>n8</title> -<ellipse fill="pink" stroke="black" cx="154" cy="-236.798" rx="20.5982" ry="20.5982"/> -<text text-anchor="middle" x="154" y="-233.098" font-family="arial" font-size="14.00">S2</text> -</g> -<!-- n8->n6 --> -<g id="edge7" class="edge"> -<title>n8->n6</title> -<path fill="none" stroke="black" d="M145.673,-217.428C141.606,-208.456 136.653,-197.53 132.254,-187.827"/> -<polygon fill="black" stroke="black" points="135.411,-186.313 128.095,-178.651 129.036,-189.204 135.411,-186.313"/> -</g> -<!-- n10->n4 --> -<g id="edge11" class="edge"> -<title>n10->n4</title> -<path fill="none" stroke="black" d="M47.1182,-74.8345C53.9632,-65.2515 63.1483,-52.3924 70.9784,-41.4303"/> -<polygon fill="black" stroke="black" points="73.9325,-43.3162 76.8968,-33.1445 68.2363,-39.2475 73.9325,-43.3162"/> -</g> -<!-- n11 --> -<g id="node11" class="node"> -<title>n11</title> -<ellipse fill="none" stroke="black" cx="33" cy="-18" rx="18" ry="18"/> -</g> -<!-- n10->n11 --> -<g id="edge12" class="edge"> -<title>n10->n11</title> -<path fill="none" stroke="black" d="M36.0112,-71.6966C35.5704,-63.9827 35.0407,-54.7125 34.5493,-46.1124"/> -<polygon fill="black" stroke="black" points="38.0423,-45.8883 33.9774,-36.1043 31.0537,-46.2878 38.0423,-45.8883"/> -</g> -</g> -</svg> +<div class='graphviz dot'><!-- +digraph somepath2 { + graph [size="4,4"] + node [label="",shape=circle]; + + n1; n2; n3; + n4 [fillcolor="pink",style=filled,label="E"]; + n5; + n6 [fillcolor="pink",style=filled]; + n7 [label="S1"]; + n8 [fillcolor="pink",style=filled,label="S2"]; + n9; n10; + + n1 -> n2; + n2 -> n3; + n7 -> n5; + n7 -> n2; + n5 -> n6; + n6 -> n4; + n8 -> n6; + n6 -> n9; + n2 -> n10; + n3 -> n10; + n10 -> n4; + n10 -> n11; +} +--></div> <p><code>somepath(S1 + S2, E)</code>,<br/>another possible result.</p> </td> <td style='text-align: center'> -<svg width="153pt" height="288pt" - viewBox="0.00 0.00 153.40 288.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> -<g id="graph0" class="graph" transform="scale(0.839179 0.839179) rotate(0) translate(4 339.193)"> -<title>allpaths</title> -<polygon fill="white" stroke="transparent" points="-4,4 -4,-339.193 178.798,-339.193 178.798,4 -4,4"/> -<!-- n1 --> -<g id="node1" class="node"> -<title>n1</title> -<ellipse fill="none" stroke="black" cx="40" cy="-314.394" rx="18" ry="18"/> -</g> -<!-- n2 --> -<g id="node2" class="node"> -<title>n2</title> -<ellipse fill="pink" stroke="black" cx="41" cy="-236.798" rx="18" ry="18"/> -</g> -<!-- n1->n2 --> -<g id="edge1" class="edge"> -<title>n1->n2</title> -<path fill="none" stroke="black" d="M40.2269,-296.24C40.3484,-287.058 40.5009,-275.531 40.6382,-265.147"/> -<polygon fill="black" stroke="black" points="44.1413,-264.93 40.774,-254.884 37.1419,-264.837 44.1413,-264.93"/> -</g> -<!-- n3 --> -<g id="node3" class="node"> -<title>n3</title> -<ellipse fill="pink" stroke="black" cx="18" cy="-162" rx="18" ry="18"/> -</g> -<!-- n2->n3 --> -<g id="edge2" class="edge"> -<title>n2->n3</title> -<path fill="none" stroke="black" d="M35.7809,-219.279C32.9579,-210.344 29.4064,-199.103 26.2211,-189.021"/> -<polygon fill="black" stroke="black" points="29.5485,-187.935 23.1984,-179.454 22.8737,-190.044 29.5485,-187.935"/> -</g> -<!-- n10 --> -<g id="node10" class="node"> -<title>n10</title> -<ellipse fill="pink" stroke="black" cx="37" cy="-90" rx="18" ry="18"/> -</g> -<!-- n2->n10 --> -<g id="edge9" class="edge"> -<title>n2->n10</title> -<path fill="none" stroke="black" d="M42.9371,-218.86C44.7656,-200.425 46.9578,-170.088 45,-144 44.3634,-135.518 43.1616,-126.336 41.8792,-118.036"/> -<polygon fill="black" stroke="black" points="45.3237,-117.412 40.2483,-108.112 38.4164,-118.547 45.3237,-117.412"/> -</g> -<!-- n3->n10 --> -<g id="edge10" class="edge"> -<title>n3->n10</title> -<path fill="none" stroke="black" d="M22.5027,-144.411C24.7033,-136.304 27.404,-126.354 29.8755,-117.248"/> -<polygon fill="black" stroke="black" points="33.2878,-118.038 32.5296,-107.47 26.5322,-116.204 33.2878,-118.038"/> -</g> -<!-- n4 --> -<g id="node4" class="node"> -<title>n4</title> -<ellipse fill="pink" stroke="black" cx="87" cy="-18" rx="18" ry="18"/> -<text text-anchor="middle" x="87" y="-14.3" font-family="arial" font-size="14.00">E</text> -</g> -<!-- n5 --> -<g id="node5" class="node"> -<title>n5</title> -<ellipse fill="pink" stroke="black" cx="97" cy="-236.798" rx="18" ry="18"/> -</g> -<!-- n6 --> -<g id="node6" class="node"> -<title>n6</title> -<ellipse fill="pink" stroke="black" cx="121" cy="-162" rx="18" ry="18"/> -</g> -<!-- n5->n6 --> -<g id="edge5" class="edge"> -<title>n5->n6</title> -<path fill="none" stroke="black" d="M102.446,-219.279C105.413,-210.281 109.15,-198.944 112.492,-188.808"/> -<polygon fill="black" stroke="black" points="115.851,-189.796 115.658,-179.203 109.203,-187.604 115.851,-189.796"/> -</g> -<!-- n6->n4 --> -<g id="edge6" class="edge"> -<title>n6->n4</title> -<path fill="none" stroke="black" d="M115.99,-144.365C112.931,-133.96 109.038,-120.252 106,-108 100.867,-87.3 95.8646,-63.6851 92.2822,-45.9844"/> -<polygon fill="black" stroke="black" points="95.6398,-44.9258 90.2466,-35.8064 88.7758,-46.2987 95.6398,-44.9258"/> -</g> -<!-- n9 --> -<g id="node9" class="node"> -<title>n9</title> -<ellipse fill="none" stroke="black" cx="133" cy="-90" rx="18" ry="18"/> -</g> -<!-- n6->n9 --> -<g id="edge8" class="edge"> -<title>n6->n9</title> -<path fill="none" stroke="black" d="M123.905,-144.055C125.261,-136.145 126.907,-126.54 128.425,-117.688"/> -<polygon fill="black" stroke="black" points="131.882,-118.237 130.122,-107.789 124.982,-117.054 131.882,-118.237"/> -</g> -<!-- n7 --> -<g id="node7" class="node"> -<title>n7</title> -<ellipse fill="pink" stroke="black" cx="97" cy="-314.394" rx="20.5982" ry="20.5982"/> -<text text-anchor="middle" x="97" y="-310.694" font-family="arial" font-size="14.00">S1</text> -</g> -<!-- n7->n2 --> -<g id="edge4" class="edge"> -<title>n7->n2</title> -<path fill="none" stroke="black" d="M84.8488,-296.991C76.7726,-286.089 66.0734,-271.646 57.2656,-259.756"/> -<polygon fill="black" stroke="black" points="60.0158,-257.588 51.2509,-251.636 54.391,-261.755 60.0158,-257.588"/> -</g> -<!-- n7->n5 --> -<g id="edge3" class="edge"> -<title>n7->n5</title> -<path fill="none" stroke="black" d="M97,-293.532C97,-284.887 97,-274.612 97,-265.254"/> -<polygon fill="black" stroke="black" points="100.5,-265.213 97,-255.213 93.5001,-265.213 100.5,-265.213"/> -</g> -<!-- n8 --> -<g id="node8" class="node"> -<title>n8</title> -<ellipse fill="pink" stroke="black" cx="154" cy="-236.798" rx="20.5982" ry="20.5982"/> -<text text-anchor="middle" x="154" y="-233.098" font-family="arial" font-size="14.00">S2</text> -</g> -<!-- n8->n6 --> -<g id="edge7" class="edge"> -<title>n8->n6</title> -<path fill="none" stroke="black" d="M145.673,-217.428C141.606,-208.456 136.653,-197.53 132.254,-187.827"/> -<polygon fill="black" stroke="black" points="135.411,-186.313 128.095,-178.651 129.036,-189.204 135.411,-186.313"/> -</g> -<!-- n10->n4 --> -<g id="edge11" class="edge"> -<title>n10->n4</title> -<path fill="none" stroke="black" d="M47.1182,-74.8345C53.9632,-65.2515 63.1483,-52.3924 70.9784,-41.4303"/> -<polygon fill="black" stroke="black" points="73.9325,-43.3162 76.8968,-33.1445 68.2363,-39.2475 73.9325,-43.3162"/> -</g> -<!-- n11 --> -<g id="node11" class="node"> -<title>n11</title> -<ellipse fill="none" stroke="black" cx="33" cy="-18" rx="18" ry="18"/> -</g> -<!-- n10->n11 --> -<g id="edge12" class="edge"> -<title>n10->n11</title> -<path fill="none" stroke="black" d="M36.0112,-71.6966C35.5704,-63.9827 35.0407,-54.7125 34.5493,-46.1124"/> -<polygon fill="black" stroke="black" points="38.0423,-45.8883 33.9774,-36.1043 31.0537,-46.2878 38.0423,-45.8883"/> -</g> -</g> -</svg> +<div class='graphviz dot'><!-- +digraph allpaths { + graph [size="4,4"] + node [label="",shape=circle]; + n1; + n2 [fillcolor="pink",style=filled]; + n3 [fillcolor="pink",style=filled]; + n4 [fillcolor="pink",style=filled,label="E"]; + n5 [fillcolor="pink",style=filled]; + n6 [fillcolor="pink",style=filled]; + n7 [fillcolor="pink",style=filled, label="S1"]; + n8 [fillcolor="pink",style=filled, label="S2"]; + n9; + n10 [fillcolor="pink",style=filled]; + + n1 -> n2; + n2 -> n3; + n7 -> n5; + n7 -> n2; + n5 -> n6; + n6 -> n4; + n8 -> n6; + n6 -> n9; + n2 -> n10; + n3 -> n10; + n10 -> n4; + n10 -> n11; +} +--></div> <p><code>allpaths(S1 + S2, E)</code>.</p> </td> </tr></table> @@ -1490,73 +1163,16 @@ genrule( </p> <table style='margin: auto'><tr><td> -<svg width="169pt" height="260pt" - viewBox="0.00 0.00 169.00 260.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 256)"> -<title>mygraph</title> -<polygon fill="white" stroke="transparent" points="-4,4 -4,-256 165,-256 165,4 -4,4"/> -<!-- //a:a --> -<g id="node1" class="node"> -<title>//a:a</title> -<polygon fill="none" stroke="black" points="65.5,-108 11.5,-108 11.5,-72 65.5,-72 65.5,-108"/> -<text text-anchor="middle" x="38.5" y="-86.3" font-family="arial" font-size="14.00">//a:a</text> -</g> -<!-- //a:a.cc --> -<g id="node2" class="node"> -<title>//a:a.cc</title> -<polygon fill="none" stroke="black" points="77,-36 0,-36 0,-0 77,-0 77,-36"/> -<text text-anchor="middle" x="38.5" y="-14.3" font-family="arial" font-size="14.00">//a:a.cc</text> -</g> -<!-- //a:a->//a:a.cc --> -<g id="edge1" class="edge"> -<title>//a:a->//a:a.cc</title> -<path fill="none" stroke="black" d="M38.5,-71.6966C38.5,-63.9827 38.5,-54.7125 38.5,-46.1124"/> -<polygon fill="black" stroke="black" points="42.0001,-46.1043 38.5,-36.1043 35.0001,-46.1044 42.0001,-46.1043"/> -</g> -<!-- //b:b --> -<g id="node3" class="node"> -<title>//b:b</title> -<polygon fill="none" stroke="black" points="120.5,-180 66.5,-180 66.5,-144 120.5,-144 120.5,-180"/> -<text text-anchor="middle" x="93.5" y="-158.3" font-family="arial" font-size="14.00">//b:b</text> -</g> -<!-- //b:b->//a:a --> -<g id="edge2" class="edge"> -<title>//b:b->//a:a</title> -<path fill="none" stroke="black" d="M79.9045,-143.697C73.3773,-135.389 65.432,-125.277 58.2534,-116.141"/> -<polygon fill="black" stroke="black" points="60.8695,-113.805 51.9391,-108.104 55.3653,-118.13 60.8695,-113.805"/> -</g> -<!-- //b:b.cc --> -<g id="node4" class="node"> -<title>//b:b.cc</title> -<polygon fill="none" stroke="black" points="161,-108 84,-108 84,-72 161,-72 161,-108"/> -<text text-anchor="middle" x="122.5" y="-86.3" font-family="arial" font-size="14.00">//b:b.cc</text> -</g> -<!-- //b:b->//b:b.cc --> -<g id="edge3" class="edge"> -<title>//b:b->//b:b.cc</title> -<path fill="none" stroke="black" d="M100.669,-143.697C103.935,-135.813 107.874,-126.304 111.502,-117.546"/> -<polygon fill="black" stroke="black" points="114.82,-118.683 115.414,-108.104 108.353,-116.003 114.82,-118.683"/> -</g> -<!-- //c:c --> -<g id="node5" class="node"> -<title>//c:c</title> -<polygon fill="none" stroke="black" points="92.5,-252 38.5,-252 38.5,-216 92.5,-216 92.5,-252"/> -<text text-anchor="middle" x="65.5" y="-230.3" font-family="arial" font-size="14.00">//c:c</text> -</g> -<!-- //c:c->//a:a --> -<g id="edge5" class="edge"> -<title>//c:c->//a:a</title> -<path fill="none" stroke="black" d="M62.2432,-215.871C57.6415,-191.67 49.188,-147.211 43.7086,-118.393"/> -<polygon fill="black" stroke="black" points="47.0748,-117.359 41.7684,-108.189 40.198,-118.667 47.0748,-117.359"/> -</g> -<!-- //c:c->//b:b --> -<g id="edge4" class="edge"> -<title>//c:c->//b:b</title> -<path fill="none" stroke="black" d="M72.4214,-215.697C75.5747,-207.813 79.3783,-198.304 82.8814,-189.546"/> -<polygon fill="black" stroke="black" points="86.194,-190.689 86.6583,-180.104 79.6946,-188.089 86.194,-190.689"/> -</g> -</g> -</svg> +<div class='graphviz dot'><!-- +digraph mygraph { + node [shape=box]; +"//a:a" -> "//a:a.cc" +"//b:b" -> "//a:a" +"//b:b" -> "//b:b.cc" +"//c:c" -> "//b:b" +"//c:c" -> "//a:a" +} +--></div> </td><td> <pre> minrank |