Package org.processmining.plugins.InductiveMiner.plugins

Class EfficientTreeExportPlugin

java.lang.Object

org.processmining.plugins.InductiveMiner.plugins.EfficientTreeExportPlugin

public class EfficientTreeExportPlugin
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
EfficientTreeExportPlugin()

Method Summary

Modifier and Type	Method	Description
static void	export(EfficientTree tree, java.io.File file)
void	exportDefault(org.processmining.contexts.uitopia.UIPluginContext context, EfficientTree tree, java.io.File file)

Methods inherited from class java.lang.Object

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

Constructor Detail

EfficientTreeExportPlugin

public EfficientTreeExportPlugin()

Method Detail

exportDefault

public void exportDefault(org.processmining.contexts.uitopia.UIPluginContext context,
                          EfficientTree tree,
                          java.io.File file)
                   throws java.io.IOException

Throws:

java.io.IOException

export

public static void export(EfficientTree tree,
                          java.io.File file)
                   throws java.io.IOException

Throws:

java.io.IOException