Class PureBigraphMatcher
java.lang.Object
org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher<PureBigraph>
org.bigraphs.framework.simulation.matching.pure.PureBigraphMatcher
PureBigraphMatcher is a concrete implementation of AbstractBigraphMatcher specialized for handling
pure bigraphs. It is responsible for executing matching operations between a pure bigraph agent
and a reaction rule. The matcher uses a PureBigraphMatchingEngine for processing the matches.
- Author:
- Dominik Grzelak
-
Field Summary
Fields inherited from class org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher
agent, LOGGER, redex, rule -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionProvide the matching engine for the specific bigraph type implemented by the subclassmatch(PureBigraph agent, ReactionRule<PureBigraph> rule) Deprecated.matchAll(PureBigraph agent, ReactionRule<PureBigraph> rule) Finds all matches of a specified reaction rule within a given pure bigraph.matchFirst(PureBigraph agent, ReactionRule<PureBigraph> rule) Finds the first match of a specified reaction rule within a given pure bigraph.Methods inherited from class org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher
create, getAgent, getRedex, matchAllInternal
-
Constructor Details
-
PureBigraphMatcher
public PureBigraphMatcher()
-
-
Method Details
-
instantiateEngine
Description copied from class:AbstractBigraphMatcherProvide the matching engine for the specific bigraph type implemented by the subclass- Specified by:
instantiateEnginein classAbstractBigraphMatcher<PureBigraph>- Returns:
- concrete bigraph matching engine
-
match
@Deprecated public MatchIterable<PureBigraphMatch> match(PureBigraph agent, ReactionRule<PureBigraph> rule) Deprecated.Description copied from class:AbstractBigraphMatcherUse matchAll instead of match(); or use matchFirst() (constrained variant)- Specified by:
matchin classAbstractBigraphMatcher<PureBigraph>
-
matchAll
Description copied from class:AbstractBigraphMatcherFinds all matches of a specified reaction rule within a given pure bigraph.- Overrides:
matchAllin classAbstractBigraphMatcher<PureBigraph>- Parameters:
agent- the pure bigraph in which to search for matches.rule- the reaction rule containing the redex to be matched against the agent.- Returns:
- an iterable collection of matches of type M found in the given pure bigraph agent.
-
matchFirst
public MatchIterable<PureBigraphMatch> matchFirst(PureBigraph agent, ReactionRule<PureBigraph> rule) Finds the first match of a specified reaction rule within a given pure bigraph.- Overrides:
matchFirstin classAbstractBigraphMatcher<PureBigraph>- Parameters:
agent- the pure bigraph in which to search for the first match.rule- the reaction rule containing the redex to be matched against the agent.- Returns:
- an iterable collection containing the first match of type M found in the given pure bigraph agent.
-