org.processmining.plugins.transitionsystem.regions

Class RegionConstructor

java.lang.Object

org.processmining.plugins.transitionsystem.regions.RegionConstructor

public class RegionConstructor
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
RegionConstructor()

Method Summary

Modifier and Type	Method and Description
static org.processmining.models.graphbased.directed.transitionsystem.regions.RegionSet	constructMinimalRegions(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts)
static org.processmining.models.graphbased.directed.transitionsystem.regions.GeneralizedExitationRegions	getGeneralizedExcitationRegions(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts)

Methods inherited from class java.lang.Object

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

Constructor Detail

RegionConstructor

public RegionConstructor()

Method Detail

getGeneralizedExcitationRegions

public static org.processmining.models.graphbased.directed.transitionsystem.regions.GeneralizedExitationRegions getGeneralizedExcitationRegions(org.processmining.framework.plugin.PluginContext context,
                                                                                                                                                org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts)

constructMinimalRegions

public static org.processmining.models.graphbased.directed.transitionsystem.regions.RegionSet constructMinimalRegions(org.processmining.framework.plugin.PluginContext context,
                                                                                                                      org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts)
                                                                                                               throws java.lang.Exception

Throws:

java.lang.Exception