java.lang.Object
org.bigraphs.framework.core.reactivesystem.analysis.ReactionGraphAnalysis.StateTrace<B>
- Type Parameters:
B
-
- Enclosing class:
- ReactionGraphAnalysis<B extends Bigraph<? extends Signature<?>>>
public static class ReactionGraphAnalysis.StateTrace<B extends Bigraph<? extends Signature<?>>>
extends Object
Object containing one path from a state v of a reaction graph to one leave of the subtree rooted at state v
Both lists share the same index set to map from a bigraph state to the state label and vice versa.
- Author:
- Dominik Grzelak
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
StateTrace
-
-
Method Details
-
getPath
-
getStateLabels
-