public ReductionResult withConstraint(ConstraintFormula constraintFormula) { ReductionResult newInstance = new ReductionResult(); newInstance.boundSet = this.boundSet; newInstance.constraintFormulas = new LinkedList<>(); newInstance.constraintFormulas.addAll(this.constraintFormulas); newInstance.constraintFormulas.add(constraintFormula); return newInstance; }
public ReductionResult withConstraint(ConstraintFormula constraintFormula) { ReductionResult newInstance = new ReductionResult(); newInstance.boundSet = this.boundSet; newInstance.constraintFormulas = new LinkedList<>(); newInstance.constraintFormulas.addAll(this.constraintFormulas); newInstance.constraintFormulas.add(constraintFormula); return newInstance; }
public ReductionResult withConstraint(ConstraintFormula constraintFormula) { ReductionResult newInstance = new ReductionResult(); newInstance.boundSet = this.boundSet; newInstance.constraintFormulas = new LinkedList<>(); newInstance.constraintFormulas.addAll(this.constraintFormulas); newInstance.constraintFormulas.add(constraintFormula); return newInstance; }
public static ReductionResult empty() { return new ReductionResult(); }
public static ReductionResult empty() { return new ReductionResult(); }
public static ReductionResult empty() { return new ReductionResult(); }
public ReductionResult withBound(Bound bound) { ReductionResult newInstance = new ReductionResult(); newInstance.boundSet = this.boundSet.withBound(bound); newInstance.constraintFormulas = this.constraintFormulas; return newInstance; }
public static ReductionResult bounds(BoundSet bounds) { ReductionResult reductionResult = new ReductionResult(); reductionResult.boundSet = bounds; return reductionResult; } }
public static ReductionResult withConstraints(List<ConstraintFormula> constraints) { ReductionResult reductionResult = new ReductionResult(); reductionResult.constraintFormulas.addAll(constraints); return reductionResult; }
public ReductionResult withBound(Bound bound) { ReductionResult newInstance = new ReductionResult(); newInstance.boundSet = this.boundSet.withBound(bound); newInstance.constraintFormulas = this.constraintFormulas; return newInstance; }
public static ReductionResult bounds(BoundSet bounds) { ReductionResult reductionResult = new ReductionResult(); reductionResult.boundSet = bounds; return reductionResult; } }
public ReductionResult withBound(Bound bound) { ReductionResult newInstance = new ReductionResult(); newInstance.boundSet = this.boundSet.withBound(bound); newInstance.constraintFormulas = this.constraintFormulas; return newInstance; }
public static ReductionResult withConstraints(List<ConstraintFormula> constraints) { ReductionResult reductionResult = new ReductionResult(); reductionResult.constraintFormulas.addAll(constraints); return reductionResult; }
public static ReductionResult bounds(BoundSet bounds) { ReductionResult reductionResult = new ReductionResult(); reductionResult.boundSet = bounds; return reductionResult; } }
public static ReductionResult withConstraints(List<ConstraintFormula> constraints) { ReductionResult reductionResult = new ReductionResult(); reductionResult.constraintFormulas.addAll(constraints); return reductionResult; }