org.eclipse.viatra.dse.designspace.api

Class IGetCertainTransitions.FilterOptions

java.lang.Object

org.eclipse.viatra.dse.designspace.api.IGetCertainTransitions.FilterOptions

Enclosing interface:

IGetCertainTransitions

public static class IGetCertainTransitions.FilterOptions
extends java.lang.Object

Filter options for retrieving transitions.

Field Summary

Fields

Modifier and Type	Field and Description
boolean	nothingIfCut If set to true and the current state dissatisfies the global constraints an empty list will be returned.
boolean	nothingIfGoal If set to true and the current state satisfies the hard objectives an empty list will be returned.
java.util.List<DSETransformationRule<?,?>>	ruleFilter Only transitions with rules referenced by this list will be retrieved.
boolean	untraversedOnly Already traversed transitions won't be returned.

Constructor Summary

Constructors

Constructor and Description
IGetCertainTransitions.FilterOptions()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	containsRule(DSETransformationRule<?,?> rule) Checks if the given rule is already in the filter list.
IGetCertainTransitions.FilterOptions	nothingIfCut() Will return an empty list if the current state dissatisfies the global constraints.
IGetCertainTransitions.FilterOptions	nothingIfGoal() Will return an empty list if the current state satisfies the hard objectives.
IGetCertainTransitions.FilterOptions	untraversedOnly() Will return only untraversed transitions.
IGetCertainTransitions.FilterOptions	withRuleFilter(DSETransformationRule<?,?> rule) Will return transitions derived from the given rule.

Methods inherited from class java.lang.Object

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

Field Detail

nothingIfCut

public boolean nothingIfCut

If set to true and the current state dissatisfies the global constraints an empty list will be returned.

nothingIfGoal

public boolean nothingIfGoal

If set to true and the current state satisfies the hard objectives an empty list will be returned.

untraversedOnly

public boolean untraversedOnly

Already traversed transitions won't be returned.

ruleFilter

public java.util.List<DSETransformationRule<?,?>> ruleFilter

Only transitions with rules referenced by this list will be retrieved.

Constructor Detail

IGetCertainTransitions.FilterOptions

public IGetCertainTransitions.FilterOptions()

Method Detail

nothingIfCut

public IGetCertainTransitions.FilterOptions nothingIfCut()

Will return an empty list if the current state dissatisfies the global constraints.

Returns:

this

nothingIfGoal

public IGetCertainTransitions.FilterOptions nothingIfGoal()

Will return an empty list if the current state satisfies the hard objectives.

Returns:

this

untraversedOnly

public IGetCertainTransitions.FilterOptions untraversedOnly()

Will return only untraversed transitions.

Returns:

this

withRuleFilter

public IGetCertainTransitions.FilterOptions withRuleFilter(DSETransformationRule<?,?> rule)

Will return transitions derived from the given rule. Multiple rules can be given.

Parameters:

rule - of the transitions to return

Returns:

this

containsRule

public boolean containsRule(DSETransformationRule<?,?> rule)

Checks if the given rule is already in the filter list. If the filter list is empty, it will evaluate to true.

Parameters:

rule -

Returns:

True if it contains the rule or no rule was specified. False otherwise.