Uses of Interface
org.bigraphs.framework.simulation.modelchecking.ReactionRuleFilter

Packages that use ReactionRuleFilter

Package	Description
org.bigraphs.framework.simulation.modelchecking

Uses of ReactionRuleFilter in org.bigraphs.framework.simulation.modelchecking

Fields in org.bigraphs.framework.simulation.modelchecking declared as ReactionRuleFilter

Modifier and Type	Field	Description
protected ReactionRuleFilter<B>	ModelCheckingStrategySupport.reactionRuleFilter

Methods in org.bigraphs.framework.simulation.modelchecking that return ReactionRuleFilter

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> ReactionRuleFilter<B>	ReactionRuleFilter.alwaysAccept()
default ReactionRuleFilter<B>	ReactionRuleFilter.and(ReactionRuleFilter<B> other)
ReactionRuleFilter<B>	ModelCheckingStrategy.getReactionRuleFilter()
ReactionRuleFilter<B>	ModelCheckingStrategySupport.getReactionRuleFilter()	Returns the currently configured reaction rule filter.
default ReactionRuleFilter<B>	ReactionRuleFilter.negate()
default ReactionRuleFilter<B>	ReactionRuleFilter.or(ReactionRuleFilter<B> other)

Methods in org.bigraphs.framework.simulation.modelchecking with parameters of type ReactionRuleFilter

Modifier and Type	Method	Description
default ReactionRuleFilter<B>	ReactionRuleFilter.and(ReactionRuleFilter<B> other)
default ReactionRuleFilter<B>	ReactionRuleFilter.or(ReactionRuleFilter<B> other)
void	ModelCheckingStrategy.setReactionRuleFilter(ReactionRuleFilter<B> filter)
void	ModelCheckingStrategySupport.setReactionRuleFilter(ReactionRuleFilter<B> filter)	Sets the reaction rule filter used during rule exploration.