org.processmining.hybrid.plugins.debug

Class Declare2TransitionSystem

java.lang.Object

org.processmining.hybrid.plugins.debug.Declare2TransitionSystem

public class Declare2TransitionSystem
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Declare2TransitionSystem()

Method Summary

Modifier and Type	Method and Description
java.lang.Object[]	decl2TS(org.processmining.framework.plugin.PluginContext context, org.processmining.plugins.declareminer.visualizing.DeclareMap decl, int approach)
java.lang.Object[]	decl2TSJohannes(org.processmining.framework.plugin.PluginContext context, org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
java.lang.Object[]	decl2TSLTL2AutDennis(org.processmining.framework.plugin.PluginContext context, org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
java.lang.Object[]	decl2TSLTL2Buchi(org.processmining.framework.plugin.PluginContext context, org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
java.lang.Object[]	decl2TSMichael(org.processmining.framework.plugin.PluginContext context, org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
java.lang.Object[]	decl2TSMichaelFabrizio(org.processmining.framework.plugin.PluginContext context, org.processmining.plugins.declareminer.visualizing.DeclareMap decl)

Methods inherited from class java.lang.Object

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

Constructor Detail

Declare2TransitionSystem

public Declare2TransitionSystem()

Method Detail

decl2TSJohannes

public java.lang.Object[] decl2TSJohannes(org.processmining.framework.plugin.PluginContext context,
                                          org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
                                   throws java.lang.Exception

Throws:

java.lang.Exception

decl2TSLTL2Buchi

public java.lang.Object[] decl2TSLTL2Buchi(org.processmining.framework.plugin.PluginContext context,
                                           org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
                                    throws java.lang.Exception

Throws:

java.lang.Exception

decl2TSMichael

public java.lang.Object[] decl2TSMichael(org.processmining.framework.plugin.PluginContext context,
                                         org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
                                  throws java.lang.Exception

Throws:

java.lang.Exception

decl2TSMichaelFabrizio

public java.lang.Object[] decl2TSMichaelFabrizio(org.processmining.framework.plugin.PluginContext context,
                                                 org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
                                          throws java.lang.Exception

Throws:

java.lang.Exception

decl2TSLTL2AutDennis

public java.lang.Object[] decl2TSLTL2AutDennis(org.processmining.framework.plugin.PluginContext context,
                                               org.processmining.plugins.declareminer.visualizing.DeclareMap decl)
                                        throws java.lang.Exception

Throws:

java.lang.Exception

decl2TS

public java.lang.Object[] decl2TS(org.processmining.framework.plugin.PluginContext context,
                                  org.processmining.plugins.declareminer.visualizing.DeclareMap decl,
                                  int approach)
                           throws java.lang.Exception

Throws:

java.lang.Exception