org.processmining.plugins.petrify

Class PetrifyExportDotSG

java.lang.Object

org.processmining.plugins.petrify.PetrifyExportDotSG

public class PetrifyExportDotSG
extends java.lang.Object

Supports the export of a transition system to a Petrify/Genet state graph file.

Author:

HVERBEEK

Constructor Summary

Constructors

Constructor and Description
PetrifyExportDotSG()

Method Summary

Modifier and Type	Method and Description
PetrifyDotSG	write(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts) Write the given transition to a temp file and returns a handle to this file.
void	write(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts, java.io.File file) Writes the given transition system to the given file.

Methods inherited from class java.lang.Object

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

Constructor Detail

PetrifyExportDotSG

public PetrifyExportDotSG()

Method Detail

write

public PetrifyDotSG write(org.processmining.framework.plugin.PluginContext context,
                          org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts)

Write the given transition to a temp file and returns a handle to this file.

Parameters:

context - The current plug-in context.

ts - The transition system to export.

Returns:

A handle to the written file.

write

public void write(org.processmining.framework.plugin.PluginContext context,
                  org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts,
                  java.io.File file)
           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Writes the given transition system to the given file.

Parameters:

context - The current plug-in context.

ts - The given transition system.

file - The given file.

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained