From 9a575edf34d6df66f58ae7933cd54396d3d11d96 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Thu, 10 Oct 2019 10:06:40 +0200
Subject: [PATCH] remove hard coded path to dot
---
Argumentation_Theory.ipynb | 501 ++++++++++++++++---------------------
1 file changed, 221 insertions(+), 280 deletions(-)
diff --git a/Argumentation_Theory.ipynb b/Argumentation_Theory.ipynb
index 5a25b24..a803fa1 100644
--- a/Argumentation_Theory.ipynb
+++ b/Argumentation_Theory.ipynb
@@ -33,7 +33,7 @@
},
{
"cell_type": "code",
- "execution_count": 1,
+ "execution_count": 42,
"metadata": {},
"outputs": [
{
@@ -42,7 +42,7 @@
"Loaded machine: ArgumentationTotFun"
]
},
- "execution_count": 1,
+ "execution_count": 42,
"metadata": {},
"output_type": "execute_result"
}
@@ -91,7 +91,7 @@
},
{
"cell_type": "code",
- "execution_count": 2,
+ "execution_count": 43,
"metadata": {},
"outputs": [
{
@@ -100,7 +100,7 @@
"Changed to state with index -1"
]
},
- "execution_count": 2,
+ "execution_count": 43,
"metadata": {},
"output_type": "execute_result"
}
@@ -111,7 +111,7 @@
},
{
"cell_type": "code",
- "execution_count": 3,
+ "execution_count": 44,
"metadata": {},
"outputs": [
{
@@ -120,7 +120,7 @@
"Machine constants set up using operation 0: $setup_constants()"
]
},
- "execution_count": 3,
+ "execution_count": 44,
"metadata": {},
"output_type": "execute_result"
}
@@ -131,7 +131,7 @@
},
{
"cell_type": "code",
- "execution_count": 4,
+ "execution_count": 45,
"metadata": {},
"outputs": [
{
@@ -145,7 +145,7 @@
"0: SETUP_CONSTANTS() (current)"
]
},
- "execution_count": 4,
+ "execution_count": 45,
"metadata": {},
"output_type": "execute_result"
}
@@ -163,7 +163,7 @@
},
{
"cell_type": "code",
- "execution_count": 5,
+ "execution_count": 46,
"metadata": {},
"outputs": [
{
@@ -172,7 +172,7 @@
"Machine initialised using operation 1: $initialise_machine()"
]
},
- "execution_count": 5,
+ "execution_count": 46,
"metadata": {},
"output_type": "execute_result"
}
@@ -190,7 +190,7 @@
},
{
"cell_type": "code",
- "execution_count": 6,
+ "execution_count": 47,
"metadata": {},
"outputs": [
{
@@ -213,7 +213,7 @@
"E\tD\n"
]
},
- "execution_count": 6,
+ "execution_count": 47,
"metadata": {},
"output_type": "execute_result"
}
@@ -224,7 +224,7 @@
},
{
"cell_type": "code",
- "execution_count": 7,
+ "execution_count": 48,
"metadata": {},
"outputs": [
{
@@ -247,7 +247,7 @@
"E\tin\n"
]
},
- "execution_count": 7,
+ "execution_count": 48,
"metadata": {},
"output_type": "execute_result"
}
@@ -270,30 +270,18 @@
]
},
{
- "cell_type": "code",
- "execution_count": 8,
+ "cell_type": "markdown",
"metadata": {
"scrolled": true
},
- "outputs": [
- {
- "data": {
- "text/plain": [
- "Preference changed: DOT = /usr/bin/dot\n"
- ]
- },
- "execution_count": 8,
- "metadata": {},
- "output_type": "execute_result"
- }
- ],
"source": [
- ":pref DOT=/usr/bin/dot"
+ "In case dot is installed in a non-standard location you can use the command\n",
+ "```:pref DOT=/usr/bin/dot``` to specify the path to dot."
]
},
{
"cell_type": "code",
- "execution_count": 9,
+ "execution_count": 49,
"metadata": {},
"outputs": [
{
@@ -302,135 +290,116 @@
"<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
"<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
" \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
- "<!-- Generated by graphviz version 2.40.1 (20161225.0304)\n",
+ "<!-- Generated by graphviz version 2.28.0 (20110509.1545)\n",
" -->\n",
"<!-- Title: state Pages: 1 -->\n",
- "<svg width=\"256pt\" height=\"759pt\"\n",
- " viewBox=\"0.00 0.00 256.00 759.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
- "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 755)\">\n",
+ "<svg width=\"294pt\" height=\"568pt\"\n",
+ " viewBox=\"0.00 0.00 294.21 568.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+ "<g id=\"graph1\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 564)\">\n",
"<title>state</title>\n",
- "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-755 252,-755 252,4 -4,4\"/>\n",
- "<g id=\"clust1\" class=\"cluster\">\n",
- "<title>cluster_ARGUMENTS</title>\n",
- "<polygon fill=\"#d3d3d3\" stroke=\"#d3d3d3\" points=\"8,-114 8,-743 154,-743 154,-114 8,-114\"/>\n",
- "<text text-anchor=\"middle\" x=\"81\" y=\"-729.4\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">ARGUMENTS</text>\n",
+ "<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-564 291.21,-564 291.21,5 -4,5\"/>\n",
+ "<g id=\"graph2\" class=\"cluster\"><title>cluster_ARGUMENTS</title>\n",
+ "<polygon fill=\"lightgrey\" stroke=\"lightgrey\" points=\"8,-118 8,-552 143,-552 143,-118 8,-118\"/>\n",
+ "<text text-anchor=\"middle\" x=\"75.5\" y=\"-537.2\" font-family=\"Times,serif\" font-size=\"12.00\">ARGUMENTS</text>\n",
"</g>\n",
- "<g id=\"clust2\" class=\"cluster\">\n",
- "<title>cluster_STATUS</title>\n",
- "<polygon fill=\"#d3d3d3\" stroke=\"#d3d3d3\" points=\"47,-8 47,-81 189,-81 189,-8 47,-8\"/>\n",
- "<text text-anchor=\"middle\" x=\"118\" y=\"-67.4\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">STATUS</text>\n",
+ "<g id=\"graph3\" class=\"cluster\"><title>cluster_STATUS</title>\n",
+ "<polygon fill=\"lightgrey\" stroke=\"lightgrey\" points=\"72,-8 72,-82 214,-82 214,-8 72,-8\"/>\n",
+ "<text text-anchor=\"middle\" x=\"143\" y=\"-67.2\" font-family=\"Times,serif\" font-size=\"12.00\">STATUS</text>\n",
"</g>\n",
"<!-- E -->\n",
- "<g id=\"node1\" class=\"node\">\n",
- "<title>E</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-714 81,-714 81,-678 135,-678 135,-714\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-692.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">E</text>\n",
+ "<g id=\"node1\" class=\"node\"><title>E</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-522 69,-522 69,-486 123,-486 123,-522\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-499.8\" font-family=\"Times,serif\" font-size=\"14.00\">E</text>\n",
"</g>\n",
"<!-- in -->\n",
- "<g id=\"node2\" class=\"node\">\n",
- "<title>in</title>\n",
- "<polygon fill=\"#bdef6b\" stroke=\"#bdef6b\" points=\"181,-52 127,-52 127,-16 181,-16 181,-52\"/>\n",
- "<text text-anchor=\"middle\" x=\"154\" y=\"-30.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">in</text>\n",
+ "<g id=\"node3\" class=\"node\"><title>in</title>\n",
+ "<polygon fill=\"#bdef6b\" stroke=\"#bdef6b\" points=\"206,-52 152,-52 152,-16 206,-16 206,-52\"/>\n",
+ "<text text-anchor=\"middle\" x=\"179\" y=\"-29.8\" font-family=\"Times,serif\" font-size=\"14.00\">in</text>\n",
"</g>\n",
"<!-- E->in -->\n",
- "<g id=\"edge1\" class=\"edge\">\n",
- "<title>E->in</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M135.0663,-692.9247C168.4964,-687.4486 221,-672.6209 221,-633.5 221,-633.5 221,-633.5 221,-140 221,-108.8645 200.0896,-79.4349 181.6322,-59.5224\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"183.9345,-56.8684 174.4663,-52.114 178.9031,-61.7351 183.9345,-56.8684\"/>\n",
- "<text text-anchor=\"middle\" x=\"234.5\" y=\"-398.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">label</text>\n",
+ "<g id=\"edge2\" class=\"edge\"><title>E->in</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M123.283,-500.608C169.685,-494.881 259,-475.942 259,-415 259,-415 259,-415 259,-143 259,-108.977 233.048,-78.6753 210.706,-58.8927\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"212.889,-56.1546 203.003,-52.3451 208.356,-61.4883 212.889,-56.1546\"/>\n",
+ "<text text-anchor=\"middle\" x=\"272.605\" y=\"-274.8\" font-family=\"Times,serif\" font-size=\"14.00\">label</text>\n",
"</g>\n",
"<!-- D -->\n",
- "<g id=\"node3\" class=\"node\">\n",
- "<title>D</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-589 81,-589 81,-553 135,-553 135,-589\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-567.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">D</text>\n",
+ "<g id=\"node4\" class=\"node\"><title>D</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-432 69,-432 69,-396 123,-396 123,-432\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-409.8\" font-family=\"Times,serif\" font-size=\"14.00\">D</text>\n",
"</g>\n",
"<!-- E->D -->\n",
- "<g id=\"edge6\" class=\"edge\">\n",
- "<title>E->D</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M108,-677.8239C108,-657.2723 108,-623.5472 108,-599.4893\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"111.5001,-599.198 108,-589.198 104.5001,-599.198 111.5001,-599.198\"/>\n",
- "<text text-anchor=\"middle\" x=\"127\" y=\"-629.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge12\" class=\"edge\"><title>E->D</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M96,-485.614C96,-473.24 96,-456.369 96,-442.22\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"99.5001,-442.05 96,-432.05 92.5001,-442.05 99.5001,-442.05\"/>\n",
+ "<text text-anchor=\"middle\" x=\"115.435\" y=\"-454.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- B -->\n",
- "<g id=\"node6\" class=\"node\">\n",
- "<title>B</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"84,-311 30,-311 30,-275 84,-275 84,-311\"/>\n",
- "<text text-anchor=\"middle\" x=\"57\" y=\"-289.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">B</text>\n",
+ "<g id=\"node9\" class=\"node\"><title>B</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"86,-252 32,-252 32,-216 86,-216 86,-252\"/>\n",
+ "<text text-anchor=\"middle\" x=\"59\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">B</text>\n",
"</g>\n",
"<!-- E->B -->\n",
- "<g id=\"edge7\" class=\"edge\">\n",
- "<title>E->B</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M80.8653,-685.8975C59.7458,-676.0746 34,-658.8926 34,-633.5 34,-633.5 34,-633.5 34,-369.5 34,-352.8719 39.0452,-335.0388 44.4096,-320.7769\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"47.8207,-321.6752 48.3047,-311.0914 41.3262,-319.0634 47.8207,-321.6752\"/>\n",
- "<text text-anchor=\"middle\" x=\"53\" y=\"-504.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge14\" class=\"edge\"><title>E->B</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M85.2215,-485.909C76.948,-471.949 65.963,-451.421 60,-432 42.0609,-373.574 48.6791,-300.724 54.3115,-262.057\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"57.7822,-262.515 55.8528,-252.098 50.8646,-261.445 57.7822,-262.515\"/>\n",
+ "<text text-anchor=\"middle\" x=\"69.4348\" y=\"-364.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- out -->\n",
- "<g id=\"node4\" class=\"node\">\n",
- "<title>out</title>\n",
- "<polygon fill=\"#bdef6b\" stroke=\"#bdef6b\" points=\"109,-52 55,-52 55,-16 109,-16 109,-52\"/>\n",
- "<text text-anchor=\"middle\" x=\"82\" y=\"-30.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">out</text>\n",
+ "<g id=\"node6\" class=\"node\"><title>out</title>\n",
+ "<polygon fill=\"#bdef6b\" stroke=\"#bdef6b\" points=\"134,-52 80,-52 80,-16 134,-16 134,-52\"/>\n",
+ "<text text-anchor=\"middle\" x=\"107\" y=\"-29.8\" font-family=\"Times,serif\" font-size=\"14.00\">out</text>\n",
"</g>\n",
"<!-- D->out -->\n",
- "<g id=\"edge2\" class=\"edge\">\n",
- "<title>D->out</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M135.2474,-559.9916C155.2698,-549.8961 179,-532.8044 179,-508.5 179,-508.5 179,-508.5 179,-140 179,-111.1933 162.1943,-106.0837 139,-89 130.9583,-83.0769 126.0076,-86.9691 118,-81 110.537,-75.4369 103.849,-67.9279 98.3216,-60.546\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"100.9883,-58.252 92.3891,-52.0629 95.2519,-62.2637 100.9883,-58.252\"/>\n",
- "<text text-anchor=\"middle\" x=\"192.5\" y=\"-332.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">label</text>\n",
+ "<g id=\"edge4\" class=\"edge\"><title>D->out</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M123.253,-404.231C155.247,-392.025 204,-366.6 204,-325 204,-325 204,-325 204,-143 204,-112.385 184.207,-108.744 160,-90 153.398,-84.8877 149.501,-87.2409 143,-82 135.638,-76.0651 128.918,-68.3259 123.33,-60.8456\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"125.937,-58.4689 117.318,-52.3071 120.213,-62.4987 125.937,-58.4689\"/>\n",
+ "<text text-anchor=\"middle\" x=\"217.605\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">label</text>\n",
"</g>\n",
"<!-- C -->\n",
- "<g id=\"node5\" class=\"node\">\n",
- "<title>C</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-464 81,-464 81,-428 135,-428 135,-464\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-442.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">C</text>\n",
+ "<g id=\"node7\" class=\"node\"><title>C</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-342 69,-342 69,-306 123,-306 123,-342\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-319.8\" font-family=\"Times,serif\" font-size=\"14.00\">C</text>\n",
"</g>\n",
"<!-- D->C -->\n",
- "<g id=\"edge8\" class=\"edge\">\n",
- "<title>D->C</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M108,-552.8239C108,-532.2723 108,-498.5472 108,-474.4893\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"111.5001,-474.198 108,-464.198 104.5001,-474.198 111.5001,-474.198\"/>\n",
- "<text text-anchor=\"middle\" x=\"127\" y=\"-504.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge16\" class=\"edge\"><title>D->C</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M96,-395.614C96,-383.24 96,-366.369 96,-352.22\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"99.5001,-352.05 96,-342.05 92.5001,-352.05 99.5001,-352.05\"/>\n",
+ "<text text-anchor=\"middle\" x=\"115.435\" y=\"-364.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- C->in -->\n",
- "<g id=\"edge3\" class=\"edge\">\n",
- "<title>C->in</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M112.5653,-427.9547C115.9136,-414.1 120.3254,-394.4491 123,-377 132.2655,-316.5524 146.5167,-133.7074 151.8701,-62.6628\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"155.3928,-62.4901 152.6508,-52.2563 148.4124,-61.9664 155.3928,-62.4901\"/>\n",
- "<text text-anchor=\"middle\" x=\"150.5\" y=\"-245.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">label</text>\n",
+ "<g id=\"edge6\" class=\"edge\"><title>C->in</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M111.644,-305.828C115.868,-300.44 120.074,-294.256 123,-288 158.98,-211.066 172.348,-110.006 176.887,-62.2477\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"180.39,-62.3657 177.794,-52.094 173.418,-61.7431 180.39,-62.3657\"/>\n",
+ "<text text-anchor=\"middle\" x=\"171.605\" y=\"-184.8\" font-family=\"Times,serif\" font-size=\"14.00\">label</text>\n",
"</g>\n",
"<!-- C->B -->\n",
- "<g id=\"edge9\" class=\"edge\">\n",
- "<title>C->B</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M101.9494,-427.8481C93.1308,-401.3925 76.6719,-352.0157 66.3051,-320.9152\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"69.5255,-319.5083 63.0428,-311.1283 62.8847,-321.722 69.5255,-319.5083\"/>\n",
- "<text text-anchor=\"middle\" x=\"103\" y=\"-365.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge18\" class=\"edge\"><title>C->B</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M88.69,-305.614C83.3854,-292.998 76.1147,-275.705 70.0961,-261.391\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"73.2713,-259.912 66.1689,-252.05 66.8185,-262.625 73.2713,-259.912\"/>\n",
+ "<text text-anchor=\"middle\" x=\"100.435\" y=\"-274.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- B->out -->\n",
- "<g id=\"edge4\" class=\"edge\">\n",
- "<title>B->out</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M66.9612,-274.8982C73.8296,-261.3393 82.3534,-242.0878 86,-224 97.3944,-167.4811 91.3689,-99.5902 86.3964,-62.1886\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"89.8286,-61.4605 84.9723,-52.0441 82.8965,-62.4336 89.8286,-61.4605\"/>\n",
- "<text text-anchor=\"middle\" x=\"104.5\" y=\"-179.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">label</text>\n",
+ "<g id=\"edge8\" class=\"edge\"><title>B->out</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M79.4216,-215.857C84.3525,-210.645 89.046,-204.547 92,-198 111.952,-153.782 111.965,-96.0589 109.759,-62.5017\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"113.215,-61.8013 108.951,-52.1024 106.236,-62.3434 113.215,-61.8013\"/>\n",
+ "<text text-anchor=\"middle\" x=\"123.605\" y=\"-139.8\" font-family=\"Times,serif\" font-size=\"14.00\">label</text>\n",
"</g>\n",
"<!-- A -->\n",
- "<g id=\"node7\" class=\"node\">\n",
- "<title>A</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"70,-158 16,-158 16,-122 70,-122 70,-158\"/>\n",
- "<text text-anchor=\"middle\" x=\"43\" y=\"-136.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">A</text>\n",
+ "<g id=\"node11\" class=\"node\"><title>A</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"70,-162 16,-162 16,-126 70,-126 70,-162\"/>\n",
+ "<text text-anchor=\"middle\" x=\"43\" y=\"-139.8\" font-family=\"Times,serif\" font-size=\"14.00\">A</text>\n",
"</g>\n",
"<!-- B->A -->\n",
- "<g id=\"edge10\" class=\"edge\">\n",
- "<title>B->A</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M54.2827,-274.8796C52.2851,-260.9856 49.6428,-241.3184 48,-224 46.2345,-205.3884 44.9847,-184.3941 44.1761,-168.0499\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"47.672,-167.8778 43.7076,-158.0526 40.6797,-168.2056 47.672,-167.8778\"/>\n",
- "<text text-anchor=\"middle\" x=\"67\" y=\"-212.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge20\" class=\"edge\"><title>B->A</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M55.8389,-215.614C53.5892,-203.24 50.5216,-186.369 47.949,-172.22\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"51.3326,-171.263 46.1001,-162.05 44.4455,-172.515 51.3326,-171.263\"/>\n",
+ "<text text-anchor=\"middle\" x=\"72.4348\" y=\"-184.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- A->in -->\n",
- "<g id=\"edge5\" class=\"edge\">\n",
- "<title>A->in</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M69.3269,-121.8184C84.3525,-110.8412 103.1025,-96.0912 118,-81 124.0925,-74.8283 130.0796,-67.6192 135.369,-60.7271\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"138.4985,-62.3834 141.6511,-52.2684 132.8789,-58.2097 138.4985,-62.3834\"/>\n",
- "<text text-anchor=\"middle\" x=\"121.5\" y=\"-92.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">label</text>\n",
+ "<g id=\"edge10\" class=\"edge\"><title>A->in</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M70.2551,-126.395C99.7972,-108.393 142.802,-82.1785 143,-82 149.921,-75.7756 156.451,-68.0732 161.999,-60.7175\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"165.021,-62.5106 168.028,-52.3512 159.342,-58.4185 165.021,-62.5106\"/>\n",
+ "<text text-anchor=\"middle\" x=\"142.605\" y=\"-94.8\" font-family=\"Times,serif\" font-size=\"14.00\">label</text>\n",
"</g>\n",
"</g>\n",
"</svg>"
@@ -439,7 +408,7 @@
"<Dot visualization: state_as_graph []>"
]
},
- "execution_count": 9,
+ "execution_count": 49,
"metadata": {},
"output_type": "execute_result"
}
@@ -472,7 +441,7 @@
},
{
"cell_type": "code",
- "execution_count": 10,
+ "execution_count": 50,
"metadata": {},
"outputs": [
{
@@ -481,13 +450,13 @@
"Loaded machine: ArgumentationAsSets"
]
},
- "execution_count": 10,
+ "execution_count": 50,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
- "::load DOT=/usr/bin/dot\n",
+ "::load\n",
"MACHINE ArgumentationAsSets\n",
"SETS\n",
" ARGUMENTS={A,B,C,D,E}\n",
@@ -517,7 +486,7 @@
},
{
"cell_type": "code",
- "execution_count": 11,
+ "execution_count": 51,
"metadata": {},
"outputs": [
{
@@ -526,7 +495,7 @@
"Machine constants set up using operation 0: $setup_constants()"
]
},
- "execution_count": 11,
+ "execution_count": 51,
"metadata": {},
"output_type": "execute_result"
}
@@ -537,7 +506,7 @@
},
{
"cell_type": "code",
- "execution_count": 12,
+ "execution_count": 52,
"metadata": {},
"outputs": [
{
@@ -546,7 +515,7 @@
"Machine initialised using operation 1: $initialise_machine()"
]
},
- "execution_count": 12,
+ "execution_count": 52,
"metadata": {},
"output_type": "execute_result"
}
@@ -557,7 +526,7 @@
},
{
"cell_type": "code",
- "execution_count": 13,
+ "execution_count": 53,
"metadata": {},
"outputs": [
{
@@ -580,7 +549,7 @@
"E\tD\n"
]
},
- "execution_count": 13,
+ "execution_count": 53,
"metadata": {},
"output_type": "execute_result"
}
@@ -591,7 +560,7 @@
},
{
"cell_type": "code",
- "execution_count": 14,
+ "execution_count": 54,
"metadata": {},
"outputs": [
{
@@ -600,131 +569,113 @@
"<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
"<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
" \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
- "<!-- Generated by graphviz version 2.40.1 (20161225.0304)\n",
+ "<!-- Generated by graphviz version 2.28.0 (20110509.1545)\n",
" -->\n",
"<!-- Title: state Pages: 1 -->\n",
- "<svg width=\"284pt\" height=\"724pt\"\n",
- " viewBox=\"0.00 0.00 284.32 724.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
- "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 720)\">\n",
+ "<svg width=\"306pt\" height=\"532pt\"\n",
+ " viewBox=\"0.00 0.00 306.43 532.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+ "<g id=\"graph1\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 528)\">\n",
"<title>state</title>\n",
- "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-720 280.3199,-720 280.3199,4 -4,4\"/>\n",
- "<g id=\"clust1\" class=\"cluster\">\n",
- "<title>cluster_ARGUMENTS</title>\n",
- "<polygon fill=\"#d3d3d3\" stroke=\"#d3d3d3\" points=\"8,-79 8,-708 154,-708 154,-79 8,-79\"/>\n",
- "<text text-anchor=\"middle\" x=\"81\" y=\"-694.4\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">ARGUMENTS</text>\n",
+ "<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-528 303.429,-528 303.429,5 -4,5\"/>\n",
+ "<g id=\"graph2\" class=\"cluster\"><title>cluster_ARGUMENTS</title>\n",
+ "<polygon fill=\"lightgrey\" stroke=\"lightgrey\" points=\"8,-82 8,-516 143,-516 143,-82 8,-82\"/>\n",
+ "<text text-anchor=\"middle\" x=\"75.5\" y=\"-501.2\" font-family=\"Times,serif\" font-size=\"12.00\">ARGUMENTS</text>\n",
"</g>\n",
"<!-- ROOT-NODE -->\n",
- "<g id=\"node1\" class=\"node\">\n",
- "<title>ROOT-NODE</title>\n",
- "<polygon fill=\"#add8e6\" stroke=\"#add8e6\" points=\"138,-36 50.8598,-18 138,0 225.1402,-18 138,-36\"/>\n",
- "<text text-anchor=\"middle\" x=\"138\" y=\"-14.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">ROOT-NODE</text>\n",
+ "<g id=\"node1\" class=\"node\"><title>ROOT-NODE</title>\n",
+ "<polygon fill=\"lightblue\" stroke=\"lightblue\" points=\"152,-36 56.6349,-18 152,-3.55271e-15 247.365,-18 152,-36\"/>\n",
+ "<text text-anchor=\"middle\" x=\"152\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">ROOT-NODE</text>\n",
"</g>\n",
"<!-- ROOT-NODE->ROOT-NODE -->\n",
- "<g id=\"edge1\" class=\"edge\">\n",
- "<title>ROOT-NODE->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M188.9336,-25.4982C217.2471,-26.8978 243.3199,-24.3984 243.3199,-18 243.3199,-12.3764 223.1793,-9.7647 199.0785,-10.1649\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"198.8119,-6.6717 188.9336,-10.5018 199.0443,-13.6679 198.8119,-6.6717\"/>\n",
- "<text text-anchor=\"middle\" x=\"259.8199\" y=\"-14.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">undec</text>\n",
+ "<g id=\"edge2\" class=\"edge\"><title>ROOT-NODE->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M206.063,-25.8265C236.666,-27.3549 265,-24.7461 265,-18 265,-12.0181 242.722,-9.28922 216.338,-9.81333\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"215.934,-6.32524 206.063,-10.1735 216.18,-13.3209 215.934,-6.32524\"/>\n",
+ "<text text-anchor=\"middle\" x=\"281.715\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">undec</text>\n",
"</g>\n",
"<!-- D -->\n",
- "<g id=\"node2\" class=\"node\">\n",
- "<title>D</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-554 81,-554 81,-518 135,-518 135,-554\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-532.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">D</text>\n",
+ "<g id=\"node3\" class=\"node\"><title>D</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-396 69,-396 69,-360 123,-360 123,-396\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">D</text>\n",
"</g>\n",
"<!-- D->ROOT-NODE -->\n",
- "<g id=\"edge2\" class=\"edge\">\n",
- "<title>D->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M135.2664,-524.0523C154.1845,-513.7133 176,-496.7502 176,-473.5 176,-473.5 176,-473.5 176,-105 176,-82.471 165.1667,-59.1975 155.0686,-42.3973\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"157.9155,-40.3507 149.6077,-33.7756 152.0019,-44.0964 157.9155,-40.3507\"/>\n",
- "<text text-anchor=\"middle\" x=\"185\" y=\"-297.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">out</text>\n",
+ "<g id=\"edge4\" class=\"edge\"><title>D->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M121.19,-359.963C149.034,-340.19 190,-307.89 190,-289 190,-289 190,-289 190,-107 190,-83.8321 178.762,-59.8373 168.508,-42.7666\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"171.295,-40.6246 162.991,-34.0446 165.379,-44.3668 171.295,-40.6246\"/>\n",
+ "<text text-anchor=\"middle\" x=\"198.945\" y=\"-193.8\" font-family=\"Times,serif\" font-size=\"14.00\">out</text>\n",
"</g>\n",
"<!-- C -->\n",
- "<g id=\"node5\" class=\"node\">\n",
- "<title>C</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-429 81,-429 81,-393 135,-393 135,-429\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-407.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">C</text>\n",
+ "<g id=\"node9\" class=\"node\"><title>C</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-306 69,-306 69,-270 123,-270 123,-306\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-283.8\" font-family=\"Times,serif\" font-size=\"14.00\">C</text>\n",
"</g>\n",
"<!-- D->C -->\n",
- "<g id=\"edge9\" class=\"edge\">\n",
- "<title>D->C</title>\n",
- "<path fill=\"none\" stroke=\"#000000\" d=\"M108,-517.8239C108,-497.2723 108,-463.5472 108,-439.4893\"/>\n",
- "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"111.5001,-439.198 108,-429.198 104.5001,-439.198 111.5001,-439.198\"/>\n",
- "<text text-anchor=\"middle\" x=\"127\" y=\"-469.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge18\" class=\"edge\"><title>D->C</title>\n",
+ "<path fill=\"none\" stroke=\"black\" d=\"M96,-359.614C96,-347.24 96,-330.369 96,-316.22\"/>\n",
+ "<polygon fill=\"black\" stroke=\"black\" points=\"99.5001,-316.05 96,-306.05 92.5001,-316.05 99.5001,-316.05\"/>\n",
+ "<text text-anchor=\"middle\" x=\"115.435\" y=\"-328.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- B -->\n",
- "<g id=\"node3\" class=\"node\">\n",
- "<title>B</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"85,-276 31,-276 31,-240 85,-240 85,-276\"/>\n",
- "<text text-anchor=\"middle\" x=\"58\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">B</text>\n",
+ "<g id=\"node5\" class=\"node\"><title>B</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"93,-216 39,-216 39,-180 93,-180 93,-216\"/>\n",
+ "<text text-anchor=\"middle\" x=\"66\" y=\"-193.8\" font-family=\"Times,serif\" font-size=\"14.00\">B</text>\n",
"</g>\n",
"<!-- B->ROOT-NODE -->\n",
- "<g id=\"edge3\" class=\"edge\">\n",
- "<title>B->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M66.0494,-239.7598C71.9757,-225.9701 80.0105,-206.4898 86,-189 106.1945,-130.0304 104.2366,-113.1155 124,-54 125.0631,-50.82 126.245,-47.5089 127.4587,-44.2392\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"130.7939,-45.3171 131.1084,-34.727 124.2584,-42.8095 130.7939,-45.3171\"/>\n",
- "<text text-anchor=\"middle\" x=\"109\" y=\"-144.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">out</text>\n",
+ "<g id=\"edge6\" class=\"edge\"><title>B->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M73.9137,-179.781C84.3213,-157.229 103.265,-116.501 120.109,-82 126.286,-69.3487 133.339,-55.3696 139.239,-43.8002\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"142.44,-45.2273 143.879,-34.7306 136.208,-42.039 142.44,-45.2273\"/>\n",
+ "<text text-anchor=\"middle\" x=\"129.945\" y=\"-103.8\" font-family=\"Times,serif\" font-size=\"14.00\">out</text>\n",
"</g>\n",
"<!-- A -->\n",
- "<g id=\"node6\" class=\"node\">\n",
- "<title>A</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"71,-123 17,-123 17,-87 71,-87 71,-123\"/>\n",
- "<text text-anchor=\"middle\" x=\"44\" y=\"-101.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">A</text>\n",
+ "<g id=\"node11\" class=\"node\"><title>A</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"70,-126 16,-126 16,-90 70,-90 70,-126\"/>\n",
+ "<text text-anchor=\"middle\" x=\"43\" y=\"-103.8\" font-family=\"Times,serif\" font-size=\"14.00\">A</text>\n",
"</g>\n",
"<!-- B->A -->\n",
- "<g id=\"edge11\" class=\"edge\">\n",
- "<title>B->A</title>\n",
- "<path fill=\"none\" stroke=\"#000000\" d=\"M54.8895,-239.898C52.6222,-226.0136 49.6665,-206.3504 48,-189 46.2137,-170.4023 45.2138,-149.408 44.6604,-133.0603\"/>\n",
- "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"48.1587,-132.9498 44.3574,-123.0604 41.1619,-133.1618 48.1587,-132.9498\"/>\n",
- "<text text-anchor=\"middle\" x=\"67\" y=\"-177.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge22\" class=\"edge\"><title>B->A</title>\n",
+ "<path fill=\"none\" stroke=\"black\" d=\"M38.7713,-183.572C30.6181,-178.086 22.6507,-170.905 18.1304,-162 13.6914,-153.255 16.1311,-143.574 20.895,-134.904\"/>\n",
+ "<polygon fill=\"black\" stroke=\"black\" points=\"23.9668,-136.601 26.51,-126.316 18.108,-132.771 23.9668,-136.601\"/>\n",
+ "<text text-anchor=\"middle\" x=\"38.4348\" y=\"-148.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- E -->\n",
- "<g id=\"node4\" class=\"node\">\n",
- "<title>E</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-679 81,-679 81,-643 135,-643 135,-679\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-657.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">E</text>\n",
+ "<g id=\"node7\" class=\"node\"><title>E</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-486 69,-486 69,-450 123,-450 123,-486\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-463.8\" font-family=\"Times,serif\" font-size=\"14.00\">E</text>\n",
"</g>\n",
"<!-- E->ROOT-NODE -->\n",
- "<g id=\"edge4\" class=\"edge\">\n",
- "<title>E->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#473c8b\" d=\"M135.0225,-657.0423C166.4277,-650.7368 214,-635.1384 214,-598.5 214,-598.5 214,-598.5 214,-105 214,-76.4442 190.4902,-52.7404 169.6221,-37.3248\"/>\n",
- "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"171.4135,-34.3063 161.2155,-31.434 167.3965,-40.039 171.4135,-34.3063\"/>\n",
- "<text text-anchor=\"middle\" x=\"219.5\" y=\"-363.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">in</text>\n",
+ "<g id=\"edge8\" class=\"edge\"><title>E->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"#473c8b\" d=\"M123.326,-462.499C164.068,-454.052 236,-431.68 236,-379 236,-379 236,-379 236,-107 236,-76.2859 208.894,-52.07 185.478,-36.8807\"/>\n",
+ "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"187.099,-33.7685 176.748,-31.5064 183.429,-39.7294 187.099,-33.7685\"/>\n",
+ "<text text-anchor=\"middle\" x=\"241.445\" y=\"-238.8\" font-family=\"Times,serif\" font-size=\"14.00\">in</text>\n",
"</g>\n",
"<!-- E->D -->\n",
- "<g id=\"edge7\" class=\"edge\">\n",
- "<title>E->D</title>\n",
- "<path fill=\"none\" stroke=\"#000000\" d=\"M108,-642.8239C108,-622.2723 108,-588.5472 108,-564.4893\"/>\n",
- "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"111.5001,-564.198 108,-554.198 104.5001,-564.198 111.5001,-564.198\"/>\n",
- "<text text-anchor=\"middle\" x=\"127\" y=\"-594.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge14\" class=\"edge\"><title>E->D</title>\n",
+ "<path fill=\"none\" stroke=\"black\" d=\"M78.0466,-449.992C73.6173,-444.698 69.4737,-438.523 67.1304,-432 64.4259,-424.471 64.4259,-421.529 67.1304,-414 68.3387,-410.636 70.0256,-407.366 71.9835,-404.26\"/>\n",
+ "<polygon fill=\"black\" stroke=\"black\" points=\"74.9463,-406.139 78.0466,-396.008 69.3052,-401.994 74.9463,-406.139\"/>\n",
+ "<text text-anchor=\"middle\" x=\"87.4348\" y=\"-418.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- E->B -->\n",
- "<g id=\"edge8\" class=\"edge\">\n",
- "<title>E->B</title>\n",
- "<path fill=\"none\" stroke=\"#000000\" d=\"M80.8653,-650.8975C59.7458,-641.0746 34,-623.8926 34,-598.5 34,-598.5 34,-598.5 34,-334.5 34,-317.6487 39.3672,-299.6273 45.0254,-285.311\"/>\n",
- "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"48.2692,-286.6261 48.9266,-276.0516 41.8184,-283.9081 48.2692,-286.6261\"/>\n",
- "<text text-anchor=\"middle\" x=\"53\" y=\"-469.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge16\" class=\"edge\"><title>E->B</title>\n",
+ "<path fill=\"none\" stroke=\"black\" d=\"M74.991,-449.938C69.9108,-444.726 65.0673,-438.608 62,-432 24.927,-352.13 40.7417,-320.893 55,-234 55.4393,-231.323 56.0369,-228.568 56.728,-225.834\"/>\n",
+ "<polygon fill=\"black\" stroke=\"black\" points=\"60.095,-226.79 59.5248,-216.211 53.3731,-224.837 60.095,-226.79\"/>\n",
+ "<text text-anchor=\"middle\" x=\"59.4348\" y=\"-328.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- C->ROOT-NODE -->\n",
- "<g id=\"edge5\" class=\"edge\">\n",
- "<title>C->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#473c8b\" d=\"M119.513,-392.9152C127.9731,-377.8831 138,-355.6137 138,-334.5 138,-334.5 138,-334.5 138,-105 138,-85.5475 138,-63.6484 138,-46.6877\"/>\n",
- "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"141.5001,-46.3305 138,-36.3306 134.5001,-46.3306 141.5001,-46.3305\"/>\n",
- "<text text-anchor=\"middle\" x=\"143.5\" y=\"-210.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">in</text>\n",
+ "<g id=\"edge10\" class=\"edge\"><title>C->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"#473c8b\" d=\"M101.255,-269.771C110.014,-240.488 127.658,-179.019 138,-126 143.278,-98.9435 147.113,-67.6411 149.421,-45.9119\"/>\n",
+ "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"152.921,-46.0899 150.46,-35.785 145.958,-45.3757 152.921,-46.0899\"/>\n",
+ "<text text-anchor=\"middle\" x=\"140.445\" y=\"-148.8\" font-family=\"Times,serif\" font-size=\"14.00\">in</text>\n",
"</g>\n",
"<!-- C->B -->\n",
- "<g id=\"edge10\" class=\"edge\">\n",
- "<title>C->B</title>\n",
- "<path fill=\"none\" stroke=\"#000000\" d=\"M102.068,-392.8481C93.4224,-366.3925 77.2862,-317.0157 67.1226,-285.9152\"/>\n",
- "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"70.3575,-284.5464 63.9243,-276.1283 63.7038,-286.7208 70.3575,-284.5464\"/>\n",
- "<text text-anchor=\"middle\" x=\"103\" y=\"-330.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge20\" class=\"edge\"><title>C->B</title>\n",
+ "<path fill=\"none\" stroke=\"black\" d=\"M73.655,-269.85C68.5813,-264.716 63.8814,-258.659 61.1304,-252 57.8195,-243.986 57.5904,-234.725 58.6285,-226.209\"/>\n",
+ "<polygon fill=\"black\" stroke=\"black\" points=\"62.081,-226.785 60.4014,-216.324 55.191,-225.549 62.081,-226.785\"/>\n",
+ "<text text-anchor=\"middle\" x=\"81.4348\" y=\"-238.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- A->ROOT-NODE -->\n",
- "<g id=\"edge6\" class=\"edge\">\n",
- "<title>A->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#473c8b\" d=\"M52.1218,-86.9255C57.5042,-76.3999 65.3475,-63.3952 75,-54 82.4474,-46.7512 91.6376,-40.4356 100.6738,-35.2047\"/>\n",
- "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"102.4864,-38.2029 109.5885,-30.3409 99.1337,-32.058 102.4864,-38.2029\"/>\n",
- "<text text-anchor=\"middle\" x=\"80.5\" y=\"-57.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">in</text>\n",
+ "<g id=\"edge12\" class=\"edge\"><title>A->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"#473c8b\" d=\"M52.5196,-89.5497C59.3302,-78.3 69.3507,-63.9648 81.1094,-54 90.1802,-46.313 101.229,-39.8208 111.879,-34.5948\"/>\n",
+ "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"113.476,-37.7124 121.076,-30.3302 110.531,-31.362 113.476,-37.7124\"/>\n",
+ "<text text-anchor=\"middle\" x=\"87.4453\" y=\"-58.8\" font-family=\"Times,serif\" font-size=\"14.00\">in</text>\n",
"</g>\n",
"</g>\n",
"</svg>"
@@ -733,7 +684,7 @@
"<Dot visualization: state_as_graph []>"
]
},
- "execution_count": 14,
+ "execution_count": 54,
"metadata": {},
"output_type": "execute_result"
}
@@ -767,7 +718,7 @@
},
{
"cell_type": "code",
- "execution_count": 15,
+ "execution_count": 55,
"metadata": {},
"outputs": [
{
@@ -776,13 +727,13 @@
"Loaded machine: ArgumentationAsSets"
]
},
- "execution_count": 15,
+ "execution_count": 55,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
- "::load DOT=/usr/bin/dot\n",
+ "::load\n",
"MACHINE ArgumentationAsSets\n",
"DEFINITIONS\n",
" CUSTOM_GRAPH_NODES == (in * {\"green\"}) \\/ (out * {\"red\"}) \\/ (undec * {\"orange\"});\n",
@@ -815,7 +766,7 @@
},
{
"cell_type": "code",
- "execution_count": 16,
+ "execution_count": 56,
"metadata": {},
"outputs": [
{
@@ -824,7 +775,7 @@
"Machine constants set up using operation 0: $setup_constants()"
]
},
- "execution_count": 16,
+ "execution_count": 56,
"metadata": {},
"output_type": "execute_result"
}
@@ -835,7 +786,7 @@
},
{
"cell_type": "code",
- "execution_count": 17,
+ "execution_count": 57,
"metadata": {},
"outputs": [
{
@@ -844,7 +795,7 @@
"Machine initialised using operation 1: $initialise_machine()"
]
},
- "execution_count": 17,
+ "execution_count": 57,
"metadata": {},
"output_type": "execute_result"
}
@@ -855,7 +806,7 @@
},
{
"cell_type": "code",
- "execution_count": 18,
+ "execution_count": 58,
"metadata": {},
"outputs": [
{
@@ -878,7 +829,7 @@
"E\tD\n"
]
},
- "execution_count": 18,
+ "execution_count": 58,
"metadata": {},
"output_type": "execute_result"
}
@@ -889,7 +840,7 @@
},
{
"cell_type": "code",
- "execution_count": 19,
+ "execution_count": 59,
"metadata": {},
"outputs": [
{
@@ -898,78 +849,68 @@
"<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
"<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
" \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
- "<!-- Generated by graphviz version 2.40.1 (20161225.0304)\n",
+ "<!-- Generated by graphviz version 2.28.0 (20110509.1545)\n",
" -->\n",
"<!-- Title: prob_graph Pages: 1 -->\n",
"<svg width=\"540pt\" height=\"717pt\"\n",
" viewBox=\"0.00 0.00 540.00 717.37\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
- "<g id=\"graph0\" class=\"graph\" transform=\"scale(.9854 .9854) rotate(0) translate(4 724)\">\n",
+ "<g id=\"graph1\" class=\"graph\" transform=\"scale(0.985401 0.985401) rotate(0) translate(4 724)\">\n",
"<title>prob_graph</title>\n",
- "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-724 544,-724 544,4 -4,4\"/>\n",
+ "<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-724 545,-724 545,5 -4,5\"/>\n",
"<!-- 0 -->\n",
- "<g id=\"node1\" class=\"node\">\n",
- "<title>0</title>\n",
- "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"218.871,-52 164.871,-52 164.871,-16 218.871,-16 218.871,-52\"/>\n",
- "<text text-anchor=\"middle\" x=\"191.871\" y=\"-30.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">A</text>\n",
+ "<g id=\"node1\" class=\"node\"><title>0</title>\n",
+ "<polygon fill=\"green\" stroke=\"green\" points=\"195.034,-52 141.034,-52 141.034,-16 195.034,-16 195.034,-52\"/>\n",
+ "<text text-anchor=\"middle\" x=\"168.034\" y=\"-30.4\" font-family=\"Times,serif\" font-size=\"12.00\">A</text>\n",
"</g>\n",
"<!-- 1 -->\n",
- "<g id=\"node2\" class=\"node\">\n",
- "<title>1</title>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"218.871,-215 164.871,-215 164.871,-179 218.871,-179 218.871,-215\"/>\n",
- "<text text-anchor=\"middle\" x=\"191.871\" y=\"-193.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">B</text>\n",
+ "<g id=\"node2\" class=\"node\"><title>1</title>\n",
+ "<polygon fill=\"red\" stroke=\"red\" points=\"195.034,-215 141.034,-215 141.034,-179 195.034,-179 195.034,-215\"/>\n",
+ "<text text-anchor=\"middle\" x=\"168.034\" y=\"-193.4\" font-family=\"Times,serif\" font-size=\"12.00\">B</text>\n",
"</g>\n",
"<!-- 1->0 -->\n",
- "<g id=\"edge1\" class=\"edge\">\n",
- "<title>1->0</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M191.871,-178.9334C191.871,-150.6612 191.871,-95.7364 191.871,-62.2173\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"195.3711,-62.1475 191.871,-52.1476 188.3711,-62.1476 195.3711,-62.1475\"/>\n",
- "<text text-anchor=\"middle\" x=\"208.371\" y=\"-112.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge2\" class=\"edge\"><title>1->0</title>\n",
+ "<path fill=\"none\" stroke=\"blue\" d=\"M168.034,-178.77C168.034,-150.929 168.034,-95.8132 168.034,-62.4976\"/>\n",
+ "<polygon fill=\"blue\" stroke=\"blue\" points=\"171.535,-62.1059 168.034,-52.1059 164.535,-62.106 171.535,-62.1059\"/>\n",
+ "<text text-anchor=\"middle\" x=\"184.693\" y=\"-112.4\" font-family=\"Times,serif\" font-size=\"12.00\">attacks</text>\n",
"</g>\n",
"<!-- 2 -->\n",
- "<g id=\"node3\" class=\"node\">\n",
- "<title>2</title>\n",
- "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"409.871,-378 355.871,-378 355.871,-342 409.871,-342 409.871,-378\"/>\n",
- "<text text-anchor=\"middle\" x=\"382.871\" y=\"-356.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">C</text>\n",
+ "<g id=\"node3\" class=\"node\"><title>2</title>\n",
+ "<polygon fill=\"green\" stroke=\"green\" points=\"399.034,-378 345.034,-378 345.034,-342 399.034,-342 399.034,-378\"/>\n",
+ "<text text-anchor=\"middle\" x=\"372.034\" y=\"-356.4\" font-family=\"Times,serif\" font-size=\"12.00\">C</text>\n",
"</g>\n",
"<!-- 2->1 -->\n",
- "<g id=\"edge2\" class=\"edge\">\n",
- "<title>2->1</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M361.7009,-341.9334C327.4248,-312.682 259.7171,-254.9001 220.9473,-221.8138\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"223.0146,-218.9768 213.1359,-215.1476 218.4705,-224.3014 223.0146,-218.9768\"/>\n",
- "<text text-anchor=\"middle\" x=\"309.371\" y=\"-275.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge4\" class=\"edge\"><title>2->1</title>\n",
+ "<path fill=\"none\" stroke=\"blue\" d=\"M350.203,-341.77C313.469,-312.779 239.262,-254.214 197.791,-221.484\"/>\n",
+ "<polygon fill=\"blue\" stroke=\"blue\" points=\"199.727,-218.554 189.709,-215.106 195.391,-224.049 199.727,-218.554\"/>\n",
+ "<text text-anchor=\"middle\" x=\"292.693\" y=\"-275.4\" font-family=\"Times,serif\" font-size=\"12.00\">attacks</text>\n",
"</g>\n",
"<!-- 3 -->\n",
- "<g id=\"node4\" class=\"node\">\n",
- "<title>3</title>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"409.871,-541 355.871,-541 355.871,-505 409.871,-505 409.871,-541\"/>\n",
- "<text text-anchor=\"middle\" x=\"382.871\" y=\"-519.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">D</text>\n",
+ "<g id=\"node4\" class=\"node\"><title>3</title>\n",
+ "<polygon fill=\"red\" stroke=\"red\" points=\"399.034,-541 345.034,-541 345.034,-505 399.034,-505 399.034,-541\"/>\n",
+ "<text text-anchor=\"middle\" x=\"372.034\" y=\"-519.4\" font-family=\"Times,serif\" font-size=\"12.00\">D</text>\n",
"</g>\n",
"<!-- 3->2 -->\n",
- "<g id=\"edge3\" class=\"edge\">\n",
- "<title>3->2</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M382.871,-504.9334C382.871,-476.6612 382.871,-421.7364 382.871,-388.2173\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"386.3711,-388.1475 382.871,-378.1476 379.3711,-388.1476 386.3711,-388.1475\"/>\n",
- "<text text-anchor=\"middle\" x=\"399.371\" y=\"-437.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge6\" class=\"edge\"><title>3->2</title>\n",
+ "<path fill=\"none\" stroke=\"blue\" d=\"M372.034,-504.77C372.034,-476.929 372.034,-421.813 372.034,-388.498\"/>\n",
+ "<polygon fill=\"blue\" stroke=\"blue\" points=\"375.535,-388.106 372.034,-378.106 368.535,-388.106 375.535,-388.106\"/>\n",
+ "<text text-anchor=\"middle\" x=\"388.693\" y=\"-437.4\" font-family=\"Times,serif\" font-size=\"12.00\">attacks</text>\n",
"</g>\n",
"<!-- 4 -->\n",
- "<g id=\"node5\" class=\"node\">\n",
- "<title>4</title>\n",
- "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"183.871,-704 129.871,-704 129.871,-668 183.871,-668 183.871,-704\"/>\n",
- "<text text-anchor=\"middle\" x=\"156.871\" y=\"-682.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">E</text>\n",
+ "<g id=\"node5\" class=\"node\"><title>4</title>\n",
+ "<polygon fill=\"green\" stroke=\"green\" points=\"195.034,-704 141.034,-704 141.034,-668 195.034,-668 195.034,-704\"/>\n",
+ "<text text-anchor=\"middle\" x=\"168.034\" y=\"-682.4\" font-family=\"Times,serif\" font-size=\"12.00\">E</text>\n",
"</g>\n",
"<!-- 4->1 -->\n",
- "<g id=\"edge4\" class=\"edge\">\n",
- "<title>4->1</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M158.1791,-667.7231C163.4859,-593.5804 183.4298,-314.935 189.8596,-225.1017\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"193.3519,-225.3332 190.5748,-215.1089 186.3698,-224.8334 193.3519,-225.3332\"/>\n",
- "<text text-anchor=\"middle\" x=\"190.371\" y=\"-437.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge8\" class=\"edge\"><title>4->1</title>\n",
+ "<path fill=\"none\" stroke=\"blue\" d=\"M168.034,-667.953C168.034,-595.713 168.034,-314.467 168.034,-225.288\"/>\n",
+ "<polygon fill=\"blue\" stroke=\"blue\" points=\"171.535,-225.161 168.034,-215.161 164.535,-225.161 171.535,-225.161\"/>\n",
+ "<text text-anchor=\"middle\" x=\"184.693\" y=\"-437.4\" font-family=\"Times,serif\" font-size=\"12.00\">attacks</text>\n",
"</g>\n",
"<!-- 4->3 -->\n",
- "<g id=\"edge5\" class=\"edge\">\n",
- "<title>4->3</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M181.9204,-667.9334C222.732,-638.4985 303.5994,-580.1737 349.3262,-547.1938\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"351.6461,-549.836 357.7093,-541.1476 347.5513,-544.1586 351.6461,-549.836\"/>\n",
- "<text text-anchor=\"middle\" x=\"292.371\" y=\"-600.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge10\" class=\"edge\"><title>4->3</title>\n",
+ "<path fill=\"none\" stroke=\"blue\" d=\"M189.866,-667.77C226.6,-638.779 300.807,-580.214 342.278,-547.484\"/>\n",
+ "<polygon fill=\"blue\" stroke=\"blue\" points=\"344.678,-550.049 350.36,-541.106 340.342,-544.554 344.678,-550.049\"/>\n",
+ "<text text-anchor=\"middle\" x=\"292.693\" y=\"-600.4\" font-family=\"Times,serif\" font-size=\"12.00\">attacks</text>\n",
"</g>\n",
"</g>\n",
"</svg>"
@@ -978,7 +919,7 @@
"<Dot visualization: custom_graph []>"
]
},
- "execution_count": 19,
+ "execution_count": 59,
"metadata": {},
"output_type": "execute_result"
}
--
GitLab