Class ExportEventLogArrayAsCompressedMXMLPlugin


  • public class ExportEventLogArrayAsCompressedMXMLPlugin
    extends java.lang.Object
    • Constructor Detail

      • ExportEventLogArrayAsCompressedMXMLPlugin

        public ExportEventLogArrayAsCompressedMXMLPlugin()
    • Method Detail

      • exportMxmlGz

        public void exportMxmlGz​(org.processmining.framework.plugin.PluginContext context,
                                 EventLogArray eventLogs,
                                 java.io.File file)
                          throws java.io.IOException
        Throws:
        java.io.IOException