Package org.bigraphs.framework.simulation.equivalence

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

java.lang.Object
org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem<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:
BehavioralEquivalenceMixin<ReactionGraphExtended<B>>
public class ReactionGraphExtended<B extends Bigraph<? extends Signature<?>>> extends ReactionGraph<B> implements BehavioralEquivalenceMixin<ReactionGraphExtended<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.

The mixin interface is additionally implemented to enforce same method names and completeness of all the available additional extension-methods.

Author:
Dominik Grzelak