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 AST states
AST - type of the transition system 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
An adapter for AbstractTransitionSystem objects in Bigraph Framework for the external Java library "bighuggies:bisimulation" (shaded in the Simulation Module dependency).

"bighuggies:bisimulation" computes bisimilarity for two LTSs. This functionality is made available to objects of type AbstractTransitionSystem in Bigraph Framework via this adapter class.

An AST is converted to a Process object of the external Java library "bighuggies".

Author:
Dominik Grzelak
See Also:
  • "for https://github.com/bighuggies/bisimulation"

  • 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.