Package org.bigraphs.framework.core.reactivesystem

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

java.lang.Object

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

Direct Known Subclasses:

ReactionGraphExtended

public class ReactionGraph<B extends Bigraph<? extends Signature<?>>>
extends AbstractTransitionSystem<B>

An "extended" data structure to build up a "reaction graph", analogous to a labeled transition system. It extends the abstract base class AbstractTransitionSystem.

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.

Here the transition relations are reaction rules (i.e., the redex), and the nodes are states (i.e., bigraphs, represented by their unique string encoding).

Author:

Dominik Grzelak

Nested Class Summary

Nested Classes

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

Field Summary

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

aSup, canonicalNodeLabel, 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, B reaction, String reactionLbl)
ReactionGraph<B>	addPredicateMatchToNode(ReactionGraph.LabeledNode node, ReactiveSystemPredicate<B> predicates)
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

addState, addTransition, containsBigraph, createSupplier, getStateMap, getTransitionMap

Methods inherited from class java.lang.Object

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

Constructor Details

ReactionGraph

public ReactionGraph()

Method Details

createNode

protected ReactionGraph.LabeledNode createNode(String label)

addEdge

public void addEdge(B source,
 String sourceLbl,
 B target,
 String targetLbl,
 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()