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

Packages that use ReactionGraph.LabeledEdge

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

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

Methods in org.bigraphs.framework.core.reactivesystem that return types with arguments of type ReactionGraph.LabeledEdge

Modifier and Type	Method	Description
org.jgrapht.Graph<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge>	ReactionGraph.getGraph()	Get the data structure of the reaction graph

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

Method parameters in org.bigraphs.framework.core.reactivesystem.analysis with type arguments of type ReactionGraph.LabeledEdge

Modifier and Type	Method	Description
static Function<ReactionGraph.LabeledNode,Boolean>	ReactionGraphAnalysis.isLeaf(org.jgrapht.Graph<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge> jGraph)

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

Method parameters in org.bigraphs.framework.simulation.modelchecking with type arguments of type ReactionGraph.LabeledEdge

Modifier and Type	Method	Description
default void	BigraphModelChecker.ReactiveSystemListener.onPredicateViolated(B currentAgent, ReactiveSystemPredicate<B> predicate, org.jgrapht.GraphPath<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge> counterExampleTrace)	Reports a violation of a predicate and supplies a counterexample trace from the initial state to the violating state.

Uses of ReactionGraph.LabeledEdge in org.bigraphs.framework.visualization

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

Modifier and Type	Method	Description
HashMap<com.mxgraph.model.mxICell,ReactionGraph.LabeledEdge>	mxReactionGraph.getCellToEdgeMap()	Returns Hashmap which maps the visualization mxICells onto their edges.
HashMap<ReactionGraph.LabeledEdge,com.mxgraph.model.mxICell>	mxReactionGraph.getEdgeToCellMap()	Returns Hashmap which maps the edges onto their visualization mxICells.

Method parameters in org.bigraphs.framework.visualization with type arguments of type ReactionGraph.LabeledEdge

Modifier and Type	Method	Description
void	mxReactionGraph.edgeAdded(org.jgrapht.event.GraphEdgeChangeEvent<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge> e)
void	mxReactionGraph.edgeRemoved(org.jgrapht.event.GraphEdgeChangeEvent<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge> e)