Uses of Class
org.bigraphs.framework.core.reactivesystem.ReactionGraph

Packages that use ReactionGraph

Package	Description
org.bigraphs.framework.converter.dot
org.bigraphs.framework.core.reactivesystem
org.bigraphs.framework.core.reactivesystem.analysis
org.bigraphs.framework.simulation.equivalence
org.bigraphs.framework.simulation.equivalence.adapter	This package contains adapters for external Java libraries related to analysis, transition systems, etc.
org.bigraphs.framework.simulation.modelchecking
org.bigraphs.framework.visualization

Uses of ReactionGraph in org.bigraphs.framework.converter.dot

Methods in org.bigraphs.framework.converter.dot with parameters of type ReactionGraph

Modifier and Type	Method	Description
void	DOTReactionGraphExporter.toOutputStream(ReactionGraph<?> transitionSystem, OutputStream outputStream)
String	DOTReactionGraphExporter.toString(ReactionGraph<?> transitionSystem)

Uses of ReactionGraph in org.bigraphs.framework.core.reactivesystem

Subclasses of ReactionGraph in org.bigraphs.framework.core.reactivesystem

Modifier and Type	Class	Description
class	ReactionGraphCollapsed<B extends Bigraph<? extends Signature<?>>>	This class represents a "collapsed", "reduced" reaction graph, possibly consolidated by a minimization algorithm (e.g., bisim minimization).

Methods in org.bigraphs.framework.core.reactivesystem that return ReactionGraph

Modifier and Type	Method	Description
ReactionGraph<B>	ReactionGraph.addPredicateMatchToNode(ReactionGraph.LabeledNode node, ReactiveSystemPredicate<B> predicates)
ReactionGraph<B>	AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem.getReactionGraph()
ReactionGraph<B>	ReactionGraph.setCanonicalNodeLabel(boolean canonicalNodeLabel)

Constructors in org.bigraphs.framework.core.reactivesystem with parameters of type ReactionGraph

Modifier	Constructor	Description
	ReactionGraphStats(ReactionGraph<B> reactionGraph)
	TransitionSystemBoundSimpleReactiveSystem(ReactionGraph<B> reactionGraph, AbstractSimpleReactiveSystem<B> reactiveSystem)

Uses of ReactionGraph in org.bigraphs.framework.core.reactivesystem.analysis

Methods in org.bigraphs.framework.core.reactivesystem.analysis with parameters of type ReactionGraph

Modifier and Type	Method	Description
List<ReactionGraphAnalysis.StateTrace<B>>	ReactionGraphAnalysis.findAllPathsInGraphToLeaves(ReactionGraph<B> reactionGraph)

Uses of ReactionGraph in org.bigraphs.framework.simulation.equivalence

Classes in org.bigraphs.framework.simulation.equivalence with type parameters of type ReactionGraph

Modifier and Type	Class	Description
class	BisimulationCheckerSupport<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	This implementation provides a basic extensible (template) method for computing bisimilarity of LTSs.
class	BisimulationMixinImpl<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	Bisimulation checks whether two labeled transition systems exhibit the same behavior: every sequence of visible actions in one system can be matched by the other.

Uses of ReactionGraph in org.bigraphs.framework.simulation.equivalence.adapter

Classes in org.bigraphs.framework.simulation.equivalence.adapter with type parameters of type ReactionGraph

Modifier and Type	Class	Description
class	BighuggiesBisimulationProcessAdapter<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	The "bighuggies:bisimulation" library computes bisimilarity for two LTSs.

Uses of ReactionGraph in org.bigraphs.framework.simulation.modelchecking

Methods in org.bigraphs.framework.simulation.modelchecking that return ReactionGraph

Modifier and Type	Method	Description
ReactionGraph<B>	BigraphModelChecker.getReactionGraph()

Methods in org.bigraphs.framework.simulation.modelchecking that return types with arguments of type ReactionGraph

Modifier and Type	Method	Description
Future<ReactionGraph<B>>	BigraphModelChecker.executeAsync()	Asynchronously start the simulation based on the provided reactive system and options.

Methods in org.bigraphs.framework.simulation.modelchecking with parameters of type ReactionGraph

Modifier and Type	Method	Description
void	BigraphModelChecker.exportReactionGraph(ReactionGraph<B> reactionGraph)

Uses of ReactionGraph in org.bigraphs.framework.visualization

Methods in org.bigraphs.framework.visualization that return types with arguments of type ReactionGraph

Modifier and Type	Method	Description
BigraphGraphicsExporter<ReactionGraph<B>>	ReactionGraphExporter.with(GraphicalFeatureSupplier<?> supplier)

Methods in org.bigraphs.framework.visualization with parameters of type ReactionGraph

Modifier and Type	Method	Description
void	ReactionGraphExporter.toPNG(ReactionGraph<B> bReactionGraph, File file)	Exports a reaction graph as a PNG file.

Constructors in org.bigraphs.framework.visualization with parameters of type ReactionGraph

Modifier	Constructor	Description
	mxReactionGraph(ReactionGraph reactionGraph, ReactiveSystem reactiveSystem, boolean useSimpleStateLabel)	Constructs and draws a new mxGraph from a jGraphT graph.