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

Packages that use BigraphMatch

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

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

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

Modifier and Type	Method	Description
BigraphMatch<B>	BMatchResult.getMatch()

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

Modifier and Type	Method	Description
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 BigraphMatch in org.bigraphs.framework.simulation.matching

Classes in org.bigraphs.framework.simulation.matching with type parameters of type BigraphMatch

Modifier and Type	Class	Description
class	MatchIterable<T extends BigraphMatch<? extends Bigraph<?>>>	Custom iterable implementation for matches of type BigraphMatch.

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

Modifier and Type	Method	Description
abstract <M extends BigraphMatch<B>> MatchIterable<M>	AbstractBigraphMatcher.match(B agent, ReactionRule<B> rule)

Methods in org.bigraphs.framework.simulation.matching that return types with arguments of type BigraphMatch

Modifier and Type	Method	Description
Collection<? extends BigraphMatch<B>>	BigraphMatchingEngine.getMatches()

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

Classes in org.bigraphs.framework.simulation.matching.pure that implement BigraphMatch

Modifier and Type	Class	Description
class	PureBigraphParametricMatch	This class represents the result of a valid match.

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

Modifier and Type	Method	Description
<M extends BigraphMatch<PureBigraph>> MatchIterable<M>	PureBigraphMatcher.match(PureBigraph agent, ReactionRule<PureBigraph> rule)

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

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)

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

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

Modifier and Type	Method	Description
BigraphMatch<B>	ModelCheckingStrategySupport.MatchResult.getMatch()

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

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

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