Hierarchy For Package org.bigraphs.framework.simulation.equivalence

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem<B>
    • org.bigraphs.framework.core.reactivesystem.ReactionGraph<B>
      • org.bigraphs.framework.simulation.equivalence.ReactionGraphExtended<B> (implements org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin<R>)
  • org.bigraphs.framework.simulation.equivalence.StrongBisimulationMixinImpl<R> (implements org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin<R>)
  • org.bigraphs.framework.simulation.equivalence.WeakBisimulationMixinImpl<R> (implements org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin<R>)

Interface Hierarchy

• org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin<R>