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:
-
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.LabeledNodeNested 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
graphFields inherited from class org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem
aSup, canonicalNodeLabel, initialStateLabels, stateMap, transitionMap -
Constructor Summary
ConstructorsConstructorDescription -
Method Summary
Modifier and TypeMethodDescriptionbooleanisEquivalentTo(ReactionGraphExtended<B> transitionSystem) Methods inherited from class org.bigraphs.framework.core.reactivesystem.ReactionGraph
addEdge, addPredicateMatchToNode, collapseNodes, createNode, getGraph, getGraphStats, getLabeledNodeByCanonicalForm, getPredicateMatches, isEmpty, reset, setCanonicalNodeLabelMethods inherited from class org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem
addInitialStateLabels, addState, addTransition, containsBigraph, createSupplier, getInitialStateLabels, getLabelByState, getStateByLabel, getStateMap, getStates, getStatesWithoutFinalStates, getTransitionMap, getTransitionRelations, getTransitions, removeState
-
Constructor Details
-
ReactionGraphExtended
-
-
Method Details
-
isEquivalentTo
-