package de.dhbwstuttgart.strucTypes5.constraints;

import de.dhbwstuttgart.strucTypes5.typeVars.TypeVarAbstract;

/**
 * Created by sebastian on 01.05.17.
 */
public class ConstraintSubstitution extends ConstraintAbstract {

    private TypeVarAbstract t1;
    private TypeVarAbstract t2;

    public ConstraintSubstitution(TypeVarAbstract t1, TypeVarAbstract t2) {
        this.t1 = t1;
        this.t2 = t2;
    }

    public TypeVarAbstract getT1() {
        return t1;
    }

    public void setT1(TypeVarAbstract t1) {
        this.t1 = t1;
    }

    public TypeVarAbstract getT2() {
        return t2;
    }

    public void setT2(TypeVarAbstract t2) {
        this.t2 = t2;
    }

    @Override
    public String toString() {
        return String.format("ConstraintSubstitution[ %s --> %s]" , t1 , t2);
    }

}
