Package org.bigraphs.framework.core.reactivesystem

Class ReactionGraph<B extends Bigraph<? extends Signature<?>>>

java.lang.Object

org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem<B,BMatchResult<B>>

org.bigraphs.framework.core.reactivesystem.ReactionGraph<B>

Type Parameters:

B - the type of the bigraph of the states and transition relations of the transition system

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

ReactionGraphCollapsed, ReactionGraphExtended

public class ReactionGraph<B extends Bigraph<? extends Signature<?>>>
extends AbstractTransitionSystem<B,BMatchResult<B>>
implements Serializable

This data structure represents a "reaction graph", analogous to a labeled transition system. It extends the abstract base class AbstractTransitionSystem. Its states are bigraphs, and its transition relations are reaction rules of the same bigraph class type.

A reaction graph is not to be confused with the notion of minimal LTSs in bigraphs. This reaction graph has no minimal context labels as transitions; it has reactions as labels.

The canonical string encoding of a bigraph is also stored here.

Author:

Dominik Grzelak

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ReactionGraph.CanonicalLabeledNode
static class	ReactionGraph.CollapsedLabeledEdge
static class	ReactionGraph.CollapsedLabeledNode
static class	ReactionGraph.DefaultLabeledNode
static class	ReactionGraph.LabeledEdge
static class	ReactionGraph.LabeledNode

Nested classes/interfaces inherited from class org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem

AbstractTransitionSystem.Transition

Field Summary

Fields

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

Fields inherited from class org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem

aSup, canonicalNodeLabel, initialStateLabels, stateMap, transitionMap

Constructor Summary

Constructors

Constructor	Description
ReactionGraph()

Method Summary

Modifier and Type	Method	Description
void	addEdge(B source, String sourceLbl, B target, String targetLbl, BMatchResult<B> reaction, String reactionLbl)
ReactionGraph<B>	addPredicateMatchToNode(ReactionGraph.LabeledNode node, ReactiveSystemPredicate<B> predicates)
protected ReactionGraph.CollapsedLabeledNode	collapseNodes(String newLabel, ReactionGraph.LabeledNode... labeledNodes)
protected ReactionGraph.LabeledNode	createNode(String label)
org.jgrapht.Graph<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge>	getGraph()	Get the data structure of the reaction graph
ReactionGraphStats<B>	getGraphStats()	Get an object containing some informative statistics of the reaction graph
Optional<ReactionGraph.LabeledNode>	getLabeledNodeByCanonicalForm(String canonicalForm)
Map<ReactionGraph.LabeledNode,Set<ReactiveSystemPredicate<B>>>	getPredicateMatches()
boolean	isEmpty()
void	reset()
ReactionGraph<B>	setCanonicalNodeLabel(boolean canonicalNodeLabel)

Methods inherited from class org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem

addInitialStateLabels, addState, addTransition, containsBigraph, createSupplier, getInitialStateLabels, getLabelByState, getStateByLabel, getStateMap, getStates, getStatesWithoutFinalStates, getTransitionMap, getTransitionRelations, getTransitions, removeState

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

graph

protected org.jgrapht.Graph<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge> graph

Constructor Details

ReactionGraph

public ReactionGraph()

Method Details

createNode

protected ReactionGraph.LabeledNode createNode(String label)

collapseNodes

protected ReactionGraph.CollapsedLabeledNode collapseNodes(String newLabel,
 ReactionGraph.LabeledNode... labeledNodes)

addEdge

public void addEdge(B source,
 String sourceLbl,
 B target,
 String targetLbl,
 BMatchResult<B> reaction,
 String reactionLbl)

getLabeledNodeByCanonicalForm

public Optional<ReactionGraph.LabeledNode> getLabeledNodeByCanonicalForm(String canonicalForm)

setCanonicalNodeLabel

public ReactionGraph<B> setCanonicalNodeLabel(boolean canonicalNodeLabel)

getPredicateMatches

public Map<ReactionGraph.LabeledNode,Set<ReactiveSystemPredicate<B>>> getPredicateMatches()

reset

public void reset()

addPredicateMatchToNode

public ReactionGraph<B> addPredicateMatchToNode(ReactionGraph.LabeledNode node,
 ReactiveSystemPredicate<B> predicates)

getGraph

public org.jgrapht.Graph<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge> getGraph()

Get the data structure of the reaction graph

Returns:

the reaction graph

getGraphStats

public ReactionGraphStats<B> getGraphStats()

Get an object containing some informative statistics of the reaction graph

Returns:

some statistics about the reaction graph object

isEmpty

public boolean isEmpty()