RDLProofSystem / src / main / java / models / terms / meta / OrderConstraint.java

package models.terms.meta;

public enum OrderConstraint {
	
	EQ("=="),
	LT("<"),
	LE("<="),
	GT(">"),
	GE(">="),
	ANY("");
	
	private final String operator;
	
	private OrderConstraint(String operator) {
		this.operator = operator;
	}
	
	public String getOperator() {
		return this.operator;
	}
	
}