org.processmining.loclog.confs

Class MinePetriNetUsingRegionsConfiguration

java.lang.Object

org.processmining.loclog.confs.MinePetriNetUsingRegionsConfiguration

public class MinePetriNetUsingRegionsConfiguration
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MinePetriNetUsingRegionsConfiguration(java.lang.String regionName)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getRegionName()
void	setRegionName(java.lang.String regionName)

Methods inherited from class java.lang.Object

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

Constructor Detail

MinePetriNetUsingRegionsConfiguration

public MinePetriNetUsingRegionsConfiguration(java.lang.String regionName)

Method Detail

setRegionName

public void setRegionName(java.lang.String regionName)

getRegionName

public java.lang.String getRegionName()