java.lang.Object
tools.refinery.store.dse.transition.objectives.CompositeCriterion
tools.refinery.store.dse.transition.objectives.OrCriterion
All Implemented Interfaces:
Criterion

public final class OrCriterion extends CompositeCriterion