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

Class Criteria

java.lang.Object

tools.refinery.store.dse.transition.objectives.Criteria

public final class Criteria
extends Object

Method Summary

Modifier and Type	Method	Description
static Criterion	and(Collection<? extends Criterion> criteria)
static Criterion	and(Criterion... criteria)
static Criterion	or(Collection<? extends Criterion> criteria)
static Criterion	or(Criterion... criteria)
static QueryCriterion	whenHasMatch(AnyQuery query)
static QueryCriterion	whenNoMatch(AnyQuery query)

Methods inherited from class java.lang.Object

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

Method Details

whenHasMatch

public static QueryCriterion whenHasMatch(AnyQuery query)

whenNoMatch

public static QueryCriterion whenNoMatch(AnyQuery query)

and

public static Criterion and(Criterion... criteria)

and

public static Criterion and(Collection<? extends Criterion> criteria)

or

public static Criterion or(Criterion... criteria)

or

public static Criterion or(Collection<? extends Criterion> criteria)