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

package org.bigraphs.framework.core.reactivesystem.analysis

Related Packages

Package	Description
org.bigraphs.framework.core.reactivesystem

Classes

Class	Description
ReactionGraphAnalysis<B extends Bigraph<? extends Signature<?>>>	This class provides various analysis methods/operations based on labelled transition system, specifically, for the ReactionGraph 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