From dd5b6654dcf2e7eb4de49266b5f8b3ed2b8ee046 Mon Sep 17 00:00:00 2001
From: Claudio Scheer <claudioscheer@protonmail.com>
Date: Tue, 16 Jun 2020 14:00:47 -0300
Subject: [PATCH] Update program-2

---
 implementation/program-2/problem1.pddl | 21 +++++++++------------
 implementation/program-2/program2.cpp  |  3 +--
 2 files changed, 10 insertions(+), 14 deletions(-)

diff --git a/implementation/program-2/problem1.pddl b/implementation/program-2/problem1.pddl
index 1bc2e64..f5a2a9e 100644
--- a/implementation/program-2/problem1.pddl
+++ b/implementation/program-2/problem1.pddl
@@ -1,27 +1,24 @@
 (define (problem problem1) (:domain program2)
     (:objects
-        assignmentA assignmentA0 assignmentI0 assignmentConst - assignment
-        sumLoop0 - operation
-        varConst varA varI - variable_name
-        valueConst valueA valueI - variable_value
+        assignmentConst assignmentA assignmentA0 assignmentA1 assignmentA2 - assignment
+        sumLoop0 sumLoop1 sumLoop2 - operation
+        varConst varA - variable_name
+        valueConst valueA - variable_value
     )
 
     (:init
         (variable_info varConst valueConst assignmentConst)
         (variable_info varA valueA assignmentA)
-        (variable_info varI valueI assignmentI0)
     )
 
     (:goal (and
         (executed_assingment assignmentConst)
         (executed_assingment assignmentA)
-        (executed_assingment assignmentI0)
         (executed_binary_operation assignmentA assignmentConst sumLoop0 assignmentA0)
-        ; (executed_assingment assignmentI1)
-        ; (executed_binary_operation assignmentA0 assignmentI1 sumLoop1 assignmentA1)
-        ; (executed_assingment assignmentI2)
-        ; (executed_binary_operation assignmentA1 assignmentI1 sumLoop2 assignmentA2)
-        ; (executed_assingment assignmentI3)
-        ; (executed_assingment assignmentX)
+        (executed_assingment assignmentA0)
+        (executed_binary_operation assignmentA0 assignmentConst sumLoop1 assignmentA1)
+        (executed_assingment assignmentA1)
+        (executed_binary_operation assignmentA1 assignmentConst sumLoop2 assignmentA2)
+        (executed_assingment assignmentA2)
     ))
 )
\ No newline at end of file
diff --git a/implementation/program-2/program2.cpp b/implementation/program-2/program2.cpp
index b3b388f..ccc35d9 100644
--- a/implementation/program-2/program2.cpp
+++ b/implementation/program-2/program2.cpp
@@ -8,7 +8,6 @@ int main()
     {
         a += const_value;
     }
-    int x = a;
-    std::cout << x << std::endl;
+    std::cout << a << std::endl;
     return 0;
 }
\ No newline at end of file
-- 
GitLab