Uses of Interface
org.bigraphs.framework.core.reactivesystem.BigraphMatch
Package
Description
-
Uses of BigraphMatch in org.bigraphs.framework.core.reactivesystem
Modifier and TypeMethodDescriptionabstract B
AbstractSimpleReactiveSystem.buildGroundReaction
(B agent, BigraphMatch<B> match, ReactionRule<B> rule) AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem.buildGroundReaction
(B agent, BigraphMatch<B> match, ReactionRule<B> rule) ReactiveSystem.buildGroundReaction
(B agent, BigraphMatch<B> match, ReactionRule<B> rule) abstract B
AbstractSimpleReactiveSystem.buildParametricReaction
(B agent, BigraphMatch<B> match, ReactionRule<B> rule) AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem.buildParametricReaction
(B agent, BigraphMatch<B> match, ReactionRule<B> rule) 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 BigraphMatch in org.bigraphs.framework.simulation.matching
Modifier and TypeClassDescriptionclass
MatchIterable<T extends BigraphMatch<? extends Bigraph<?>>>
Custom iterable implementation for matches of typeBigraphMatch
.Modifier and TypeMethodDescriptionabstract <M extends BigraphMatch<B>>
MatchIterable<M>AbstractBigraphMatcher.match
(B agent, ReactionRule<B> rule) Modifier and TypeMethodDescriptionCollection<? extends BigraphMatch<B>>
BigraphMatchingEngine.getMatches()
-
Uses of BigraphMatch in org.bigraphs.framework.simulation.matching.pure
Modifier and TypeClassDescriptionclass
This class represents the result of a valid match.Modifier and TypeMethodDescription<M extends BigraphMatch<PureBigraph>>
MatchIterable<M>PureBigraphMatcher.match
(PureBigraph agent, ReactionRule<PureBigraph> rule) Modifier and TypeMethodDescriptionPureReactiveSystem.buildGroundReaction
(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule) PureReactiveSystem.buildParametricReaction
(PureBigraph agent, BigraphMatch<PureBigraph> match, ReactionRule<PureBigraph> rule) -
Uses of BigraphMatch in org.bigraphs.framework.simulation.modelchecking
Modifier and TypeMethodDescriptiondefault 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).