Package org.bigraphs.framework.simulation.modelchecking

Interface ReactionRuleFilter<B extends Bigraph<? extends Signature<?>>>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface ReactionRuleFilter<B extends Bigraph<? extends Signature<?>>>

Method Summary

Modifier and Type	Method	Description
boolean	accept(ReactionRule<B> rule, B agent)
static <B extends Bigraph<? extends Signature<?>>> ReactionRuleFilter<B>	alwaysAccept()
default ReactionRuleFilter<B>	and(ReactionRuleFilter<B> other)
default ReactionRuleFilter<B>	negate()
default ReactionRuleFilter<B>	or(ReactionRuleFilter<B> other)

Method Details

alwaysAccept

static <B extends Bigraph<? extends Signature<?>>>
ReactionRuleFilter<B> alwaysAccept()

accept

boolean accept(ReactionRule<B> rule,
 B agent)

Returns:

true if this rule should be considered for the given agent

and

default ReactionRuleFilter<B> and(ReactionRuleFilter<B> other)

or

default ReactionRuleFilter<B> or(ReactionRuleFilter<B> other)

negate

default ReactionRuleFilter<B> negate()