reduce
boolean reduce(AFConstraint constraint,
java.util.Set<AFConstraint> newConstraints)
Determines if the input constraint should be handled by this reducer. If so: Reduces the
constraint into one or more new constraints. Any new constraint that can still be reduced is
placed in newConstraints. New irreducible constraints are placed in finish. Return true
Return false (indicating that some other reducer needs to handle this constraint) If false is
returned, the reducer should NOT place any constraints in newConstraints or finished
- Parameters:
constraint
- the constraint to reduce
newConstraints
- the new constraints that may still need to be reduced
- Returns:
- true if the input constraint was handled by this reducer, false otherwise