From 3d57a3929ce7d522aa67add6f4c49fd465f8ad99 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 5 Jul 2018 21:15:06 +0200
Subject: [PATCH] =?UTF-8?q?Result=20anf=C3=BCgen?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/de/dhbwstuttgart/sat/asp/ASPUnify.java | 1 +
 test/javFiles/Vector.jav                   | 3 ---
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/de/dhbwstuttgart/sat/asp/ASPUnify.java b/src/de/dhbwstuttgart/sat/asp/ASPUnify.java
index edb701fb..997d78aa 100644
--- a/src/de/dhbwstuttgart/sat/asp/ASPUnify.java
+++ b/src/de/dhbwstuttgart/sat/asp/ASPUnify.java
@@ -22,6 +22,7 @@ public class ASPUnify {
         programFiles.add(new File("/home/janulrich/Sync/HiwiJob/ResearchPapers/MasterarbeitStadelmeier/asp/complete/subst.lp"));
         programFiles.add(new File("/home/janulrich/Sync/HiwiJob/ResearchPapers/MasterarbeitStadelmeier/asp/complete/unifikation.lp"));
         programFiles.add(new File("/home/janulrich/Sync/HiwiJob/ResearchPapers/MasterarbeitStadelmeier/asp/complete/cartesian.lp"));
+        programFiles.add(new File("/home/janulrich/Sync/HiwiJob/ResearchPapers/MasterarbeitStadelmeier/asp/complete/result.lp"));
     }
 
     public ASPUnify(List<File> inputFiles){
diff --git a/test/javFiles/Vector.jav b/test/javFiles/Vector.jav
index 83c351ae..ee6c15e0 100644
--- a/test/javFiles/Vector.jav
+++ b/test/javFiles/Vector.jav
@@ -6,7 +6,6 @@ class MyVector{
 
 id(x){
   Object i;
-  ///*
   x.add(i);
   x.add(i);
   x.add(i);
@@ -19,8 +18,6 @@ id(x){
   x.add(i);
   x.add(i);
   x.add(i);
-  //*/
-  //TODO: Allein die Constraints aus diesem Stmt verursachen 5000 mögliche Lösungen. Warum?
   x.add(i);
   return x;
 }