Package org.bigraphs.framework.simulation.equivalence.adapter

Class BighuggiesBisimulationProcessAdapter<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>

java.lang.Object
bighuggies.bisimulation.se705.bisimulation.lts.Process
org.bigraphs.framework.simulation.equivalence.adapter.BighuggiesBisimulationProcessAdapter<B,AST>
Type Parameters:
B - bigraph type of the transition system states
AST - transition system type in Bigraph Framework (type of ReactionGraph)
public class BighuggiesBisimulationProcessAdapter<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>> extends bighuggies.bisimulation.se705.bisimulation.lts.Process
The "bighuggies:bisimulation" library computes bisimilarity for two LTSs.

This class presents an adapter for AbstractTransitionSystem objects in Bigraph Framework that integrates the external Java library "bighuggies:bisimulation" (shaded in the Simulation Module dependency).

A transition system is converted into a Process object of the "bighuggies" library.

Author:
Dominik Grzelak
See Also:

  • Constructor Summary

    Constructors
    Constructor
    Description
    BighuggiesBisimulationProcessAdapter(String processName, String prefix, AST transitionSystem)
    This adapter takes three arguments: the AST to be adapted, and additionally a process name and prefix that the bighuggies Process class requires.

  • Method Summary

    Modifier and Type
    Method
    Description
    protected void
    initProcessFromAST()
    Creates the structure of the Process (transition system) from the given AST.

    Methods inherited from class bighuggies.bisimulation.se705.bisimulation.lts.Process

    addAction, addState, addTransition, getActions, getStates, getTransitions, parse, parse, toString

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • BighuggiesBisimulationProcessAdapter

      public BighuggiesBisimulationProcessAdapter(String processName, String prefix, AST transitionSystem)
      This adapter takes three arguments: the AST to be adapted, and additionally a process name and prefix that the bighuggies Process class requires.
      Parameters:
      processName -
      prefix -
      transitionSystem -

  • Method Details

    • initProcessFromAST

      protected void initProcessFromAST()
      Creates the structure of the Process (transition system) from the given AST. Uses the setter-methods from the parent mostly.