Rename variables

Author: claudioscheer

implementation/compiler-domain/domain.pddl

@@ -10,7 +10,7 @@
     )
 
     (:predicates
-        (variable_info ?variable - variable_name ?value - variable_value ?assignment_operation - assignment)
+        (variable_info ?var - variable_name ?value - variable_value ?id - assignment)
         (executed_assignment ?var - variable_name ?value - variable_value ?id - assignment)
         (executed_operation ?id - operation)
         (executed_binary_operation ?a - assignment ?b - assignment ?id - operation ?c - assignment)
@@ -20,39 +20,39 @@
         :parameters (
             ?var - variable_name
             ?value - variable_value
-            ?operation_id - assignment
+            ?id - assignment
         )
         :precondition (and
-            (not (executed_assignment ?var ?value ?operation_id))
+            (not (executed_assignment ?var ?value ?id))
         )
         :effect (and
-            (variable_info ?var ?value ?operation_id)
-            (executed_assignment ?var ?value ?operation_id)
+            (variable_info ?var ?value ?id)
+            (executed_assignment ?var ?value ?id)
         )
     )
 
     (:action binary_operation
         :parameters (
             ?varA - variable_name
             ?valueA - variable_value
-            ?opA - assignment
+            ?idA - assignment
             ?varB - variable_name
             ?valueB - variable_value
-            ?opB - assignment
-            ?opC - assignment
+            ?idB - assignment
+            ?idC - assignment
             ?operation_id - operation
         )
         :precondition (and
             (not (executed_operation ?operation_id))
-            (variable_info ?varA ?valueA ?opA)
-            (variable_info ?varB ?valueB ?opB)
-            (not (executed_binary_operation ?opA ?opB ?operation_id ?opC))
-            (executed_assignment ?varA ?valueA ?opA)
-            (executed_assignment ?varB ?valueB ?opB)
+            (variable_info ?varA ?valueA ?idA)
+            (variable_info ?varB ?valueB ?idB)
+            (not (executed_binary_operation ?idA ?idB ?operation_id ?idC))
+            (executed_assignment ?varA ?valueA ?idA)
+            (executed_assignment ?varB ?valueB ?idB)
         )
         :effect (and
             (executed_operation ?operation_id)
-            (executed_binary_operation ?opA ?opB ?operation_id ?opC)
+            (executed_binary_operation ?idA ?idB ?operation_id ?idC)
         )
     )
 )