org.processmining.streamconformance.local.tests

Class RealWorldTest

java.lang.Object

org.processmining.streamconformance.local.tests.RealWorldTest

public class RealWorldTest
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
RealWorldTest()

Method Summary

Modifier and Type	Method and Description
static java.lang.Object[]	getCachedStructures(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking, java.lang.String filename)
static org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph	loadTSML(org.processmining.framework.plugin.PluginContext context, java.io.File file)
java.lang.Object	main(org.processmining.framework.util.CommandLineArgumentList commandlineArguments)
static void	main(java.lang.String[] args)
static LocalOnlineConformanceConfiguration	plugin(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking, java.lang.String filename)
static void	saveTSML(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts, java.io.File file)

Methods inherited from class java.lang.Object

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

Constructor Detail

RealWorldTest

public RealWorldTest()

Method Detail

saveTSML

public static void saveTSML(org.processmining.framework.plugin.PluginContext context,
                            org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts,
                            java.io.File file)
                     throws java.io.IOException

Throws:

java.io.IOException

loadTSML

public static org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph loadTSML(org.processmining.framework.plugin.PluginContext context,
                                                                                                       java.io.File file)
                                                                                                throws java.lang.Exception

Throws:

java.lang.Exception

getCachedStructures

public static java.lang.Object[] getCachedStructures(org.processmining.framework.plugin.PluginContext context,
                                                     org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                     org.processmining.models.semantics.petrinet.Marking initMarking,
                                                     java.lang.String filename)
                                              throws java.lang.Exception

Throws:

java.lang.Exception

plugin

public static LocalOnlineConformanceConfiguration plugin(org.processmining.framework.plugin.PluginContext context,
                                                         org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                         org.processmining.models.semantics.petrinet.Marking initMarking,
                                                         java.lang.String filename)
                                                  throws java.lang.Exception

Throws:

java.lang.Exception

main

public java.lang.Object main(org.processmining.framework.util.CommandLineArgumentList commandlineArguments)
                      throws java.lang.Exception

Throws:

java.lang.Exception

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

Throws:

java.lang.Exception