Class CompositeCriterion
java.lang.Object
tools.refinery.store.dse.transition.objectives.CompositeCriterion
- All Implemented Interfaces:
Criterion
- Direct Known Subclasses:
AndCriterion
,OrCriterion
public abstract sealed class CompositeCriterion
extends Object
implements Criterion
permits AndCriterion, OrCriterion
-
Constructor Summary
ModifierConstructorDescriptionprotected
CompositeCriterion
(Collection<? extends Criterion> criteria) -
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface tools.refinery.store.dse.transition.objectives.Criterion
createCalculator, getReduction