From ad2804fab918c907957f54715a738c39cbe2b201 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 24 Mar 2016 11:57:31 +0100
Subject: [PATCH] Umstellung auf MPair beginnen

---
 src/de/dhbwstuttgart/typeinference/unify/Unifier.java | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 src/de/dhbwstuttgart/typeinference/unify/Unifier.java

diff --git a/src/de/dhbwstuttgart/typeinference/unify/Unifier.java b/src/de/dhbwstuttgart/typeinference/unify/Unifier.java
new file mode 100644
index 00000000..acc14281
--- /dev/null
+++ b/src/de/dhbwstuttgart/typeinference/unify/Unifier.java
@@ -0,0 +1,11 @@
+package de.dhbwstuttgart.typeinference.unify;
+
+import java.util.Set;
+
+import de.dhbwstuttgart.typeinference.Pair;
+
+public interface Unifier {
+
+    public Set<Set<Pair>> apply (Set<Pair> E);
+
+}