Package tools.refinery.store.dse.transition.objectives

Class OrCriterion

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

Method Summary

Modifier and Type	Method	Description
CriterionCalculator	createCalculator(Model model)
Reduction	getReduction(ModelStore store)

Methods inherited from class tools.refinery.store.dse.transition.objectives.CompositeCriterion

configure, getCriteria

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

getReduction

public Reduction getReduction(ModelStore store)

createCalculator

public CriterionCalculator createCalculator(Model model)