Add dependency_tree

Author: claudioscheer

implementation/compiler-domain/domain.pddl

@@ -1,15 +1,21 @@
 (define (domain compiler)
 
-    (:requirements :strips :typing :negative-preconditions)
+    (:requirements :strips :typing :negative-preconditions :universal-preconditions :disjunctive-preconditions)
 
     (:types
+        id - object
         operation - object
         assignment - object
         variable_name - object
         variable_value - object
     )
 
     (:predicates
+        (assignment_id ?assignment - assignment ?id - id)
+        (operation_id ?operation - operation ?id - id)
+        (dependency_tree ?parent - id ?child - id)
+        (executed_instruction ?id - id)
+
         (variable_info ?var - variable_name ?value - variable_value ?id - assignment)
         (executed_assignment ?var - variable_name ?value - variable_value ?id - assignment)
         (executed_operation ?id - operation)
@@ -21,12 +27,21 @@
             ?var - variable_name
             ?value - variable_value
             ?id - assignment
+            ?instruction_id - id
         )
         :precondition (and
+            (assignment_id ?id ?instruction_id)
             (not (executed_assignment ?var ?value ?id))
+            (forall (?parent - id)
+                (or
+                    (not (dependency_tree ?parent ?instruction_id))
+                    (executed_instruction ?parent)
+                )
+            )
         )
         :effect (and
             (variable_info ?var ?value ?id)
+            (executed_instruction ?instruction_id)
             (executed_assignment ?var ?value ?id)
         )
     )
@@ -41,8 +56,16 @@
             ?idB - assignment
             ?idC - assignment
             ?operation_id - operation
+            ?instruction_id - id
         )
         :precondition (and
+            (operation_id ?operation_id ?instruction_id)
+            (forall (?parent - id)
+                (or
+                    (not (dependency_tree ?parent ?instruction_id))
+                    (executed_instruction ?parent)
+                )
+            )
             (not (executed_operation ?operation_id))
             (variable_info ?varA ?valueA ?idA)
             (variable_info ?varB ?valueB ?idB)
@@ -51,6 +74,7 @@
             (executed_assignment ?varB ?valueB ?idB)
         )
         :effect (and
+            (executed_instruction ?instruction_id)
             (executed_operation ?operation_id)
             (executed_binary_operation ?idA ?idB ?operation_id ?idC)
         )

implementation/compiler-domain/problem1-1.pddl

@@ -1,14 +1,26 @@
 (define (problem problem1_1) (:domain compiler)
     (:objects
+        id0 id1 id2 id3 id4 - id
         assignmentA assignmentB assignmentC - assignment
         sumAB - operation
         varA varB varC - variable_name
         valueA valueB valueC - variable_value
     )
 
     (:init
+        (executed_instruction id0)
         (variable_info varA valueA assignmentA)
         (variable_info varB valueB assignmentB)
+
+        (operation_id sumAB id3)
+        (assignment_id assignmentA id1)
+        (assignment_id assignmentB id2)
+        (assignment_id assignmentC id4)
+        (dependency_tree id0 id1)
+        (dependency_tree id0 id2)
+        (dependency_tree id1 id3)
+        (dependency_tree id2 id3)
+        (dependency_tree id3 id4)
     )
 
     (:goal (and