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

Packages that use ReactionGraph.LabeledNode

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.LabeledNode in org.bigraphs.framework.core.reactivesystem

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

Modifier and Type	Class	Description
static class	ReactionGraph.CanonicalLabeledNode
static class	ReactionGraph.DefaultLabeledNode

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

Modifier and Type	Method	Description
protected ReactionGraph.LabeledNode	ReactionGraph.createNode(String label)

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

Modifier and Type	Method	Description
org.jgrapht.Graph<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge>	ReactionGraph.getGraph()	Get the data structure of the reaction graph
Optional<ReactionGraph.LabeledNode>	ReactionGraph.getLabeledNodeByCanonicalForm(String canonicalForm)
Map<ReactionGraph.LabeledNode,Set<ReactiveSystemPredicate<B>>>	ReactionGraph.getPredicateMatches()

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

Modifier and Type	Method	Description
ReactionGraph<B>	ReactionGraph.addPredicateMatchToNode(ReactionGraph.LabeledNode node, ReactiveSystemPredicate<B> predicates)

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

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

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

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

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

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

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

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.LabeledNode in org.bigraphs.framework.visualization

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

Modifier and Type	Method	Description
HashMap<com.mxgraph.model.mxICell,ReactionGraph.LabeledNode>	mxReactionGraph.getCellToVertexMap()	Returns Hashmap which maps the visualization mxICells onto their vertices.
HashMap<ReactionGraph.LabeledNode,com.mxgraph.model.mxICell>	mxReactionGraph.getVertexToCellMap()	Returns Hashmap which maps the vertices onto their visualization mxICells.

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

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)
void	mxReactionGraph.vertexAdded(org.jgrapht.event.GraphVertexChangeEvent<ReactionGraph.LabeledNode> e)
void	mxReactionGraph.vertexRemoved(org.jgrapht.event.GraphVertexChangeEvent<ReactionGraph.LabeledNode> e)