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

public final class AndCriterion extends CompositeCriterion