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

Class CountObjective

java.lang.Object

tools.refinery.store.dse.transition.objectives.CountObjective

All Implemented Interfaces:

Objective

public class CountObjective
extends Object
implements Objective

Constructor Summary

Constructors

Constructor	Description
CountObjective(RelationalQuery query)
CountObjective(RelationalQuery query, double weight)

Method Summary

Modifier and Type	Method	Description
void	configure(ModelStoreBuilder storeBuilder)
ObjectiveCalculator	createCalculator(Model model)
boolean	isAlwaysZero(ModelStore store)

Methods inherited from class java.lang.Object

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

Constructor Details

CountObjective

public CountObjective(RelationalQuery query)

CountObjective

public CountObjective(RelationalQuery query,
 double weight)

Method Details

isAlwaysZero

public boolean isAlwaysZero(ModelStore store)

Specified by:

isAlwaysZero in interface Objective

createCalculator

public ObjectiveCalculator createCalculator(Model model)

Specified by:

createCalculator in interface Objective

configure

public void configure(ModelStoreBuilder storeBuilder)

Specified by:

configure in interface Objective