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 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; }