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

Class QueryCriterion

java.lang.Object

tools.refinery.store.dse.transition.objectives.QueryCriterion

All Implemented Interfaces:

Criterion

public class QueryCriterion
extends Object
implements Criterion

Field Summary

Fields

Modifier and Type	Field	Description
protected final AnyQuery	query
protected final boolean	satisfiedIfHasMatch

Constructor Summary

Constructors

Constructor	Description
QueryCriterion(AnyQuery query, boolean satisfiedIfHasMatch)	Criteria based on the existence of matches evaluated on the model.

Method Summary

Modifier and Type	Method	Description
void	configure(ModelStoreBuilder storeBuilder)
CriterionCalculator	createCalculator(Model model)
Reduction	getReduction(ModelStore store)

Methods inherited from class java.lang.Object

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

Field Details

satisfiedIfHasMatch

protected final boolean satisfiedIfHasMatch

query

protected final AnyQuery query

Constructor Details

QueryCriterion

public QueryCriterion(AnyQuery query,
 boolean satisfiedIfHasMatch)

Criteria based on the existence of matches evaluated on the model.

Parameters:

query - The query evaluated on the model.

satisfiedIfHasMatch - If true, the criteria satisfied if the query has any match on the model. Otherwise, the criteria satisfied if the query has no match on the model.

Method Details

getReduction

public Reduction getReduction(ModelStore store)

Specified by:

getReduction in interface Criterion

createCalculator

public CriterionCalculator createCalculator(Model model)

Specified by:

createCalculator in interface Criterion

configure

public void configure(ModelStoreBuilder storeBuilder)

Specified by:

configure in interface Criterion