From 5a94f004fb035c7fbf15f92be61cc8a1916c3be0 Mon Sep 17 00:00:00 2001
From: Thomas Knoll <thomas.knoll@student.tugraz.at>
Date: Wed, 10 Jan 2024 23:14:02 +0100
Subject: [PATCH] added exampleconfig

---
 exampleConfig.yaml | 55 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 exampleConfig.yaml

diff --git a/exampleConfig.yaml b/exampleConfig.yaml
new file mode 100644
index 0000000..dd51aa6
--- /dev/null
+++ b/exampleConfig.yaml
@@ -0,0 +1,55 @@
+---
+labels:
+  - label: "AgentIsInGoal"
+    text: "AgentIsInGoal"
+
+constants:
+  - constant: "prop_slippery_turn"
+    type: "double"
+    value: "9/9"
+    overwrite: True
+  - constant: "prop_next_neighbour_turn"
+    type: "double"
+    value: "0/9"
+    overwrite: True
+  - constant: "prop_slippery_move_forward"
+    type: "double"
+    value: "3/4"
+    overwrite: True
+  - constant: "prop_direct_neighbour"
+    type: "double"
+    value: "1/4"  
+  - constant: "prop_next_neighbour"
+    type: "double"
+    value: "1/8"
+    overwrite: True
+  - constant: "total_prop"
+    type: "double"
+    value: "4"
+    overwrite: True
+
+probabilities:
+  - probability: "FaultProbability"
+    value: 0.1
+  - probability: "ProbForwardIntended"
+    value: 0.1
+  - probability: "ProbTurnIntended"
+    value: 0.1
+  
+modules:
+  - module: "Agent"
+    commands:
+      - action: "[Agent_turn_left]"
+        guard: "AgentIsOnSlippery"
+        update: "True"
+        overwrite: True
+
+...
+
+const double prop_zero = 0/9;
+const double prop_next_neighbour = 1/9;
+const double prop_slippery_move_forward = 7/9;
+const double prop_slippery_turn = 6/9;
+const double prop_next_neighbour_turn = 1/9;
+const double prop_direct_neighbour = 2/9;
+const double total_prop = 9;
\ No newline at end of file