org.processmining.hybrid.algorithms.transformations

Class Automaton2TransitionSystem

java.lang.Object

org.processmining.hybrid.algorithms.transformations.Automaton2TransitionSystem

public class Automaton2TransitionSystem
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Automaton2TransitionSystem()

Method Summary

Modifier and Type	Method and Description
static java.lang.Object[]	automaton2TransitionSystem(org.processmining.framework.plugin.PluginContext c, org.processmining.ltl2automaton.plugins.automaton.Automaton auto, HybridContext context)

Methods inherited from class java.lang.Object

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

Constructor Detail

Automaton2TransitionSystem

public Automaton2TransitionSystem()

Method Detail

automaton2TransitionSystem

public static java.lang.Object[] automaton2TransitionSystem(org.processmining.framework.plugin.PluginContext c,
                                                            org.processmining.ltl2automaton.plugins.automaton.Automaton auto,
                                                            HybridContext context)