218 lines
24 KiB
Plaintext
218 lines
24 KiB
Plaintext
digraph pastafarianism {
|
|
ordering=out;
|
|
graph [fontname="times-roman"];
|
|
node [fontname="times-roman"];
|
|
edge [fontname="times-roman"];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"1e2a0b6b-4288-4389-957c-306c5a560e6b" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" -> "1e2a0b6b-4288-4389-957c-306c5a560e6b";
|
|
"7010af96-7b1e-4a55-bb9d-a8863153e00f" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="On(Coffee,Bar)", shape=ellipse, style=filled];
|
|
"1e2a0b6b-4288-4389-957c-306c5a560e6b" -> "7010af96-7b1e-4a55-bb9d-a8863153e00f";
|
|
"1ba32e8e-0e98-4902-91ec-3648eaa50d45" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"1e2a0b6b-4288-4389-957c-306c5a560e6b" -> "1ba32e8e-0e98-4902-91ec-3648eaa50d45";
|
|
"b5b9fe39-f1b1-43ad-b7c1-1b7e6194a97e" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" -> "b5b9fe39-f1b1-43ad-b7c1-1b7e6194a97e";
|
|
"eb8a2353-a0cd-481b-9c17-a0c73790fa1f" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="On(Coffee,Bar)", shape=ellipse, style=filled];
|
|
"b5b9fe39-f1b1-43ad-b7c1-1b7e6194a97e" -> "eb8a2353-a0cd-481b-9c17-a0c73790fa1f";
|
|
"5bd34e32-3f52-458a-ab56-bac99d415c1b" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"b5b9fe39-f1b1-43ad-b7c1-1b7e6194a97e" -> "5bd34e32-3f52-458a-ab56-bac99d415c1b";
|
|
"02d1da2f-c165-4cbf-b85d-979e6baf81ad" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"5bd34e32-3f52-458a-ab56-bac99d415c1b" -> "02d1da2f-c165-4cbf-b85d-979e6baf81ad";
|
|
"ae6279bd-a506-430b-8111-b2c68e1bbbfe" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"b5b9fe39-f1b1-43ad-b7c1-1b7e6194a97e" -> "ae6279bd-a506-430b-8111-b2c68e1bbbfe";
|
|
"6238e9d2-954e-4b53-8c37-3753b53a7bc4" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"ae6279bd-a506-430b-8111-b2c68e1bbbfe" -> "6238e9d2-954e-4b53-8c37-3753b53a7bc4";
|
|
"47ede20b-c5ea-440d-aa56-b936c2676432" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"6238e9d2-954e-4b53-8c37-3753b53a7bc4" -> "47ede20b-c5ea-440d-aa56-b936c2676432";
|
|
"83b1e111-981f-4e97-812b-20221e694c5d" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="Clean(Floor)", shape=box, style=filled];
|
|
"6238e9d2-954e-4b53-8c37-3753b53a7bc4" -> "83b1e111-981f-4e97-812b-20221e694c5d";
|
|
"a87541ad-f51a-4a13-9797-a1c95f3b2b43" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Anything,Anywhere)", shape=box, style=filled];
|
|
"ae6279bd-a506-430b-8111-b2c68e1bbbfe" -> "a87541ad-f51a-4a13-9797-a1c95f3b2b43";
|
|
"5d40b034-c1ec-4a22-85bd-45c9eed3c4a2" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" -> "5d40b034-c1ec-4a22-85bd-45c9eed3c4a2";
|
|
"56c3b2d3-5084-4a88-9227-061c617b29a9" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"5d40b034-c1ec-4a22-85bd-45c9eed3c4a2" -> "56c3b2d3-5084-4a88-9227-061c617b29a9";
|
|
"4e56b35d-a5d3-4d06-9794-5919d45b46bf" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"56c3b2d3-5084-4a88-9227-061c617b29a9" -> "4e56b35d-a5d3-4d06-9794-5919d45b46bf";
|
|
"5f672172-805f-4cf5-81f8-ebfa453e6ff4" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Coffee)", shape=ellipse, style=filled];
|
|
"5d40b034-c1ec-4a22-85bd-45c9eed3c4a2" -> "5f672172-805f-4cf5-81f8-ebfa453e6ff4";
|
|
"a4b46578-64f9-4ebc-9cdf-17f62d40f85f" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="RobotNear(Bar)", shape=ellipse, style=filled];
|
|
"5d40b034-c1ec-4a22-85bd-45c9eed3c4a2" -> "a4b46578-64f9-4ebc-9cdf-17f62d40f85f";
|
|
"a5e48f2b-1aa9-473b-972c-b0268635a957" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"5d40b034-c1ec-4a22-85bd-45c9eed3c4a2" -> "a5e48f2b-1aa9-473b-972c-b0268635a957";
|
|
"64186ecb-3edb-4f14-8aaf-b6d6fbf5a5e3" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"a5e48f2b-1aa9-473b-972c-b0268635a957" -> "64186ecb-3edb-4f14-8aaf-b6d6fbf5a5e3";
|
|
"96944431-7e07-4508-b2d4-e0bef17e3014" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"a5e48f2b-1aa9-473b-972c-b0268635a957" -> "96944431-7e07-4508-b2d4-e0bef17e3014";
|
|
"1be00f18-85a6-41e0-b0ac-30f5cc18e2f1" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"96944431-7e07-4508-b2d4-e0bef17e3014" -> "1be00f18-85a6-41e0-b0ac-30f5cc18e2f1";
|
|
"a38952dd-19f2-4fce-bc53-275457fc3880" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Coffee,Bar)", shape=box, style=filled];
|
|
"5d40b034-c1ec-4a22-85bd-45c9eed3c4a2" -> "a38952dd-19f2-4fce-bc53-275457fc3880";
|
|
"492cd28c-c911-4b43-b76b-05b132b678c8" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" -> "492cd28c-c911-4b43-b76b-05b132b678c8";
|
|
"0fc5cfa0-581d-477f-94db-0b59a7486e2c" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"492cd28c-c911-4b43-b76b-05b132b678c8" -> "0fc5cfa0-581d-477f-94db-0b59a7486e2c";
|
|
"0efe2b58-8f67-4c86-a3d3-6efab979732e" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"0fc5cfa0-581d-477f-94db-0b59a7486e2c" -> "0efe2b58-8f67-4c86-a3d3-6efab979732e";
|
|
"1031d9dc-ce1f-4cf2-834b-2f8310c90841" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Coffee)", shape=ellipse, style=filled];
|
|
"492cd28c-c911-4b43-b76b-05b132b678c8" -> "1031d9dc-ce1f-4cf2-834b-2f8310c90841";
|
|
"957b9317-3936-4e4d-b696-cf261767d538" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"492cd28c-c911-4b43-b76b-05b132b678c8" -> "957b9317-3936-4e4d-b696-cf261767d538";
|
|
"b50ff510-1c46-4831-8b8f-8557af303803" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"957b9317-3936-4e4d-b696-cf261767d538" -> "b50ff510-1c46-4831-8b8f-8557af303803";
|
|
"6dd65470-326d-4ed0-ada6-7db0bed1ebfa" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"957b9317-3936-4e4d-b696-cf261767d538" -> "6dd65470-326d-4ed0-ada6-7db0bed1ebfa";
|
|
"1077165e-13dd-4810-ab5f-5f66a12956e9" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"6dd65470-326d-4ed0-ada6-7db0bed1ebfa" -> "1077165e-13dd-4810-ab5f-5f66a12956e9";
|
|
"c71c4235-68a2-4605-b5d3-75d985b7013e" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="MoveTo(Bar)", shape=box, style=filled];
|
|
"492cd28c-c911-4b43-b76b-05b132b678c8" -> "c71c4235-68a2-4605-b5d3-75d985b7013e";
|
|
"87954791-512b-43e5-b5a8-f97167fba5b2" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" -> "87954791-512b-43e5-b5a8-f97167fba5b2";
|
|
"c3b1de68-72e9-42fe-941e-87ac931302e3" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="RobotNear(Coffee)", shape=ellipse, style=filled];
|
|
"87954791-512b-43e5-b5a8-f97167fba5b2" -> "c3b1de68-72e9-42fe-941e-87ac931302e3";
|
|
"72370732-566d-47d8-90a2-75ce16d4eb5f" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"87954791-512b-43e5-b5a8-f97167fba5b2" -> "72370732-566d-47d8-90a2-75ce16d4eb5f";
|
|
"def57bda-befb-43aa-8b16-1110434bbc64" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"72370732-566d-47d8-90a2-75ce16d4eb5f" -> "def57bda-befb-43aa-8b16-1110434bbc64";
|
|
"19dd70c9-c833-4d50-9a3b-96c86957b582" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"def57bda-befb-43aa-8b16-1110434bbc64" -> "19dd70c9-c833-4d50-9a3b-96c86957b582";
|
|
"93958eaa-2919-47a5-9513-b11a50d28a2d" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"19dd70c9-c833-4d50-9a3b-96c86957b582" -> "93958eaa-2919-47a5-9513-b11a50d28a2d";
|
|
"3c3ceb0d-802d-4ca7-bbd6-f9b10e7f2785" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"19dd70c9-c833-4d50-9a3b-96c86957b582" -> "3c3ceb0d-802d-4ca7-bbd6-f9b10e7f2785";
|
|
"781a4aab-c3b9-4d96-8e75-b97c2b46f424" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"3c3ceb0d-802d-4ca7-bbd6-f9b10e7f2785" -> "781a4aab-c3b9-4d96-8e75-b97c2b46f424";
|
|
"f3989f6b-5c19-4e73-98de-dbc4c93be241" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"781a4aab-c3b9-4d96-8e75-b97c2b46f424" -> "f3989f6b-5c19-4e73-98de-dbc4c93be241";
|
|
"bddb05e8-751b-4cb8-b420-e27a9bbcb4cc" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PickUp(Coffee)", shape=box, style=filled];
|
|
"781a4aab-c3b9-4d96-8e75-b97c2b46f424" -> "bddb05e8-751b-4cb8-b420-e27a9bbcb4cc";
|
|
"c65ac825-9876-42be-b16f-314b42c28ab8" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Anything,Anywhere)", shape=box, style=filled];
|
|
"3c3ceb0d-802d-4ca7-bbd6-f9b10e7f2785" -> "c65ac825-9876-42be-b16f-314b42c28ab8";
|
|
"2d40b708-4a88-4aaf-9c68-adda7c6a94f1" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"def57bda-befb-43aa-8b16-1110434bbc64" -> "2d40b708-4a88-4aaf-9c68-adda7c6a94f1";
|
|
"bb13337c-bc92-46ab-98f6-e96e8b12629e" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"2d40b708-4a88-4aaf-9c68-adda7c6a94f1" -> "bb13337c-bc92-46ab-98f6-e96e8b12629e";
|
|
"ec44231e-3066-499b-b2b8-9f72a4246b4f" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"bb13337c-bc92-46ab-98f6-e96e8b12629e" -> "ec44231e-3066-499b-b2b8-9f72a4246b4f";
|
|
"b3bc744f-75a4-4611-8c6e-aadbb795bd23" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"2d40b708-4a88-4aaf-9c68-adda7c6a94f1" -> "b3bc744f-75a4-4611-8c6e-aadbb795bd23";
|
|
"e52a9db5-9f3b-46b4-9c49-0b7f56d9329c" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PickUp(Coffee)", shape=box, style=filled];
|
|
"2d40b708-4a88-4aaf-9c68-adda7c6a94f1" -> "e52a9db5-9f3b-46b4-9c49-0b7f56d9329c";
|
|
"de45fdb9-4749-4006-9a93-8bbc0642efa3" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"72370732-566d-47d8-90a2-75ce16d4eb5f" -> "de45fdb9-4749-4006-9a93-8bbc0642efa3";
|
|
"9a1f5d2a-f787-485c-bfd3-7594ef86131b" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"de45fdb9-4749-4006-9a93-8bbc0642efa3" -> "9a1f5d2a-f787-485c-bfd3-7594ef86131b";
|
|
"6a6ce3b0-1794-4c61-9655-e6c92f44476c" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"9a1f5d2a-f787-485c-bfd3-7594ef86131b" -> "6a6ce3b0-1794-4c61-9655-e6c92f44476c";
|
|
"39b90de8-4a41-45d5-b06d-85e83e0cf4d4" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"de45fdb9-4749-4006-9a93-8bbc0642efa3" -> "39b90de8-4a41-45d5-b06d-85e83e0cf4d4";
|
|
"3c7c23ae-1934-4c37-9142-e144fad3eb2b" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="Clean(Floor)", shape=box, style=filled];
|
|
"de45fdb9-4749-4006-9a93-8bbc0642efa3" -> "3c7c23ae-1934-4c37-9142-e144fad3eb2b";
|
|
"997fbecd-4a35-4a35-a47b-92fe7404a30c" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" -> "997fbecd-4a35-4a35-a47b-92fe7404a30c";
|
|
"c8d3cf09-c7d2-470b-a194-863269b6470f" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"997fbecd-4a35-4a35-a47b-92fe7404a30c" -> "c8d3cf09-c7d2-470b-a194-863269b6470f";
|
|
"3cd7faa1-856c-45bb-b532-3da6b68ec327" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"c8d3cf09-c7d2-470b-a194-863269b6470f" -> "3cd7faa1-856c-45bb-b532-3da6b68ec327";
|
|
"be39f3a0-cb01-451b-a171-60e9d6a07749" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="RobotNear(Coffee)", shape=ellipse, style=filled];
|
|
"997fbecd-4a35-4a35-a47b-92fe7404a30c" -> "be39f3a0-cb01-451b-a171-60e9d6a07749";
|
|
"11c72640-b3da-4a97-b228-ec78e513f196" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Anything,Anywhere)", shape=box, style=filled];
|
|
"997fbecd-4a35-4a35-a47b-92fe7404a30c" -> "11c72640-b3da-4a97-b228-ec78e513f196";
|
|
"1e5069fc-7b0a-4c62-b977-d395ba059787" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" -> "1e5069fc-7b0a-4c62-b977-d395ba059787";
|
|
"1f097500-b0d3-45de-ace5-b172250d8aad" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Exists(Coffee)", shape=ellipse, style=filled];
|
|
"1e5069fc-7b0a-4c62-b977-d395ba059787" -> "1f097500-b0d3-45de-ace5-b172250d8aad";
|
|
"197de723-0309-4117-8753-104a17615727" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"1e5069fc-7b0a-4c62-b977-d395ba059787" -> "197de723-0309-4117-8753-104a17615727";
|
|
"115cfb9d-e8db-4ef0-a912-42b78517c1ca" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"197de723-0309-4117-8753-104a17615727" -> "115cfb9d-e8db-4ef0-a912-42b78517c1ca";
|
|
"400f880d-dd6f-47b1-840c-a94249309146" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"197de723-0309-4117-8753-104a17615727" -> "400f880d-dd6f-47b1-840c-a94249309146";
|
|
"9ae7f8a8-f7fe-4756-ab37-85cc582c66cb" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"400f880d-dd6f-47b1-840c-a94249309146" -> "9ae7f8a8-f7fe-4756-ab37-85cc582c66cb";
|
|
"ef0103db-bac7-4435-8f40-6dbdb1ad4450" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"197de723-0309-4117-8753-104a17615727" -> "ef0103db-bac7-4435-8f40-6dbdb1ad4450";
|
|
"a68176f4-7b36-436a-a548-e62fb794a0e1" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="MoveTo(Coffee)", shape=box, style=filled];
|
|
"1e5069fc-7b0a-4c62-b977-d395ba059787" -> "a68176f4-7b36-436a-a548-e62fb794a0e1";
|
|
"9a3c7507-a012-4186-a374-587ffe46bb0c" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" -> "9a3c7507-a012-4186-a374-587ffe46bb0c";
|
|
"65e682ea-71f1-4a15-9524-ad5189414f7e" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"9a3c7507-a012-4186-a374-587ffe46bb0c" -> "65e682ea-71f1-4a15-9524-ad5189414f7e";
|
|
"29622ed5-163a-4e86-8622-47ae84cfd445" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"65e682ea-71f1-4a15-9524-ad5189414f7e" -> "29622ed5-163a-4e86-8622-47ae84cfd445";
|
|
"107da477-977d-40e5-92d1-8c4fd28d7923" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Exists(Coffee)", shape=ellipse, style=filled];
|
|
"9a3c7507-a012-4186-a374-587ffe46bb0c" -> "107da477-977d-40e5-92d1-8c4fd28d7923";
|
|
"64369415-0e85-4dae-8529-31f80fa294bf" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"9a3c7507-a012-4186-a374-587ffe46bb0c" -> "64369415-0e85-4dae-8529-31f80fa294bf";
|
|
"663e0684-f7a7-4cf6-bcc8-f1caf6afdc54" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"64369415-0e85-4dae-8529-31f80fa294bf" -> "663e0684-f7a7-4cf6-bcc8-f1caf6afdc54";
|
|
"95ee1083-2241-4159-8276-38435af7ca69" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"663e0684-f7a7-4cf6-bcc8-f1caf6afdc54" -> "95ee1083-2241-4159-8276-38435af7ca69";
|
|
"d031eccb-ae50-4858-8a7a-5497b13115c8" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"95ee1083-2241-4159-8276-38435af7ca69" -> "d031eccb-ae50-4858-8a7a-5497b13115c8";
|
|
"5edc6b92-7c51-4938-8bc6-727ec3da7c08" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"d031eccb-ae50-4858-8a7a-5497b13115c8" -> "5edc6b92-7c51-4938-8bc6-727ec3da7c08";
|
|
"da5a158c-4fa3-4c9c-945d-0cebf00fcb0c" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="Clean(Floor)", shape=box, style=filled];
|
|
"d031eccb-ae50-4858-8a7a-5497b13115c8" -> "da5a158c-4fa3-4c9c-945d-0cebf00fcb0c";
|
|
"a770bd44-6eb0-497d-b37c-0dcbd00bb8ad" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="MoveTo(Coffee)", shape=box, style=filled];
|
|
"95ee1083-2241-4159-8276-38435af7ca69" -> "a770bd44-6eb0-497d-b37c-0dcbd00bb8ad";
|
|
"0fb3ccfb-1612-4018-90ff-cf6cbdbb1057" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Anything,Anywhere)", shape=box, style=filled];
|
|
"663e0684-f7a7-4cf6-bcc8-f1caf6afdc54" -> "0fb3ccfb-1612-4018-90ff-cf6cbdbb1057";
|
|
"4e9e2f80-c620-4649-ab68-971779d46425" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Anything,Anywhere)", shape=box, style=filled];
|
|
"64369415-0e85-4dae-8529-31f80fa294bf" -> "4e9e2f80-c620-4649-ab68-971779d46425";
|
|
"c6b78dd8-30ba-4269-9329-e340b25a252a" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" -> "c6b78dd8-30ba-4269-9329-e340b25a252a";
|
|
"e8cf96b3-0d62-4ce3-9aad-969539878945" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"c6b78dd8-30ba-4269-9329-e340b25a252a" -> "e8cf96b3-0d62-4ce3-9aad-969539878945";
|
|
"6fd60ba8-0378-45b8-9718-50ca9a3c2bdb" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"e8cf96b3-0d62-4ce3-9aad-969539878945" -> "6fd60ba8-0378-45b8-9718-50ca9a3c2bdb";
|
|
"ba1b77b8-eb90-4bf9-b88f-5bc46071ad97" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Exists(Coffee)", shape=ellipse, style=filled];
|
|
"c6b78dd8-30ba-4269-9329-e340b25a252a" -> "ba1b77b8-eb90-4bf9-b88f-5bc46071ad97";
|
|
"b15a6157-4b95-4419-abbb-406824fa7a6f" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="MoveTo(Coffee)", shape=box, style=filled];
|
|
"c6b78dd8-30ba-4269-9329-e340b25a252a" -> "b15a6157-4b95-4419-abbb-406824fa7a6f";
|
|
"2962187a-8739-4609-84bb-de3c1508a44a" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" -> "2962187a-8739-4609-84bb-de3c1508a44a";
|
|
"0bae648c-b8a4-44e3-87b5-ef9c0da0ddea" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"2962187a-8739-4609-84bb-de3c1508a44a" -> "0bae648c-b8a4-44e3-87b5-ef9c0da0ddea";
|
|
"4193e243-a9b0-4a14-85d2-cf17290bcf68" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Exists(Coffee)", shape=ellipse, style=filled];
|
|
"0bae648c-b8a4-44e3-87b5-ef9c0da0ddea" -> "4193e243-a9b0-4a14-85d2-cf17290bcf68";
|
|
"dc84ba93-7296-4653-9b93-0b68d4f6b642" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"2962187a-8739-4609-84bb-de3c1508a44a" -> "dc84ba93-7296-4653-9b93-0b68d4f6b642";
|
|
"dfc4f7e0-b581-4912-b708-7ea4b845fc22" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"2962187a-8739-4609-84bb-de3c1508a44a" -> "dfc4f7e0-b581-4912-b708-7ea4b845fc22";
|
|
"5d3b0b39-8394-491d-8c82-9776e6bbae8e" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"dfc4f7e0-b581-4912-b708-7ea4b845fc22" -> "5d3b0b39-8394-491d-8c82-9776e6bbae8e";
|
|
"adc89f3e-fc1e-4cf8-bcbb-4b64aa64966f" [fillcolor="#B0FFFF", fontcolor=black, fontsize=20, height=0.01, label=" ? ", shape=box, style=filled, width=0.01];
|
|
"5d3b0b39-8394-491d-8c82-9776e6bbae8e" -> "adc89f3e-fc1e-4cf8-bcbb-4b64aa64966f";
|
|
"91d78b86-d9c9-4605-ad4c-cd71892588df" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"adc89f3e-fc1e-4cf8-bcbb-4b64aa64966f" -> "91d78b86-d9c9-4605-ad4c-cd71892588df";
|
|
"c6fa22e2-71fa-434c-ae0f-54bef9633765" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"91d78b86-d9c9-4605-ad4c-cd71892588df" -> "c6fa22e2-71fa-434c-ae0f-54bef9633765";
|
|
"6a7ed19b-1663-477c-beda-7d4f69350f06" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="Make(Coffee)", shape=box, style=filled];
|
|
"91d78b86-d9c9-4605-ad4c-cd71892588df" -> "6a7ed19b-1663-477c-beda-7d4f69350f06";
|
|
"f2e61927-b868-4129-bcce-7c2120d58807" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Anything,Anywhere)", shape=box, style=filled];
|
|
"adc89f3e-fc1e-4cf8-bcbb-4b64aa64966f" -> "f2e61927-b868-4129-bcce-7c2120d58807";
|
|
"3bcd4fc7-aade-42b0-9479-575eb89ca1ef" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="PutDown(Anything,Anywhere)", shape=box, style=filled];
|
|
"5d3b0b39-8394-491d-8c82-9776e6bbae8e" -> "3bcd4fc7-aade-42b0-9479-575eb89ca1ef";
|
|
"bf9db1ab-3f81-495a-b57a-94b55a579807" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"dfc4f7e0-b581-4912-b708-7ea4b845fc22" -> "bf9db1ab-3f81-495a-b57a-94b55a579807";
|
|
"59e86cac-9a4d-42df-ad13-0e274dd428fe" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"bf9db1ab-3f81-495a-b57a-94b55a579807" -> "59e86cac-9a4d-42df-ad13-0e274dd428fe";
|
|
"2b1637db-fb6c-49fc-b3b4-5a6d82f79acd" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="Make(Coffee)", shape=box, style=filled];
|
|
"bf9db1ab-3f81-495a-b57a-94b55a579807" -> "2b1637db-fb6c-49fc-b3b4-5a6d82f79acd";
|
|
"57b45639-e88c-4fae-9e2f-51212bca7466" [fillcolor="#FF8080", fontcolor=black, fontsize=20, height=0.01, label="→", shape=box, style=filled, width=0.01];
|
|
"e7da779f-a9d1-4ea2-a18e-63e56ca338e9" -> "57b45639-e88c-4fae-9e2f-51212bca7466";
|
|
"11f9d1cc-7ce0-48c9-aac8-bad927869f1f" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"57b45639-e88c-4fae-9e2f-51212bca7466" -> "11f9d1cc-7ce0-48c9-aac8-bad927869f1f";
|
|
"6080acea-279e-4a0b-aaa2-10e4bdbe78f1" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Exists(Coffee)", shape=ellipse, style=filled];
|
|
"11f9d1cc-7ce0-48c9-aac8-bad927869f1f" -> "6080acea-279e-4a0b-aaa2-10e4bdbe78f1";
|
|
"c894fc9d-7957-47f2-98c6-65e42de5beaf" [fillcolor=ghostwhite, fontcolor=black, fontsize=20, label=Inverter, shape=ellipse, style=filled];
|
|
"57b45639-e88c-4fae-9e2f-51212bca7466" -> "c894fc9d-7957-47f2-98c6-65e42de5beaf";
|
|
"860e22b7-ff2f-4952-b424-2cb309670aee" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="IsClean(Floor)", shape=ellipse, style=filled];
|
|
"c894fc9d-7957-47f2-98c6-65e42de5beaf" -> "860e22b7-ff2f-4952-b424-2cb309670aee";
|
|
"689d5ade-ec7a-46a3-be96-0822e3ecca27" [fillcolor="#FFFF80", fontcolor=black, fontsize=20, label="Holding(Nothing)", shape=ellipse, style=filled];
|
|
"57b45639-e88c-4fae-9e2f-51212bca7466" -> "689d5ade-ec7a-46a3-be96-0822e3ecca27";
|
|
"7908f76e-f276-4be9-8bbe-448d314874d9" [fillcolor=lightgreen, fontcolor=black, fontsize=20, label="Make(Coffee)", shape=box, style=filled];
|
|
"57b45639-e88c-4fae-9e2f-51212bca7466" -> "7908f76e-f276-4be9-8bbe-448d314874d9";
|
|
}
|