Uses of Class
org.bigraphs.framework.simulation.matching.MatchIterable
Packages that use MatchIterable
Package
Description
-
Uses of MatchIterable in org.bigraphs.framework.simulation.matching
Methods in org.bigraphs.framework.simulation.matching that return MatchIterableModifier and TypeMethodDescriptionabstract <M extends BigraphMatch<B>>
MatchIterable<M> AbstractBigraphMatcher.match(B agent, ReactionRule<B> rule) -
Uses of MatchIterable in org.bigraphs.framework.simulation.matching.pure
Methods in org.bigraphs.framework.simulation.matching.pure that return MatchIterableModifier and TypeMethodDescription<M extends BigraphMatch<PureBigraph>>
MatchIterable<M> PureBigraphMatcher.match(PureBigraph agent, ReactionRule<PureBigraph> rule) Deprecated.<M extends BigraphMatch<PureBigraph>>
MatchIterable<M> PureBigraphMatcher.matchAll(PureBigraph agent, ReactionRule<PureBigraph> rule) <M extends BigraphMatch<?>>
MatchIterable<M> PureBigraphMatcher.matchFirst(PureBigraph agent, ReactionRule<PureBigraph> rule) -
Uses of MatchIterable in org.bigraphs.framework.simulation.modelchecking
Methods in org.bigraphs.framework.simulation.modelchecking that return MatchIterableModifier and TypeMethodDescriptionprotected MatchIterable<BigraphMatch<B>> BFSFirstMatchStrategy.getBigraphMatches(ReactionRule<B> rule, B theAgent) Return only the first matchprotected MatchIterable<BigraphMatch<B>> DFSFirstMatchStrategy.getBigraphMatches(ReactionRule<B> rule, B theAgent) Return only the first matchprotected MatchIterable<BigraphMatch<B>> ModelCheckingStrategySupport.getBigraphMatches(ReactionRule<B> rule, B theAgent) Retrieves all matches of the given reaction rule for the provided agent bigraph.