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
final record	MatchIterable<T extends BigraphMatch<? extends Bigraph<?>>>	Custom iterable implementation for matches of type BigraphMatch.

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

Modifier and Type	Field	Description
protected org.eclipse.collections.api.list.MutableList<BigraphMatch<B>>	AbstractBigraphMatchIterator.matches

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

Modifier and Type	Method	Description
BigraphMatch<B>	AbstractBigraphMatchIterator.next()

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

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> MatchIterable<BigraphMatch<B>>	MatchIterable.emptyMatches()
Collection<? extends BigraphMatch<B>>	BigraphMatchingEngine.getMatches()
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.
static <B extends Bigraph<? extends Signature<?>>> MatchIterable<BigraphMatch<B>>	MatchIterable.singletonMatches(BigraphMatch<B> match)

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

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> MatchIterable<BigraphMatch<B>>	MatchIterable.singletonMatches(BigraphMatch<B> match)

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	PureBigraphMatch	This class represents the result of a valid match.

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 that return types with arguments of type BigraphMatch

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

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)