public class CorrelationTest
extends java.lang.Object
Constructor and Description |
---|
CorrelationTest() |
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 LocalConformanceTracker |
getLCT(org.processmining.contexts.cli.CLIPluginContext context,
java.io.File modelFilename) |
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 |
processLog(LocalConformanceTracker lct,
java.lang.String logFile,
java.lang.String targetFile) |
static void |
saveTSML(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts,
java.io.File file) |
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
java.io.IOException
public static org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph loadTSML(org.processmining.framework.plugin.PluginContext context, java.io.File file) throws java.lang.Exception
java.lang.Exception
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
java.lang.Exception
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
java.lang.Exception
public static LocalConformanceTracker getLCT(org.processmining.contexts.cli.CLIPluginContext context, java.io.File modelFilename) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public static void processLog(LocalConformanceTracker lct, java.lang.String logFile, java.lang.String targetFile) throws java.io.IOException
java.io.IOException
public java.lang.Object main(org.processmining.framework.util.CommandLineArgumentList commandlineArguments) throws org.processmining.framework.connections.ConnectionCannotBeObtained, java.io.IOException
org.processmining.framework.connections.ConnectionCannotBeObtained
java.io.IOException
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception