Package org.bigraphs.framework.core.reactivesystem

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

java.lang.Object

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

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

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

Type Parameters:

B -

All Implemented Interfaces:

Serializable

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

This class represents a "collapsed", "reduced" reaction graph, possibly consolidated by a minimization algorithm (e.g., bisim minimization). The states of a graph are ReactionGraph.CollapsedLabeledNode, and the edges are of type ReactionGraph.CollapsedLabeledEdge. Collapsed nodes and edges contain the original nodes and edges before aggregation. Collapsed nodes and edges have a new label. The label and the canonical form are equal.

See Also:

• Serialized Form

Nested Class Summary

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

ReactionGraph.CanonicalLabeledNode, ReactionGraph.CollapsedLabeledEdge, ReactionGraph.CollapsedLabeledNode, ReactionGraph.DefaultLabeledNode, ReactionGraph.LabeledEdge, ReactionGraph.LabeledNode

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

AbstractTransitionSystem.Transition

Field Summary

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

graph

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

aSup, canonicalNodeLabel, initialStateLabels, stateMap, transitionMap

Constructor Summary

Constructors

Constructor	Description
ReactionGraphCollapsed()

Method Summary

Modifier and Type	Method	Description
void	addEdge(B source, String sourceLbl, B target, String targetLbl, BMatchResult<B> reaction, String reactionLbl)

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

addPredicateMatchToNode, collapseNodes, createNode, getGraph, getGraphStats, getLabeledNodeByCanonicalForm, getPredicateMatches, isEmpty, reset, setCanonicalNodeLabel

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

Constructor Details

ReactionGraphCollapsed

public ReactionGraphCollapsed()

Method Details

addEdge

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

Overrides:

addEdge in class ReactionGraph<B extends Bigraph<? extends Signature<?>>>