package models;

import lombok.Getter;
import lombok.Setter;
import models.algebra.Type;

@Setter
@Getter
public class RDLVariable extends EvaluableTerm{

	private String name;
	private Type type;
	
	public RDLVariable(String name, Type type, int order) {
		super(order);
		this.name = name;
		this.type = type;
	}
	
	@Override
	public EvaluableTerm linearRightNormalize() {
		return new RDLVariable(name, type, order);
	}

	@Override
	public void selfLinearRightNormalize() {
	}
	
	@Override
	public boolean isLinearRightNormal() {
		return true;
	}
	
	@Override
	public String toStr() {
		return this.name;
	}

}