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

Class AndCriterion

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

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)