package symjava.relational;

import symjava.symbolic.Expr;
import symjava.symbolic.arity.BinaryOp;

public class Le extends BinaryOp implements Relation  {

	public Le(Expr arg1, Expr arg2) {
		super(arg1, arg2);
		this.label = arg1 + " <= " + arg2;
		this.sortKey = this.label;

	}

	@Override
	public Expr simplify() {
		return this;
	}

	@Override
	public boolean symEquals(Expr other) {
		return false;
	}

	@Override
	public Expr diff(Expr expr) {
		// TODO Auto-generated method stub
		return null;
	}
	public static Le apply(Expr lhs, Expr rhs) {
		return new Le(lhs, rhs);
	}
	public static Le apply(double lhs, Expr rhs) {
		return new Le(Expr.valueOf(lhs), rhs);
	}
	public static Le apply(Expr lhs, double rhs) {
		return new Le(lhs, Expr.valueOf(rhs));
	}
}
