public ConstraintExpression transformDisj(SymbolicTransformationContext context, ConstraintDisjunction cd) throws SymbolicTransformationException { List transArgs = new ArrayList(); boolean transformed = false; Iterator i = cd.getElements().iterator(); while (i.hasNext()) { ConstraintExpression ce = (ConstraintExpression)i.next(); ConstraintExpression trans = transformExpr(context, ce); if (trans != ce) { transformed = true; } transArgs.add(trans); } return transformed ? new ConstraintDisjunction(transArgs) : cd; }
public ConstraintExpression bindVariables(Map bindings, ConstraintExpression constraintExpr) throws Exception { return new ConstraintDisjunction(ConstraintOperations.replaceOperationArgs(bindings, (ConstraintOperation)constraintExpr)); } }),