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

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

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

Constructor Summary

Constructors

Constructor	Description
StateTrace(List<B> path, List<String> stateLabels)

Method Summary

Modifier and Type	Method	Description
List<B>	getPath()
List<String>	getStateLabels()

Methods inherited from class java.lang.Object

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

Constructor Details

StateTrace

public StateTrace(List<B> path,
 List<String> stateLabels)

Method Details

getPath

public List<B> getPath()

getStateLabels

public List<String> getStateLabels()