This repository was archived by the owner on Jun 3, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathproblem1-4.pddl
107 lines (95 loc) · 3.86 KB
/
problem1-4.pddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
(define (problem problem1_4) (:domain compiler)
(:objects
id0 id1 id2 id3 id4 id5 id6 id7 id8 id9 id10 id11 id12 id13 id14 - id
assignmentA assignmentB assignmentC assignmentI assignmentJ assignmentK - assignment
multipSum0 multipSum1 multipSum2 multipSum3 multipSum4 multipSum5 multipSum6 multipSum7 - operation
)
(:init
(executed_instruction id0)
(assignment_id assignmentA id1)
(assignment_id assignmentB id2)
(assignment_id assignmentC id3)
; (assignment_id assignmentI id4)
; (assignment_id assignmentJ id5)
; (assignment_id assignmentK id6)
(operation_id multipSum0 id7)
(operation_id multipSum1 id8)
(operation_id multipSum2 id9)
(operation_id multipSum3 id10)
(operation_id multipSum4 id11)
(operation_id multipSum5 id12)
(operation_id multipSum6 id13)
(operation_id multipSum7 id14)
(dependency_tree id0 id1)
(dependency_tree id0 id2)
(dependency_tree id0 id3)
; (dependency_tree id3 id4)
; (dependency_tree id4 id5)
; (dependency_tree id5 id6)
(dependency_tree id1 id7)
(dependency_tree id2 id7)
(dependency_tree id3 id7)
; (dependency_tree id4 id7)
; (dependency_tree id5 id7)
; (dependency_tree id6 id7)
(dependency_tree id1 id8)
(dependency_tree id2 id8)
(dependency_tree id3 id8)
; (dependency_tree id4 id8)
; (dependency_tree id5 id8)
; (dependency_tree id6 id8)
(dependency_tree id1 id9)
(dependency_tree id2 id9)
(dependency_tree id3 id9)
; (dependency_tree id4 id9)
; (dependency_tree id5 id9)
; (dependency_tree id6 id9)
(dependency_tree id1 id10)
(dependency_tree id2 id10)
(dependency_tree id3 id10)
; (dependency_tree id4 id10)
; (dependency_tree id5 id10)
; (dependency_tree id6 id10)
(dependency_tree id1 id11)
(dependency_tree id2 id11)
(dependency_tree id3 id11)
; (dependency_tree id4 id11)
; (dependency_tree id5 id11)
; (dependency_tree id6 id11)
(dependency_tree id1 id12)
(dependency_tree id2 id12)
(dependency_tree id3 id12)
; (dependency_tree id4 id12)
; (dependency_tree id5 id12)
; (dependency_tree id6 id12)
(dependency_tree id1 id13)
(dependency_tree id2 id13)
(dependency_tree id3 id13)
; (dependency_tree id4 id13)
; (dependency_tree id5 id13)
; (dependency_tree id6 id13)
(dependency_tree id1 id14)
(dependency_tree id2 id14)
(dependency_tree id3 id14)
; (dependency_tree id4 id14)
; (dependency_tree id5 id14)
; (dependency_tree id6 id14)
)
; This problem has a problem. When lines 86 and line 87 are commented out, the problem of the problem works.
(:goal (and
(executed_assignment assignmentA)
(executed_assignment assignmentB)
(executed_assignment assignmentC)
; (executed_assignment assignmentI)
; (executed_assignment assignmentJ)
; (executed_assignment assignmentK)
(executed_binary_operation assignmentA assignmentB multipSum0 assignmentC)
(executed_binary_operation assignmentA assignmentB multipSum1 assignmentC)
(executed_binary_operation assignmentA assignmentB multipSum2 assignmentC)
(executed_binary_operation assignmentA assignmentB multipSum3 assignmentC)
(executed_binary_operation assignmentA assignmentB multipSum4 assignmentC)
(executed_binary_operation assignmentA assignmentB multipSum5 assignmentC)
(executed_binary_operation assignmentA assignmentB multipSum6 assignmentC)
(executed_binary_operation assignmentA assignmentB multipSum7 assignmentC)
))
)