package models;

import lombok.Getter;
import models.algebra.Symbol;
import models.algebra.Term;

@Getter
public abstract class RDLTerm extends Term{

	protected int order;
	
	public RDLTerm(int order) {
		super(new Symbol("aaa", 3));
		this.order = order;
	}
	
	public int getTermOrder() {
		return getOrder();
	}
	
	public abstract String toStr();
	
	public abstract String toStrWithOrder();
	
	public String toTermStr() {
		return toStr();
	}

}