From 176ec7b7070eadc314f9ee6cbc7c15c66140b701 Mon Sep 17 00:00:00 2001
From: Florian Steurer <florian.steurer95@gmail.com>
Date: Sun, 8 Nov 2015 21:30:17 +0100
Subject: [PATCH] subst rule interface

---
 .../typeinference/unify/interfaces/IRuleSet.java         | 2 ++
 .../typeinference/unify/interfaces/IUnifier.java         | 9 +++++++++
 src/de/dhbwstuttgart/typeinference/unifynew/RuleSet.java | 7 +++++++
 3 files changed, 18 insertions(+)
 create mode 100644 src/de/dhbwstuttgart/typeinference/unify/interfaces/IUnifier.java

diff --git a/src/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java b/src/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
index 88f98ac7..ad0655ef 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
@@ -25,4 +25,6 @@ public interface IRuleSet {
 	public MPair adapt(MPair pair);
 	public MPair adaptExt(MPair pair);
 	public MPair adaptSup(MPair pair);
+	
+	public Optional<IUnifier> subst(MPair pair);
 }
diff --git a/src/de/dhbwstuttgart/typeinference/unify/interfaces/IUnifier.java b/src/de/dhbwstuttgart/typeinference/unify/interfaces/IUnifier.java
new file mode 100644
index 00000000..ca0d6ce2
--- /dev/null
+++ b/src/de/dhbwstuttgart/typeinference/unify/interfaces/IUnifier.java
@@ -0,0 +1,9 @@
+package de.dhbwstuttgart.typeinference.unify.interfaces;
+
+import java.util.Optional;
+
+import de.dhbwstuttgart.typinference.unify.model.MPair;
+
+public interface IUnifier {
+	public Optional<MPair> apply(MPair pair);
+}
diff --git a/src/de/dhbwstuttgart/typeinference/unifynew/RuleSet.java b/src/de/dhbwstuttgart/typeinference/unifynew/RuleSet.java
index 00ee34db..9424ba2b 100644
--- a/src/de/dhbwstuttgart/typeinference/unifynew/RuleSet.java
+++ b/src/de/dhbwstuttgart/typeinference/unifynew/RuleSet.java
@@ -7,6 +7,7 @@ import java.util.Set;
 import junit.framework.Assert;
 import de.dhbwstuttgart.typeinference.unify.interfaces.IFiniteClosure;
 import de.dhbwstuttgart.typeinference.unify.interfaces.IRuleSet;
+import de.dhbwstuttgart.typeinference.unify.interfaces.IUnifier;
 import de.dhbwstuttgart.typinference.unify.model.ExtendsType;
 import de.dhbwstuttgart.typinference.unify.model.MPair;
 import de.dhbwstuttgart.typinference.unify.model.MPair.PairOperator;
@@ -396,5 +397,11 @@ public class RuleSet implements IRuleSet{
 		if(succ) return permutation;
 		return new int[0];
 	}
+
+	@Override
+	public Optional<IUnifier> subst(MPair pair) {
+		// TODO Auto-generated method stub
+		return null;
+	}
 	
 }