Package org.bigraphs.framework.core.reactivesystem.analysis

Class ReactionGraphAnalysis<B extends Bigraph<? extends Signature<?>>>

java.lang.Object

org.bigraphs.framework.core.reactivesystem.analysis.ReactionGraphAnalysis<B>

Type Parameters:

B - type of the bigraph

public class ReactionGraphAnalysis<B extends Bigraph<? extends Signature<?>>>
extends Object

This class provides various analysis methods/operations based on labelled transition system, specifically, for the ReactionGraph class.

Instantiation is provided via a factory method createInstance().

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ReactionGraphAnalysis.StateTrace<B extends Bigraph<? extends Signature<?>>>	Object containing one path from a state v of a reaction graph to one leave of the subtree rooted at state v

Method Summary

Modifier and Type	Method	Description
static <B extends Bigraph<? extends Signature<?>>> ReactionGraphAnalysis<B>	createInstance()	Create an instance of ReactionGraphAnalysis.
List<ReactionGraphAnalysis.StateTrace<B>>	findAllPathsInGraphToLeaves(ReactionGraph<B> reactionGraph)
static Function<ReactionGraph.LabeledNode,Boolean>	isLeaf(org.jgrapht.Graph<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge> jGraph)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

createInstance

public static <B extends Bigraph<? extends Signature<?>>>
ReactionGraphAnalysis<B> createInstance()

Create an instance of ReactionGraphAnalysis.

Type Parameters:

B - type of the bigraph

Returns:

an object of type ReactionGraphAnalysis

findAllPathsInGraphToLeaves

public List<ReactionGraphAnalysis.StateTrace<B>> findAllPathsInGraphToLeaves(ReactionGraph<B> reactionGraph)

isLeaf

public static Function<ReactionGraph.LabeledNode,Boolean> isLeaf(org.jgrapht.Graph<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge> jGraph)