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 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 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)

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 <M extends BigraphMatch<B>> MatchIterable<M>	AbstractBigraphMatcher.match(B agent, ReactionRule<B> rule)

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

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.
<M extends BigraphMatch<PureBigraph>> MatchIterable<M>	PureBigraphMatcher.match(PureBigraph agent, ReactionRule<PureBigraph> rule)

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

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

Modifier and Type	Method	Description
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).

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)