Class QueryCriterion
java.lang.Object
tools.refinery.store.dse.transition.objectives.QueryCriterion
- All Implemented Interfaces:
Criterion
-
Field Summary
-
Constructor Summary
ConstructorDescriptionQueryCriterion
(AnyQuery query, boolean satisfiedIfHasMatch) Criteria based on the existence of matches evaluated on the model. -
Method Summary
Modifier and TypeMethodDescriptionvoid
configure
(ModelStoreBuilder storeBuilder) createCalculator
(Model model) getReduction
(ModelStore store)
-
Field Details
-
satisfiedIfHasMatch
protected final boolean satisfiedIfHasMatch -
query
-
-
Constructor Details
-
QueryCriterion
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
- Specified by:
getReduction
in interfaceCriterion
-
createCalculator
- Specified by:
createCalculator
in interfaceCriterion
-
configure
-