package models.terms.meta;

import models.algebra.Constant;
import models.algebra.Variable;

public class MetaConstant extends MetaVariable {

	public MetaConstant(Variable name) {
		super(TermType.MEAT_CONSTANT_VARIABLE, name, OrderConstraint.EQ, new Constant("0"));
	}

	@Override
	public MetaVariable cloneWithName(String name) {
		return new MetaConstant(new Variable(name));
	}
	
}