Uses of Class
org.bigraphs.framework.core.reactivesystem.analysis.ReactionGraphAnalysis.StateTrace
-
Uses of ReactionGraphAnalysis.StateTrace in org.bigraphs.framework.core.reactivesystem.analysis
Modifier and TypeMethodDescriptionReactionGraphAnalysis.findAllPathsInGraphToLeaves
(ReactionGraph<B> reactionGraph)