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 { + 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; + } +}