Uses of Interface
org.bigraphs.framework.core.reactivesystem.ReactionRule

Packages that use ReactionRule

Package	Description
org.bigraphs.framework.core.reactivesystem
org.bigraphs.framework.simulation.matching
org.bigraphs.framework.simulation.matching.pure
org.bigraphs.framework.simulation.modelchecking
org.bigraphs.framework.simulation.modelchecking.reactions

Uses of ReactionRule in org.bigraphs.framework.core.reactivesystem

Classes in org.bigraphs.framework.core.reactivesystem with type parameters of type ReactionRule

Modifier and Type	Class	Description
class	ReactionRuleComposer<R extends ReactionRule<?>>	Utility class to compose reaction rules into a new single rule.

Classes in org.bigraphs.framework.core.reactivesystem that implement ReactionRule

Modifier and Type	Class	Description
class	AbstractReactionRule<B extends Bigraph<? extends Signature<?>>>	This base class represents an immutable data structure for all kinds of reaction rules.
static class	AbstractReactionRule.ReactiveSystemBoundReactionRule<B extends Bigraph<? extends Signature<?>>>
class	ConditionalParametricRuleDecorator<B extends Bigraph<? extends Signature<?>>>
class	GroundReactionRule<B extends Bigraph<? extends Signature<?>>>	Concrete implementation of a ground reaction rule.
class	ParametricReactionRule<B extends Bigraph<? extends Signature<?>>>	Concrete implementation of a parametric reaction rule.

Fields in org.bigraphs.framework.core.reactivesystem with type parameters of type ReactionRule

Modifier and Type	Field	Description
protected com.google.common.collect.BiMap<String,ReactionRule<B>>	AbstractSimpleReactiveSystem.reactionRules

Methods in org.bigraphs.framework.core.reactivesystem that return ReactionRule

Modifier and Type	Method	Description
ReactionRule<B>	BMatchResult.getReactionRule()

Methods in org.bigraphs.framework.core.reactivesystem that return types with arguments of type ReactionRule

Modifier and Type	Method	Description
Set<ReactionRule<B>>	AbstractSimpleReactiveSystem.getReactionRules()
Collection<ReactionRule<B>>	ReactiveSystem.getReactionRules()	Return the labels of the transition system which are called reaction rules for BRS.
com.google.common.collect.BiMap<String,ReactionRule<B>>	AbstractSimpleReactiveSystem.getReactionRulesMap()
com.google.common.collect.BiMap<String,ReactionRule<B>>	ReactiveSystem.getReactionRulesMap()

Methods in org.bigraphs.framework.core.reactivesystem with parameters of type ReactionRule

Modifier and Type	Method	Description
boolean	AbstractSimpleReactiveSystem.addReactionRule(ReactionRule<B> reactionRule)
void	AbstractSimpleReactiveSystem.assertNoIdleOuterName(ReactionRule<B> reactionRule)	Throws an InvalidReactionRuleException if an outer name of a given redex is idle (i.e., not connected to a point of the redex).
void	AbstractSimpleReactiveSystem.assertParametricRedexIsSimple(ReactionRule<B> reactionRule)	Checks if a parametric redex is simple.
abstract B	AbstractSimpleReactiveSystem.buildGroundReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)
B	AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem.buildGroundReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)
B	ReactiveSystem.buildGroundReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)
abstract B	AbstractSimpleReactiveSystem.buildParametricReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)
B	AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem.buildParametricReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)
B	ReactiveSystem.buildParametricReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)
boolean	ConditionalParametricRuleDecorator.RuleConditionMatcher.conditionIsSatisfied(B theAgent, ReactionRule<B> theRule, BigraphMatch<B> match)
boolean	ConditionalParametricRuleDecorator.isMatchValid(B theAgent, ReactionRule<B> theRule, BigraphMatch<B> match)
R	ReactionRuleComposer.mergeProduct(ReactionRule<PureBigraph> left, ReactionRule<PureBigraph> right)	Computes the merge product of two reaction rules.
R	ReactionRuleComposer.parallelProduct(ReactionRule<PureBigraph> left, ReactionRule<PureBigraph> right)	This method composes two rules by using the parallel product.
protected R	ReactionRuleComposer.ruleProduct(ReactionRule<PureBigraph> left, ReactionRule<PureBigraph> right, ReactionRuleComposer.RuleProductOperation operation)

Uses of ReactionRule in org.bigraphs.framework.simulation.matching

Fields in org.bigraphs.framework.simulation.matching declared as ReactionRule

Modifier and Type	Field	Description
protected ReactionRule<B>	AbstractBigraphMatcher.rule

Methods in org.bigraphs.framework.simulation.matching with parameters of type ReactionRule

Modifier and Type	Method	Description
abstract MatchIterable<? extends BigraphMatch<B>>	AbstractBigraphMatcher.match(B agent, ReactionRule<B> rule)	Deprecated.
MatchIterable<? extends BigraphMatch<B>>	AbstractBigraphMatcher.matchAll(B agent, ReactionRule<B> rule)	Finds all matches of a specified reaction rule within a given pure bigraph.
protected MatchIterable<? extends BigraphMatch<B>>	AbstractBigraphMatcher.matchAllInternal(B agent, ReactionRule<B> rule, boolean firstOnly)
MatchIterable<? extends BigraphMatch<B>>	AbstractBigraphMatcher.matchFirst(B agent, ReactionRule<B> rule)	Finds the first match of a specified reaction rule within a given pure bigraph.

Uses of ReactionRule in org.bigraphs.framework.simulation.matching.pure

Fields in org.bigraphs.framework.simulation.matching.pure declared as ReactionRule

Modifier and Type	Field	Description
protected ReactionRule<PureBigraph>	PureBigraphMatchingEngine.reactionRule

Methods in org.bigraphs.framework.simulation.matching.pure with parameters of type ReactionRule

Modifier and Type	Method	Description
PureBigraph	PureReactiveSystem.buildGroundReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
PureBigraph	PureReactiveSystem.buildParametricReaction(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule)
protected final it.uniud.mads.jlibbig.core.std.Bigraph	PureReactiveSystem.instantiateReactum(it.uniud.mads.jlibbig.core.std.Match match, ReactionRule<PureBigraph> rule)	Instantiates rule's reactum with respect to the given match.
protected final it.uniud.mads.jlibbig.core.std.Bigraph	PureReactiveSystem.instantiateReactumV2(it.uniud.mads.jlibbig.core.std.Match match, ReactionRule<PureBigraph> rule)
MatchIterable<PureBigraphMatch>	PureBigraphMatcher.match(PureBigraph agent, ReactionRule<PureBigraph> rule)	Deprecated.
MatchIterable<PureBigraphMatch>	PureBigraphMatcher.matchAll(PureBigraph agent, ReactionRule<PureBigraph> rule)
MatchIterable<PureBigraphMatch>	PureBigraphMatcher.matchFirst(PureBigraph agent, ReactionRule<PureBigraph> rule)	Finds the first match of a specified reaction rule within a given pure bigraph.

Constructors in org.bigraphs.framework.simulation.matching.pure with parameters of type ReactionRule

Modifier	Constructor	Description
protected	PureBigraphMatchingEngine(PureBigraph agent, ReactionRule<PureBigraph> reactionRule)

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

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

Modifier and Type	Method	Description
ReactionRule<B>	ModelCheckingStrategySupport.MatchResult.getReactionRule()

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

Modifier and Type	Method	Description
boolean	ReactionRuleFilter.accept(ReactionRule<B> rule, B agent)
protected MatchIterable<BigraphMatch<B>>	BFSFirstMatchStrategy.getBigraphMatches(ReactionRule<B> rule, B theAgent)	Return only the first match
protected MatchIterable<BigraphMatch<B>>	DFSFirstMatchStrategy.getBigraphMatches(ReactionRule<B> rule, B theAgent)	Return only the first match
protected MatchIterable<BigraphMatch<B>>	ModelCheckingStrategySupport.getBigraphMatches(ReactionRule<B> rule, B theAgent)	Retrieves all matches of the given reaction rule for the provided agent bigraph.
default void	BigraphModelChecker.ReactiveSystemListener.onCheckingReactionRule(ReactionRule<B> reactionRule)
default void	BigraphModelChecker.ReactiveSystemListener.onUpdateReactionRuleApplies(B agent, ReactionRule<B> reactionRule, BigraphMatch<B> matchResult)	This method is called within a running simulation (i.e., model checking operation), when the redex of a reaction rule could be matched within the host bigraph (i.e., the last active agent of the reactive system).

Constructors in org.bigraphs.framework.simulation.modelchecking with parameters of type ReactionRule

Modifier	Constructor	Description
	MatchResult(ReactionRule<B> reactionRule, BigraphMatch<B> next, B bigraph, String bfcf, int occurrenceCount)

Uses of ReactionRule in org.bigraphs.framework.simulation.modelchecking.reactions

Fields in org.bigraphs.framework.simulation.modelchecking.reactions with type parameters of type ReactionRule

Modifier and Type	Field	Description
protected final org.eclipse.collections.api.list.ImmutableList<ReactionRule<B>>	AbstractReactionRuleSupplier.availableRules

Methods in org.bigraphs.framework.simulation.modelchecking.reactions that return ReactionRule

Modifier and Type	Method	Description
ReactionRule<B>	InOrderReactionRuleSupplier.get()

Methods in org.bigraphs.framework.simulation.modelchecking.reactions that return types with arguments of type ReactionRule

Modifier and Type	Method	Description
List<ReactionRule<B>>	AbstractReactionRuleSupplier.getAvailableRules()

Method parameters in org.bigraphs.framework.simulation.modelchecking.reactions with type arguments of type ReactionRule

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> InOrderReactionRuleSupplier<B>	AbstractReactionRuleSupplier.createInOrder(Collection<ReactionRule<B>> availableRules)

Constructor parameters in org.bigraphs.framework.simulation.modelchecking.reactions with type arguments of type ReactionRule

Modifier	Constructor	Description
protected	AbstractReactionRuleSupplier(Collection<ReactionRule<B>> availableRules)