Package org.bigraphs.framework.simulation.equivalence

Interface BehavioralEquivalenceMixin<R extends AbstractTransitionSystem<?,?>>

Type Parameters:
R - transition system type
All Known Implementing Classes:
BisimulationMixinImpl
public interface BehavioralEquivalenceMixin<R extends AbstractTransitionSystem<?,?>>
Mixin for behavioral equivalence on AbstractTransitionSystem instances.

Compares two transition systems to decide if their observable behavior matches. Implementations provide isEquivalentTo(AbstractTransitionSystem) and are typically implemented via subclassing plus delegation (e.g., with a strategy).

Author:
Dominik Grzelak

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static enum 
    BehavioralEquivalenceMixin.EquivalenceAlgorithm
     

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    attachToTransitionSystem(R system)
    Attaches this object to the given transition system.
    boolean
    isEquivalentTo(R system)
    Returns whether this object is equivalent to the given transition system.

  • Method Details

    • isEquivalentTo

      boolean isEquivalentTo(R system)
      Returns whether this object is equivalent to the given transition system.

      Equivalence check depends on the BehavioralEquivalenceMixin.EquivalenceAlgorithm.

      Parameters:
      system - the transition system to compare against
      Returns:
      true if equivalent; false otherwise

    • attachToTransitionSystem

      void attachToTransitionSystem(R system)
      Attaches this object to the given transition system.
      Parameters:
      system - the transition system to attach to