Uses of Interface
org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin

Packages that use BehavioralEquivalenceMixin

Package	Description
org.bigraphs.framework.simulation.equivalence

Uses of BehavioralEquivalenceMixin in org.bigraphs.framework.simulation.equivalence

Classes in org.bigraphs.framework.simulation.equivalence that implement BehavioralEquivalenceMixin

Modifier and Type	Class	Description
class	ReactionGraphExtended<B extends Bigraph<? extends Signature<?>>>	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.
class	StrongBisimulationMixinImpl<R extends AbstractTransitionSystem<Bigraph<? extends Signature<?>>>>	This class provides the implementation of the interface BehavioralEquivalenceMixin for the bisimulation equivalence relation.
class	WeakBisimulationMixinImpl<R extends AbstractTransitionSystem<Bigraph<? extends Signature<?>>>>	This class provides the implementation of the interface BehavioralEquivalenceMixin for the bisimulation equivalence relation.

Constructors in org.bigraphs.framework.simulation.equivalence with parameters of type BehavioralEquivalenceMixin

Modifier	Constructor	Description
	ReactionGraphExtended(BehavioralEquivalenceMixin<ReactionGraphExtended<B>> mixin)