org.processmining.hybrid.otherpackages.tsml.exporting

Class TsmlExportTS

java.lang.Object

org.processmining.hybrid.otherpackages.tsml.exporting.TsmlExportTS

public class TsmlExportTS
extends java.lang.Object

Copied from TsmlExportTS in the TransitionSystem package (org.processmining.plugins.tsml.exporting) but changed the UIPlugingContext to a PluginContext

Constructor Summary

Constructors

Constructor and Description
TsmlExportTS()

Method Summary

Modifier and Type	Method and Description
void	export(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

TsmlExportTS

public TsmlExportTS()

Method Detail

export

public void export(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