Package org.bigraphs.framework.simulation.equivalence

Class ReactionGraphExtended<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.simulation.equivalence.ReactionGraphExtended<B>

Type Parameters:

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

All Implemented Interfaces:

Serializable

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

This is a "wrapper" class that extends the basic reaction graph structure ReactionGraph, and contains an instance of the behavioral equivalence mixin implementation of BehavioralEquivalenceMixin. This allows us to delegate calls to the extended method to the mixin. For instance, to compute bisimilarity.

Note: Better is a dynamic mixin implementation at run-time.

Author:

Dominik Grzelak

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
ReactionGraphExtended(BehavioralEquivalenceMixin<ReactionGraphExtended<B>> mixin)

Method Summary

Modifier and Type	Method	Description
boolean	isEquivalentTo(ReactionGraphExtended<B> transitionSystem)

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

addEdge, 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

ReactionGraphExtended

public ReactionGraphExtended(BehavioralEquivalenceMixin<ReactionGraphExtended<B>> mixin)

Method Details

isEquivalentTo

public boolean isEquivalentTo(ReactionGraphExtended<B> transitionSystem)