From ae02ee247ac913e893e4b1c6819e50ae92cde674 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 17 Aug 2017 15:08:07 +0200
Subject: [PATCH 1/3] SAT Package erstellen

---
 src/de/dhbwstuttgart/sat/CNF/CNF.java    |  8 ++++++++
 src/de/dhbwstuttgart/sat/CNF/Writer.java | 12 ++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 src/de/dhbwstuttgart/sat/CNF/CNF.java
 create mode 100644 src/de/dhbwstuttgart/sat/CNF/Writer.java

diff --git a/src/de/dhbwstuttgart/sat/CNF/CNF.java b/src/de/dhbwstuttgart/sat/CNF/CNF.java
new file mode 100644
index 00000000..e5d9b3d0
--- /dev/null
+++ b/src/de/dhbwstuttgart/sat/CNF/CNF.java
@@ -0,0 +1,8 @@
+package de.dhbwstuttgart.sat.CNF;
+
+public class CNF {
+    /*
+    Baut die CNF Datei.
+    Hier muss man überlegen, in welchem Form die Constraints gebaut werden
+     */
+}
diff --git a/src/de/dhbwstuttgart/sat/CNF/Writer.java b/src/de/dhbwstuttgart/sat/CNF/Writer.java
new file mode 100644
index 00000000..c366686a
--- /dev/null
+++ b/src/de/dhbwstuttgart/sat/CNF/Writer.java
@@ -0,0 +1,12 @@
+package de.dhbwstuttgart.sat.CNF;
+
+import java.io.*;
+
+/**
+ * Schreibt CNFs in eine Datei im DIMACS CNF Format
+ */
+public class Writer {
+    public Writer(FileWriter output){
+
+    }
+}

From fb0ef510b23f5fc92d7cc7cf3f41f17c461f52b4 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Fri, 15 Dec 2017 00:05:30 +0100
Subject: [PATCH 2/3] Fehlende Klasse

---
 .../typeinference/result/PairTPHEqualTPH.java     | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 src/de/dhbwstuttgart/typeinference/result/PairTPHEqualTPH.java

diff --git a/src/de/dhbwstuttgart/typeinference/result/PairTPHEqualTPH.java b/src/de/dhbwstuttgart/typeinference/result/PairTPHEqualTPH.java
new file mode 100644
index 00000000..64d0ce0b
--- /dev/null
+++ b/src/de/dhbwstuttgart/typeinference/result/PairTPHEqualTPH.java
@@ -0,0 +1,15 @@
+package de.dhbwstuttgart.typeinference.result;
+
+import de.dhbwstuttgart.syntaxtree.type.RefTypeOrTPHOrWildcardOrGeneric;
+import de.dhbwstuttgart.syntaxtree.type.TypePlaceholder;
+
+public class PairTPHEqualTPH extends ResultPair<TypePlaceholder, TypePlaceholder> {
+    public PairTPHEqualTPH(TypePlaceholder tl, TypePlaceholder tr) {
+        super(tl, tr);
+    }
+
+    @Override
+    public void accept(ResultSetVisitor visitor) {
+        visitor.visit(this);
+    }
+}

From 9919ecd083ba248ece1730128bcc0320ff84d43a Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Fri, 15 Dec 2017 00:06:57 +0100
Subject: [PATCH 3/3] Anfangen mit Masterarbeit

---
 .../dhbwstuttgart/sat/asp/ASPGenerator.java   | 24 +++++++++++++++++++
 .../dhbwstuttgart/sat/asp/model/ASPType.java  |  9 +++++++
 2 files changed, 33 insertions(+)
 create mode 100644 src/de/dhbwstuttgart/sat/asp/ASPGenerator.java
 create mode 100644 src/de/dhbwstuttgart/sat/asp/model/ASPType.java

diff --git a/src/de/dhbwstuttgart/sat/asp/ASPGenerator.java b/src/de/dhbwstuttgart/sat/asp/ASPGenerator.java
new file mode 100644
index 00000000..26ab0957
--- /dev/null
+++ b/src/de/dhbwstuttgart/sat/asp/ASPGenerator.java
@@ -0,0 +1,24 @@
+package de.dhbwstuttgart.sat.asp;
+
+import de.dhbwstuttgart.parser.scope.JavaClassName;
+import de.dhbwstuttgart.syntaxtree.ClassOrInterface;
+import de.dhbwstuttgart.typeinference.constraints.ConstraintSet;
+
+import java.util.Collection;
+
+public class ASPGenerator {
+    public static String toASP(ConstraintSet constraintSet, Collection<ClassOrInterface> fcClasses){
+        String ret = "";
+        for(ClassOrInterface cl : fcClasses){
+            String className = toConstant(cl.getClassName());
+            String superClassName = toConstant(cl.getSuperClass().getName());
+
+        }
+        return ret;
+    }
+
+
+    public static String toConstant(JavaClassName name){
+        return "c" + name.toString().replace(".", "_");
+    }
+}
diff --git a/src/de/dhbwstuttgart/sat/asp/model/ASPType.java b/src/de/dhbwstuttgart/sat/asp/model/ASPType.java
new file mode 100644
index 00000000..4de8759d
--- /dev/null
+++ b/src/de/dhbwstuttgart/sat/asp/model/ASPType.java
@@ -0,0 +1,9 @@
+package de.dhbwstuttgart.sat.asp.model;
+
+import java.util.List;
+
+public class ASPType {
+    public ASPType(String name, List<ASPType> params){
+
+    }
+}