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

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

Modifier and Type	Class	Description
static class	ReactionGraph.CollapsedLabeledEdge

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

Modifier and Type	Field	Description
protected org.jgrapht.Graph<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge>	ReactionGraph.graph

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

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

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

Modifier and Type	Method	Description
void	ReactionGraph.CollapsedLabeledEdge.setCollapsedEdges(List<ReactionGraph.LabeledEdge> collapsedEdges)

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

Modifier	Constructor	Description
	CollapsedLabeledEdge(String label, List<ReactionGraph.LabeledEdge> collapsedEdges)

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)