Newer
Older
ResourceDependencyLogic / src / models / terms / meta / MetaResourceVariable.java
@Sakoda2269 Sakoda2269 on 23 Oct 834 bytes ディレクトリ変更
package models.terms.meta;

import lombok.Getter;
import models.algebra.Constant;
import models.algebra.Expression;
import models.algebra.Symbol;
import models.algebra.Variable;

@Getter
public class MetaResourceVariable extends MetaVariable {
	
	public MetaResourceVariable(Variable variableName, OrderConstraint constraint, Expression order) {
		super(new Symbol("", 0), MetaRDLTerm.TermType.META_RESOURCE_VARIABLE, variableName, constraint, order);
	}
	
	public MetaResourceVariable(Variable variableName) {
		super(new Symbol("", 0), MetaRDLTerm.TermType.META_RESOURCE_VARIABLE, variableName, OrderConstraint.ANY, new Constant("0"));
	}
	
	public MetaResourceVariable(Variable variableName, Expression order) {
		super(new Symbol("", 0), MetaRDLTerm.TermType.META_RESOURCE_VARIABLE, variableName, OrderConstraint.EQ, order);
	}
}