public Expression and(Expression exp1, Expression exp2) { if (exp1 instanceof BindVariableExpression) return new BindVariableAndExpression((BindVariableExpression) exp1, (Exp) exp2); if (exp2 instanceof BindVariableExpression) return new BindVariableAndExpression((BindVariableExpression) exp2, (Exp) exp1); return new AndExpression((Exp) exp1, (Exp) exp2); }
public Expression and(Expression exp1, Expression exp2) { if (exp1 instanceof BindVariableExpression) return new BindVariableAndExpression((BindVariableExpression) exp1, (Exp) exp2); if (exp2 instanceof BindVariableExpression) return new BindVariableAndExpression((BindVariableExpression) exp2, (Exp) exp1); return new AndExpression((Exp) exp1, (Exp) exp2); }
public Expression and(Expression exp1, Expression exp2) { if (exp1 instanceof BindVariableExpression) return new BindVariableAndExpression((BindVariableExpression) exp1, (Exp) exp2); if (exp2 instanceof BindVariableExpression) return new BindVariableAndExpression((BindVariableExpression) exp2, (Exp) exp1); return new AndExpression((Exp) exp1, (Exp) exp2); }
public Expression and(Expression exp1, Expression exp2) { if (exp1 instanceof BindVariableExpression) return new BindVariableAndExpression((BindVariableExpression) exp1, (Exp) exp2); if (exp2 instanceof BindVariableExpression) return new BindVariableAndExpression((BindVariableExpression) exp2, (Exp) exp1); return new AndExpression((Exp) exp1, (Exp) exp2); }
public Expression and(Expression exp1, Expression exp2) { if (exp1 instanceof BindVariableExpression) return new BindVariableAndExpression((BindVariableExpression) exp1, (Exp) exp2); if (exp2 instanceof BindVariableExpression) return new BindVariableAndExpression((BindVariableExpression) exp2, (Exp) exp1); return new AndExpression((Exp) exp1, (Exp) exp2); }