package de.dhbwstuttgart.strucTypes4.algo;

import de.dhbwstuttgart.strucTypes4.typeVars.TypeVarAbstract;

/**
 * Created by sebastian on 09.04.17.
 */
public class ConstraintSubType extends  ConstraintAbstract {

    TypeVarAbstract typeKleiner;
    TypeVarAbstract typeGroeßer;

    public ConstraintSubType(TypeVarAbstract typeKleiner, TypeVarAbstract typeGroeßer) {
        this.typeKleiner = typeKleiner;
        this.typeGroeßer = typeGroeßer;
    }





    public TypeVarAbstract getTypeKleiner() {
        return typeKleiner;
    }

    public void setTypeKleiner(TypeVarAbstract typeKleiner) {
        this.typeKleiner = typeKleiner;
    }

    public TypeVarAbstract getTypeGroeßer() {
        return typeGroeßer;
    }

    public void setTypeGroeßer(TypeVarAbstract typeGroeßer) {
        this.typeGroeßer = typeGroeßer;
    }

    @Override
    public String toString() {
        return  String.format( "Const_Sub: (  %s   <*  %s ) " , typeKleiner , typeGroeßer  );
    }




}
