org.processmining.plugins.tsml.exporting

Class TsmlExportTS

java.lang.Object

org.processmining.plugins.tsml.exporting.TsmlExportTS

public class TsmlExportTS
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TsmlExportTS()

Method Summary

Methods

Modifier and Type	Method and Description
void	export(org.processmining.contexts.uitopia.UIPluginContext context, 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.contexts.uitopia.UIPluginContext context,
          TransitionSystem ts,
          java.io.File file)
            throws java.io.IOException

Throws:

java.io.IOException