60 lines
6.2 KiB
Plaintext
60 lines
6.2 KiB
Plaintext
digraph pastafarianism {
|
|
ordering=out;
|
|
graph [fontname="times-roman"];
|
|
node [fontname="times-roman"];
|
|
edge [fontname="times-roman"];
|
|
"e5aa5d5b-9169-41fc-a26d-b16b24db8215" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"cc077d7a-c074-4249-9fa9-d559c6600fbc" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e5aa5d5b-9169-41fc-a26d-b16b24db8215" -> "cc077d7a-c074-4249-9fa9-d559c6600fbc";
|
|
"2f4be6cb-5d87-4119-a678-9245fb5e5b08" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="At(Robot,Coffee)", shape=ellipse, style=filled];
|
|
"cc077d7a-c074-4249-9fa9-d559c6600fbc" -> "2f4be6cb-5d87-4119-a678-9245fb5e5b08";
|
|
"8f8c4dda-1add-4b23-8b5f-104d518ac38e" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"cc077d7a-c074-4249-9fa9-d559c6600fbc" -> "8f8c4dda-1add-4b23-8b5f-104d518ac38e";
|
|
"0261c661-a520-434f-95a3-6d55d1fa8aff" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"8f8c4dda-1add-4b23-8b5f-104d518ac38e" -> "0261c661-a520-434f-95a3-6d55d1fa8aff";
|
|
"97e8f95e-7ec3-479e-b312-67cdf1a6873a" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"0261c661-a520-434f-95a3-6d55d1fa8aff" -> "97e8f95e-7ec3-479e-b312-67cdf1a6873a";
|
|
"2d950b58-e85c-40c0-854a-9b697982b340" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PickUp(Coffee)", shape=box, style=filled];
|
|
"0261c661-a520-434f-95a3-6d55d1fa8aff" -> "2d950b58-e85c-40c0-854a-9b697982b340";
|
|
"9b20a231-db9d-4a0c-b1c4-fa01bc7948d8" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Anything,Anywhere)", shape=box, style=filled];
|
|
"8f8c4dda-1add-4b23-8b5f-104d518ac38e" -> "9b20a231-db9d-4a0c-b1c4-fa01bc7948d8";
|
|
"05b2c4df-a48e-44f9-8776-80b4c9d5a4c7" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"cc077d7a-c074-4249-9fa9-d559c6600fbc" -> "05b2c4df-a48e-44f9-8776-80b4c9d5a4c7";
|
|
"d76fc92b-8df3-4129-a49f-9973306d4720" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"05b2c4df-a48e-44f9-8776-80b4c9d5a4c7" -> "d76fc92b-8df3-4129-a49f-9973306d4720";
|
|
"a0736935-6ac5-474c-a9fa-73dcbcc925af" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Coffee)", shape=ellipse, style=filled];
|
|
"d76fc92b-8df3-4129-a49f-9973306d4720" -> "a0736935-6ac5-474c-a9fa-73dcbcc925af";
|
|
"ec73963c-0438-4205-8cd1-985013e498aa" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="At(Robot,WaterTable)", shape=ellipse, style=filled];
|
|
"d76fc92b-8df3-4129-a49f-9973306d4720" -> "ec73963c-0438-4205-8cd1-985013e498aa";
|
|
"72267a55-597b-45ea-81b1-3097e2da726a" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Coffee,WaterTable)", shape=box, style=filled];
|
|
"d76fc92b-8df3-4129-a49f-9973306d4720" -> "72267a55-597b-45ea-81b1-3097e2da726a";
|
|
"af323181-3453-4e7f-833e-ec78a917511c" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="MoveTo(WaterTable)", shape=box, style=filled];
|
|
"05b2c4df-a48e-44f9-8776-80b4c9d5a4c7" -> "af323181-3453-4e7f-833e-ec78a917511c";
|
|
"d332b9b3-fee1-45a4-b217-ca131574f061" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e5aa5d5b-9169-41fc-a26d-b16b24db8215" -> "d332b9b3-fee1-45a4-b217-ca131574f061";
|
|
"cd8e4c90-2898-496a-9a59-b758d4c2b27c" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="At(Robot,Coffee)", shape=ellipse, style=filled];
|
|
"d332b9b3-fee1-45a4-b217-ca131574f061" -> "cd8e4c90-2898-496a-9a59-b758d4c2b27c";
|
|
"699354b5-961f-41e0-ac17-2883820573a4" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"d332b9b3-fee1-45a4-b217-ca131574f061" -> "699354b5-961f-41e0-ac17-2883820573a4";
|
|
"2b4ae08b-e738-4c97-93f7-711039311c56" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"699354b5-961f-41e0-ac17-2883820573a4" -> "2b4ae08b-e738-4c97-93f7-711039311c56";
|
|
"c2584464-9670-49f6-8230-a974e64c00a6" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"2b4ae08b-e738-4c97-93f7-711039311c56" -> "c2584464-9670-49f6-8230-a974e64c00a6";
|
|
"95bf87b1-b8ac-46f4-85ab-66bfefa5bf5a" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PickUp(Coffee)", shape=box, style=filled];
|
|
"2b4ae08b-e738-4c97-93f7-711039311c56" -> "95bf87b1-b8ac-46f4-85ab-66bfefa5bf5a";
|
|
"9b2ce40c-3232-421c-9eb6-6dbc866e3ba2" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Anything,Anywhere)", shape=box, style=filled];
|
|
"699354b5-961f-41e0-ac17-2883820573a4" -> "9b2ce40c-3232-421c-9eb6-6dbc866e3ba2";
|
|
"5f275a1f-dbae-4696-b79f-d6c96d3bd546" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"d332b9b3-fee1-45a4-b217-ca131574f061" -> "5f275a1f-dbae-4696-b79f-d6c96d3bd546";
|
|
"a7bd72b9-0f63-457f-9e05-67ca8a26f89e" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"5f275a1f-dbae-4696-b79f-d6c96d3bd546" -> "a7bd72b9-0f63-457f-9e05-67ca8a26f89e";
|
|
"e9accfe2-5d94-4223-803a-eb5d89e50bf0" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Coffee)", shape=ellipse, style=filled];
|
|
"a7bd72b9-0f63-457f-9e05-67ca8a26f89e" -> "e9accfe2-5d94-4223-803a-eb5d89e50bf0";
|
|
"317f4bb8-4bb7-447d-a289-a9a11b79c6ec" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="At(Robot,BrightTable6)", shape=ellipse, style=filled];
|
|
"a7bd72b9-0f63-457f-9e05-67ca8a26f89e" -> "317f4bb8-4bb7-447d-a289-a9a11b79c6ec";
|
|
"065858de-2a4c-47fd-84e2-a492dc338a9f" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Coffee,BrightTable6)", shape=box, style=filled];
|
|
"a7bd72b9-0f63-457f-9e05-67ca8a26f89e" -> "065858de-2a4c-47fd-84e2-a492dc338a9f";
|
|
"9e9b5ae5-5a89-4263-b523-06fe03a01009" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="MoveTo(BrightTable6)", shape=box, style=filled];
|
|
"5f275a1f-dbae-4696-b79f-d6c96d3bd546" -> "9e9b5ae5-5a89-4263-b523-06fe03a01009";
|
|
}
|