public class RegionConnection
extends org.processmining.framework.connections.impl.AbstractConnection
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
REGIONS |
static java.lang.String |
TS |
| Constructor and Description |
|---|
RegionConnection(TransitionSystem ts,
RegionSet rs) |
public static final java.lang.String TS
public static final java.lang.String REGIONS
public RegionConnection(TransitionSystem ts, RegionSet rs)