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

Packages that use BMatchResult

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

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

Methods in org.bigraphs.framework.core.reactivesystem that return types with arguments of type BMatchResult

Modifier and Type	Method	Description
List<BMatchResult<? extends Bigraph<? extends Signature<?>>>>	AbstractTransitionSystem.Transition.getMatchResults()

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

Modifier and Type	Method	Description
void	ReactionGraph.addEdge(B source, String sourceLbl, B target, String targetLbl, BMatchResult<B> reaction, String reactionLbl)
void	ReactionGraphCollapsed.addEdge(B source, String sourceLbl, B target, String targetLbl, BMatchResult<B> reaction, String reactionLbl)

Constructor parameters in org.bigraphs.framework.core.reactivesystem with type arguments of type BMatchResult

Modifier	Constructor	Description
	Transition(B source, B target, String label, List<BMatchResult<? extends Bigraph<? extends Signature<?>>>> matchResults)

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

Classes in org.bigraphs.framework.simulation.modelchecking that implement BMatchResult

Modifier and Type	Class	Description
static class	ModelCheckingStrategySupport.MatchResult<B extends Bigraph<? extends Signature<?>>>