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

Packages that use ReactionGraph

Package	Description
org.bigraphs.framework.core.reactivesystem
org.bigraphs.framework.core.reactivesystem.analysis
org.bigraphs.framework.simulation.equivalence
org.bigraphs.framework.simulation.modelchecking
org.bigraphs.framework.visualization

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

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

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

Modifier and Type	Class	Description
class	ReactionGraphExtended<B extends Bigraph<? extends Signature<?>>>	This is a "wrapper" class that extends the basic reaction graph structure ReactionGraph, and contains an instance of the behavioral equivalence mixin implementation of BehavioralEquivalenceMixin.

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<?>>	ReactionGraphExporter.with(GraphicalFeatureSupplier<?> supplier)

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

Modifier and Type	Method	Description
void	ReactionGraphExporter.toPNG(ReactionGraph<?> 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)	Constructs and draws a new mxGraph from a jGraphT graph.