From 43b373ec4b96e85de428310b3723257c98c04cc2 Mon Sep 17 00:00:00 2001
From: Thomas Knoll <thomas.knoll@student.tugraz.at>
Date: Mon, 15 Jan 2024 23:40:26 +0100
Subject: [PATCH] exampleconfig

---
 exampleConfig.yaml | 30 ++++++++++++++++++++----------
 1 file changed, 20 insertions(+), 10 deletions(-)

diff --git a/exampleConfig.yaml b/exampleConfig.yaml
index 8c3042b..9aafeb0 100644
--- a/exampleConfig.yaml
+++ b/exampleConfig.yaml
@@ -1,7 +1,9 @@
 ---
-labels:
-  - label: "AgentIsInGoal"
-    text: "AgentIsInGoal"
+# labels:
+#   - label: "AgentIsInGoal"
+#     text: "AgentIsInGoal"
+#   - label: "Hallo"
+#     text: "AgentIsInGoal"
 
 # constants:
 #   - constant: "prop_slippery_turn"
@@ -9,25 +11,33 @@ labels:
 #     value: "9/9"
 #     overwrite: True
 
-probabilities:
-  - probability: "FaultProbability"
+properties:
+  - property: "FaultProbability"
     value: 0.2
-  - probability: "ProbForwardIntended"
+  - property: "ProbForwardIntended"
     value: 0.1
-  - probability: "ProbTurnIntended"
+  - property: "ProbTurnIntended"
     value: 0.1
+  # - property: "modeltype"
+  #   value: "smg"
   
 modules:
   - module: "Agent"
+    # overwrite: True
+    # module_text: "NewModule\n\
+    #                                 "
     commands:
       - action: "[Agent_turn_left]"
-        guard: "AgentIsOnSlippery"
-        update: "True"
+        guard: "viewAgent=3"
+        overwrite: True
+        index: 1
+      - action: "[Agent_turn_left]"
+        update: "(viewAgent'=3)"
         overwrite: True
         index: 3
       - action: "[Agent_turn_right]"
         guard: "AgentIsOnSlippery"
-        update: "True"
+        update: "(viewAgent'=3)"
         overwrite: True
         index: [0,1]
 ...
\ No newline at end of file