exampleconfig

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]
 ...