public class MinePetriNetUsingRegionsConfiguration
extends java.lang.Object
| Constructor and Description |
|---|
MinePetriNetUsingRegionsConfiguration(java.lang.String regionName) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getRegionName() |
void |
setRegionName(java.lang.String regionName) |