Package org.processmining.OCLPMDiscovery.plugins.exports

Class TaggedPlaceSetJsonExportPlugin

  • public class TaggedPlaceSetJsonExportPlugin
extends java.lang.Object

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void export​(org.processmining.framework.plugin.PluginContext context, TaggedPlaceSet placeSet, java.io.File file)  
      static void export​(org.processmining.framework.plugin.PluginContext context, org.processmining.placebasedlpmdiscovery.model.serializable.PlaceSet placeSet, java.io.File file)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • TaggedPlaceSetJsonExportPlugin

        public TaggedPlaceSetJsonExportPlugin()

    • Method Detail

      • export

        public static void export​(org.processmining.framework.plugin.PluginContext context,
                          org.processmining.placebasedlpmdiscovery.model.serializable.PlaceSet placeSet,
                          java.io.File file)
                   throws java.io.IOException
        Throws:
        java.io.IOException

      • export

        public static void export​(org.processmining.framework.plugin.PluginContext context,
                          TaggedPlaceSet placeSet,
                          java.io.File file)
                   throws java.io.IOException
        Throws:
        java.io.IOException