i21012/JavaPatternMatching
1
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity

Result anfügen

Browse Source
This commit is contained in:
JanUlrich 2018-07-05 21:15:06 +02:00
parent a71c1f3893
commit 3d57a3929c
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/de/dhbwstuttgart/sat/asp/ASPUnify.java
View File

@ -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/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/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/cartesian.lp"));
programFiles.add(new File("/home/janulrich/Sync/HiwiJob/ResearchPapers/MasterarbeitStadelmeier/asp/complete/result.lp"));
} }
public ASPUnify(List<File> inputFiles){ public ASPUnify(List<File> inputFiles){

3
test/javFiles/Vector.jav
View File

@ -6,7 +6,6 @@ class MyVector{
id(x){ id(x){
Object i; Object i;
///*
x.add(i); x.add(i);
x.add(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); 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); x.add(i);
return x; return x;
} }