From c45c4260117d8f762c841230049f519961e8145f Mon Sep 17 00:00:00 2001
From: Florian Steurer <florian.steurer95@gmail.com>
Date: Sun, 15 Nov 2015 18:09:21 +0100
Subject: [PATCH] unifier

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

diff --git a/src/de/dhbwstuttgart/typeinference/unifynew/Unifier.java b/src/de/dhbwstuttgart/typeinference/unifynew/Unifier.java
new file mode 100644
index 00000000..ecd56cf1
--- /dev/null
+++ b/src/de/dhbwstuttgart/typeinference/unifynew/Unifier.java
@@ -0,0 +1,29 @@
+package de.dhbwstuttgart.typeinference.unifynew;
+
+import java.util.function.Function;
+
+import de.dhbwstuttgart.typinference.unify.model.Type;
+import de.dhbwstuttgart.typinference.unify.model.TypeParams;
+
+public class Unifier implements Function<Type, Type> {
+	private Type source;
+	private Type target;
+	
+	public Unifier(Type source, Type target) {
+		this.source = source;
+		this.target = target;
+	}
+
+	@Override
+	public Type apply(Type t) {
+		return t.apply(this);
+	}
+	
+	public Type getSource() {
+		return source;
+	}
+	
+	public Type getTarget() {
+		return target;
+	}
+}